A Method for Software-Related Safety-Critical Scenarios Identification

Abstract:

Softwares is becoming increasingly important causes for failures of safety programmable electronic (PE) systems,PRA and CSRM both take it as an important risk contributor and respectively access risk of systems and software in system level.However they partly identify software-related risk scenarios ,and can’t tell what a software must do about all safety-critical conditions,i.e.,safety functions,especially warning functions for conditions software can’t control but must alarm operators to action immediately.Here we give a method to find all software-related safety-critical scenarios,through it all safety-critical conditions and the corresponding functions can be identified.

• Periodical: Applied Mechanics and Materials (Volumes 599-601)
• Pages: 1328-1332
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.599-601.1328
• Online since: August 2014
• Authors: Meng Xia Jiang*, Guo Hua Jiang
• Keywords: Dynamic Flowgraph Methodology, Safety-Critical, Scenarios

References

[1] Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, Second Edition, " NASA/SP-2011-3421, NASA Headquarters, Washington, DC(2011).

[2] NASA Context-Based Software Risk Model Application Guide , NASA-CR-2013-218111, NASA Headquarters Washington, DC (2014).

[3] Ahmad W. Al-Dabbagh and Lixuan Lu: Dynamic flowgraph modeling of process and control systems of a nuclear-based hydrogen production plant-network, international journal of hydrogen energy(2010).

DOI: 10.1016/j.ijhydene.2010.06.059

[4] Guarro S, Yau M and Motamed M: Development of tools for safety analysis of control software in advanced reactors, NUREG/CR-6465, U. S, Nuclear Regularity Commission(1996).

DOI: 10.2172/226074

[5] M. Yau, G. Apostolakis and S. Guarro: The Use of Prime Implicants in Dependability Analysis of Software Controlled Systems, Reliability Engineering and System Safety (1998).

DOI: 10.1016/s0951-8320(98)00002-7

[6] Michel Houtermans, George Apostolakis, Aarnout Brombacher and Dimitrios Karydas: The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification, Safety Science(2002).

DOI: 10.1016/s0925-7535(01)00087-x

[7] Information on www. ascainc. com/dymonda/dymonda. html.

[8] W.E. Vesely F.F. Goldberg: Fault Tree Handbook, NUREG-0492,U. S, Nuclear Regulatory Commission, Washington, DC(1981).