{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:36:55Z","timestamp":1761676615951,"version":"build-2065373602"},"reference-count":71,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2018,3,4]],"date-time":"2018-03-04T00:00:00Z","timestamp":1520121600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>In this article, we study computational uncertainties in probabilistic risk\/safety assessment resulting from the computational complexity of calculations of risk indicators. We argue that the risk analyst faces the fundamental epistemic and aleatory uncertainties of risk assessment with a bounded calculation capacity, and that this bounded capacity over-determines both the design of models and the decisions that can be made from models. We sketch a taxonomy of modelling technologies and recall the main computational complexity results. Then, based on a review of state of the art assessment algorithms for fault trees and event trees, we make some methodological proposals aiming at drawing conceptual and practical consequences of bounded calculability.<\/jats:p>","DOI":"10.3390\/e20030162","type":"journal-article","created":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T07:37:25Z","timestamp":1520321845000},"page":"162","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Notes on Computational Uncertainties in Probabilistic Risk\/Safety Assessment"],"prefix":"10.3390","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0926-5286","authenticated-orcid":false,"given":"Antoine","family":"Rauzy","sequence":"first","affiliation":[{"name":"Department of Mechanical and Production Engineering, Norwegian University of Science and Technology, 7491 Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2018,3,4]]},"reference":[{"key":"ref_1","unstructured":"Rasmussen, N.C. (1975). Reactor Safety Study. An Assessment of Accident Risks in U.S. Commercial Nuclear Power Plants, Technical Report WASH 1400, NUREG-75\/014."},{"key":"ref_2","unstructured":"Launer, R.L., and Wilkinson, G.N. (1979). Robustness in the strategy of scientific model building. Robustness in Statistics, Academic Press."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1137\/0208032","article-title":"The Complexity of Enumeration and Reliability Problems","volume":"8","author":"Valiant","year":"1979","journal-title":"SIAM J. Comput."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0220053","article-title":"PP is as Hard as the Polynomial-Time Hierarchy","volume":"20","author":"Toda","year":"1991","journal-title":"SIAM J. Comput."},{"key":"ref_5","unstructured":"Simon, H. (1957). Models of Man: Social and Rational. Mathematical Essays on Rational Behavior in a Social Setting, Wiley."},{"key":"ref_6","unstructured":"Kumamoto, H., and Henley, E.J. (1996). Probabilistic Risk Assessment and Management for Engineers and Scientists, IEEE Press."},{"key":"ref_7","unstructured":"Rausand, M., and H\u00f8yland, A. (2004). System Reliability Theory: Models, Statistical Methods, and Applications, Wiley-Blackwell. [2nd ed.]."},{"key":"ref_8","unstructured":"(2015). OREDA Handbook\u2013Offshore Reliability Data, SINTEF. [6th ed.]."},{"key":"ref_9","unstructured":"Berg, U., and Sardh, H. (1994). Risk Spectrum, Theory Manual, RELCON Teknik AB."},{"key":"ref_10","unstructured":"Rauzy, A. (2014). XFTA: An Open-PSA Fault-Tree Engine, AltaRica Association."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"64","DOI":"10.13182\/NSE88-A23526","article-title":"GO-FLOW: A new reliability analysis method","volume":"98","author":"Matsuoka","year":"1988","journal-title":"Nucl. Sci. Eng."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S0951-8320(98)00002-7","article-title":"The use of prime implicants in dependability analysis of software controlled systems","volume":"62","author":"Yau","year":"1998","journal-title":"Reliab. Eng. Sys. Saf."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Lisnianski, A., and Levitin, G. (2003). Multi-State System Reliability, World Scientific. Quality, Reliability and Engineering Statistics.","DOI":"10.1142\/5221"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Natvig, B. (2010). Multistate Systems Reliability Theory with Applications, Wiley.","DOI":"10.1002\/9780470977088"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"1303","DOI":"10.1002\/spe.1044","article-title":"An approach to optimization of fault tolerant architectures using HiP-HOPS","volume":"41","author":"Adachi","year":"2011","journal-title":"Softw. Pract. Exp."},{"key":"ref_16","unstructured":"Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. (1994). Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, Inc."},{"key":"ref_17","first-page":"495","article-title":"Guarded Transition Systems: A new States\/Events Formalism for Reliability Studies","volume":"222","author":"Rauzy","year":"2008","journal-title":"J. Risk Reliab."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/24.159800","article-title":"Dynamic fault-tree models for fault-tolerant computer systems","volume":"41","author":"Dugan","year":"1992","journal-title":"IEEE Trans. Reliab."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","article-title":"A new formalism that combines advantages of Fault-Trees and Markov models: Boolean logic-Driven Markov Processes","volume":"82","author":"Bouissou","year":"2003","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_20","unstructured":"Plateau, B., and Stewart, W.J. (1997). Stochastic Automata Networks. Computational Probability, Kluwer Academic Press."},{"key":"ref_21","unstructured":"Jansen, D.N. (2003). Extensions of Statecharts: With Probability, Time, and Stochastic Timing. [Ph.D. Thesis, University of Twente]."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., and Ortmeier, F. (2010, January 1\u20134). A Framework for Qualitative and Quantitative Model-Based Safety Analysis. Proceedings of the IEEE 12th High Assurance System Engineering Symposium (HASE 2010), San Jose, CA, USA.","DOI":"10.1109\/HASE.2010.24"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Hillston, J. (1996). A Compositional Approach to Performance Modelling, Cambridge University Press.","DOI":"10.1017\/CBO9780511569951"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","article-title":"PEPA nets: A structured performance modelling formalism","volume":"54","author":"Gilmore","year":"2003","journal-title":"Perform. Eval."},{"key":"ref_25","unstructured":"Bouissou, M., Bouhadana, H., Bannelier, M., and Villatte, N. (November, January 30). Knowledge modelling and reliability processing: Presentation of the FIGARO language and of associated tools. Proceedings of SAFECOMP\u201991\u2014 IFAC International Conference on Safety of Computer Control Systems, Trondheim, Norway."},{"key":"ref_26","first-page":"1033","article-title":"AltaRica: Constraint automata as a description language","volume":"33","author":"Point","year":"1999","journal-title":"J. Eur. Sys. Autom."},{"key":"ref_27","first-page":"109","article-title":"The AltaRica Formalism for Describing Concurrent Systems","volume":"34","author":"Arnold","year":"2000","journal-title":"Fundam. Inf."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","article-title":"Modes Automata and their Compilation into Fault Trees","volume":"78","author":"Rauzy","year":"2002","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1016\/j.ress.2004.12.004","article-title":"The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System","volume":"91","author":"Boiteau","year":"2006","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3182\/20130904-3-UK-4041.00028","article-title":"The AltaRica 3.0 project for Model-Based Safety Assessment","volume":"46","author":"Prosvirnova","year":"2013","journal-title":"IFAC Proc. Vol."},{"key":"ref_31","unstructured":"Prosvirnova, T. (2014). AltaRica 3.0: A Model-Based Approach for Safety Analyses. [Ph.D. Thesis, Ecole Polytechnique]."},{"key":"ref_32","unstructured":"Jensen, K. (2014). Coloured Petri Nets, Springer."},{"key":"ref_33","unstructured":"Milner, R. (1999). Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press."},{"key":"ref_34","unstructured":"Railsback, S., and Grimm, V. (2011). Agent-Based and Individual-Based Modeling\u2013A Practical Introduction, Princeton University Press."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","article-title":"Architecting principles for systems-of-systems","volume":"1","author":"Maier","year":"1998","journal-title":"Syst. Eng."},{"key":"ref_36","unstructured":"Kirkerud, B. (1989). Object-Oriented Programming With Simula, Addison Wesley."},{"key":"ref_37","unstructured":"Garey, M.R., and Johnson, D.S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman."},{"key":"ref_38","unstructured":"Papadimitriou, C.H. (1994). Computational Complexity, Addison Wesley."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Cook, S. (1971, January 3\u20135). The complexity of theorem proving procedures. Proceedings of the Third Annual ACM Symposium on Theory of Computing, Shaker Heights, OH, USA.","DOI":"10.1145\/800157.805047"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Stewart, W.J. (1994). Introduction to the Numerical Solution of Markov Chains, Princeton University Press.","DOI":"10.1515\/9780691223384"},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.ress.2004.01.007","article-title":"An Experimental Study on Six Algorithms to Compute Transient Solutions of Large Markov Systems","volume":"86","author":"Rauzy","year":"2004","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.ress.2015.02.009","article-title":"Automated generation of partial Markov chain from high level descriptions","volume":"139","author":"Brameret","year":"2015","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Zio, E. (2013). The Monte Carlo Simulation Method for System Reliability and Risk Analysis, Springer.","DOI":"10.1007\/978-1-4471-4588-2"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Reisig, W., and Rozenberg, G. (1998). Decidability and Complexity of Petri Nets Problems\u2013An introduction. Lectures on Petri Nets I: Basic Models, Springer.","DOI":"10.1007\/3-540-65306-6"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/24.983400","article-title":"Mathematical Foundation of Minimal Cutsets","volume":"50","author":"Rauzy","year":"2001","journal-title":"IEEE Trans. Reliab."},{"key":"ref_46","first-page":"315","article-title":"Fault Tree Linking versus Event Tree Linking Approaches: A Reasoned Comparison","volume":"227","author":"Nusbaumer","year":"2013","journal-title":"J. Risk Reliab."},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1137\/0113027","article-title":"Modules of coherent binary systems","volume":"13","author":"Birnbaum","year":"1965","journal-title":"SIAM J. Appl. Math."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1109\/24.537011","article-title":"A Linear Time Algorithm to Find Modules of Fault Trees","volume":"45","author":"Dutuit","year":"1996","journal-title":"IEEE Trans. Reliab."},{"key":"ref_49","first-page":"313","article-title":"Importance Factors of Coherent Systems: A Review","volume":"228","author":"Dutuit","year":"2013","journal-title":"J. Risk Reliab."},{"key":"ref_50","first-page":"75","article-title":"New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems","volume":"224","author":"Innal","year":"2010","journal-title":"Jo. Risk Reliab."},{"key":"ref_51","first-page":"262","article-title":"A New Methodology for Obtaining Cut Sets for Fault Trees","volume":"15","author":"Fussel","year":"1972","journal-title":"Trans. Am. Nucl. Soc."},{"key":"ref_52","unstructured":"Rauzy, A. (2012, January 25\u201329). Anatomy of an Efficient Fault Tree Assessment Engine. Proceedings of International Joint Conference PSAM\u201911\/ESREL\u201912, Helsinki, Finland."},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Minato, S.I. (1993, January 14\u201318). Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. Proceedings of the 30th ACM\/IEEE Design Automation Conference, DAC\u201993, Dallas, TX, USA.","DOI":"10.1145\/157485.164890"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/j.ress.2003.10.009","article-title":"A fast BDD algorithm for large coherent fault trees analysis","volume":"83","author":"Jung","year":"2004","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph Based Algorithms for Boolean Fonction Manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"IEEE Trans. Comput."},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Brace, K.S., Rudell, R.L., and Bryant, R.S. (1990, January 24\u201328). Efficient Implementation of a BDD Package. Proceedings of the 27th ACM\/IEEE Design Automation Conference, Orlando, FL, USA.","DOI":"10.1145\/123186.123222"},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","article-title":"New Algorithms for Fault Trees Analysis","volume":"05","author":"Rauzy","year":"1993","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1109\/TR.1986.4335422","article-title":"Computational complexity of network reliability analysis: An overview","volume":"35","author":"Ball","year":"1986","journal-title":"IEEE Trans. Reliab."},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TR.1986.4335429","article-title":"Bounds on the reliability of networks","volume":"35","author":"Provan","year":"1986","journal-title":"IEEE Trans. Reliab."},{"key":"ref_60","unstructured":"Aiello, L.C. (, January August). The computational complexity of multiple-context truth maintenance system. Proceedings of the 9th European Conference on Artificial Intelligence, ECAI\u201990, Stockholm, Sweden."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Shafer, G. (1976). A Mathematical Theory of Evidence, Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"ref_62","unstructured":"Epstein, S., Nusbaumer, O., Rauzy, A., and Wakefield, D. (2007, January 10\u201313). A Modest Proposal: A Standard PSA Model Representation Format. Proceedings of the International Conference Nuclear Energy for New Europe 2007, Portoroz, Slovenia."},{"key":"ref_63","unstructured":"Epstein, S., Reinhart, M., and Rauzy, A. (2008, January 18\u201323). The open PSA initiative for next generation probabilistic safety assessment. Proceeding of the 9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008, Hong Kong, China."},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0951-8320(97)00144-0","article-title":"Use of importance measures in risk informed regulatory applications","volume":"60","author":"Cheok","year":"1998","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.ress.2004.07.013","article-title":"Can We Trust PRA?","volume":"88","author":"Epstein","year":"2005","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_66","unstructured":"Duflot, N., B\u00e9renguer, C., Dieulle, L., and Vasseur, D. (2006, January 14\u201318). How to build an adequate set of minimal cutsets for PSA importance measure calculation (PSAM-0071). Proceedings of the Eighth International Conference on Probabilistic Safety Assessment & Management (PSAM), New Orleans, Louisiana."},{"key":"ref_67","unstructured":"Soares, C.G., and Zio, E. (2006). Calculating importance measures in PSA at different levels. Safety and Reliability for Managing Risk, Proceedings of the 15th European Safety and Reliability Conference (ESREL 2006), Estoril, Portugal, 18\u201322 September 2006, CRC Press."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","article-title":"A Mathematical Theory of Communication","volume":"27","author":"Shannon","year":"1948","journal-title":"Bell Syst. Tech. J."},{"key":"ref_69","unstructured":"Li, M., and Vitanyi, P. (2014). An Introduction to Kolmogorov Complexity and Its Applications, Springer. [3rd ed.]."},{"key":"ref_70","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","article-title":"A theory of the learnable","volume":"27","author":"Valiant","year":"1984","journal-title":"Commun. ACM"},{"key":"ref_71","unstructured":"Valiant, L.G. (2013). Probably Approximately Correct: Nature\u2019s Algorithms for Learning and Prospering in a Complex World, Basic Books."}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/20\/3\/162\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T14:57:29Z","timestamp":1760194649000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/20\/3\/162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,4]]},"references-count":71,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2018,3]]}},"alternative-id":["e20030162"],"URL":"https:\/\/doi.org\/10.3390\/e20030162","relation":{},"ISSN":["1099-4300"],"issn-type":[{"type":"electronic","value":"1099-4300"}],"subject":[],"published":{"date-parts":[[2018,3,4]]}}}