A framework to integrate software behavior into dynamic probabilistic risk assessment

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.

[1]  Carol-Sophie Smidts,et al.  Probabilistic dynamics as a tool for dynamic PSA , 1996 .

[2]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[3]  Aarnout Brombacher,et al.  The dynamic flowgraph methodology as a safety analysis tool : programmable electronic system design and verification , 2002 .

[4]  S. Swaminathan,et al.  The mathematical formulation for the event sequence diagram framework , 1999 .

[5]  C. Julius Wang,et al.  What Every Engineer Should Know about Reliability and Risk Analysis , 1993 .

[6]  Carol Smidts,et al.  The Event Sequence Diagram framework for dynamic Probabilistic Risk Assessment , 1999 .

[7]  N. Siu,et al.  Risk assessment for dynamic systems: An overview , 1994 .

[8]  Ali Mosleh,et al.  Automated Risk Scenario Generation Using System Functional and Structural Knowledge , 2005 .

[9]  Norman F. Schneidewind,et al.  Applying reliability models to the space shuttle , 1992, IEEE Software.

[10]  F. K. Frantz,et al.  A taxonomy of model abstraction techniques , 1995, Winter Simulation Conference Proceedings, 1995..

[11]  Frank J. Groen,et al.  An Entropy-Based Exploration Strategy in Dynamic PRA , 2004 .

[12]  A. Amendola,et al.  Event Sequences and Consequence Spectrum: A Methodology for Probabilistic Transient Analysis , 1981 .

[13]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[14]  Alice T. Lee,et al.  A quantitative risk assessment method for space flight software systems , 1993, Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering.

[15]  Carol Smidts,et al.  Identification of missing scenarios in ESDs using probabilistic dynamics , 1999 .

[16]  Borut Mavko,et al.  A dynamic fault tree , 2002, Reliab. Eng. Syst. Saf..

[17]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[18]  Kishor S. Trivedi,et al.  A methodology for detection and estimation of software aging , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[19]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[20]  D. Lindley.  On a Measure of the Information Provided by an Experiment , 1956 .

[21]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[22]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[23]  Dongfeng Zhu.  Integrating Software Behavior into Dynamic Probabilistic Risk Assessment , 2005 .

[24]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[25]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[26]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[27]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[28]  Michiyuki Kobayashi,et al.  GO-FLOW: A New Reliability Analysis Methodology , 1988 .

[29]  Bin Li,et al.  Integrating Software into PRA (PROBABILISTIC RISK ANALYSIS) , 2004 .

[30]  Carol Smidts,et al.  Integrating Software into PRA: A Test‐Based Approach , 2005, Risk analysis : an official publication of the Society for Risk Analysis.

[31]  Hany H. Ammar,et al.  Risk assessment of software-system specifications , 2001, IEEE Trans. Reliab..

[32]  Hany H. Ammar,et al.  A Methodology for Architecture-Level Reliability Risk Analysis , 2002, IEEE Trans. Software Eng..

[33]  Pierre-Etienne Labeau,et al.  Dynamic reliability: towards an integrated platform for probabilistic risk assessment , 2000, Reliab. Eng. Syst. Saf..

[34]  C. Petri.  Kommunikation mit Automaten , 1962 .

[35]  Alex F. Sisti,et al.  Summary of model abstraction techniques , 1997, Defense, Security, and Sensing.

[36]  Qing Li,et al.  Unified Modeling Language , 2009 .

[37]  Charles Fishman,et al.  They write the right stuff , 1996 .

[38]  Pierre-Etienne Labeau,et al.  The Stimulus-Driven Theory of Probabilistic Dynamics as a Framework for Probabilistic Safety Assessment , 2004 .

[39]  Bin Li,et al.  Integrating software into PRA , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..