Effects Assessment for Requirements Faults of Safety Critical Software in Nuclear Industry

In a context where software has been pervasive in safety critical applications, trust in software safety is challenged by software complexity and lack of systematic methods to assess the effects of remaining faults. To expand the use of digital technology in the nuclear industry, systematic methods are required to assess the effects of remaining faults for software-based Instrumentation & Control (I& C) systems in safety critical applications. In this paper, the effects of the remaining requirements faults are assessed using a probability density function (PDF) of their hazard rates. A hazard-based effect analysis (HEA) method is developed to obtain the probability distribution of the hazard rates of a remaining requirements fault. The HEA method is applied to a Reactor Protection System (RPS) in the case study. The probability density functions for the introduced faults, detected faults and remaining faults in the requirements phase of the RPS system on the domain of hazard degree are obtained.

[1]  Andreas L. Opdahl,et al.  Comparing risk identification techniques for safety and security requirements , 2013, J. Syst. Softw..

[2]  P. Seetharamaiah,et al.  A Measures and Metrics Framework for Software Safety , 2015, SOEN.

[3]  Victor R. Basili,et al.  Measures and Risk Indicators for Early Insight into Software Safety. Development of Fault-Tolerant Systems , 2008 .

[4]  M. Ben Swarup,et al.  An Approach to Modeling Software Safety , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.

[5]  Fuqun Huang,et al.  A Quantification Framework for Software Safety in the Requirements Phase: Application to Nuclear Power Plants , 2018, 2018 Annual Reliability and Maintainability Symposium (RAMS).

[6]  Paul S. F. Yip,et al.  Estimating the number of faults: efficiency of removal, recapture, and seeding , 1999 .

[7]  C. Smidts,et al.  A Method for Quantifying the Dependability Attributes of Software-Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants , 2014 .

[8]  Wei-Tek Tsai,et al.  A process for software requirements safety analysis , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

[9]  Ming Li,et al.  Validation of a methodology for assessing software reliability , 2004, 15th International Symposium on Software Reliability Engineering.

[10]  John A. McDermid,et al.  Software in safety critical systems?achievement and prediction , 2006 .

[11]  Christophe Bérenguer,et al.  Dynamic reliability of digital-based transmitters , 2011, Reliab. Eng. Syst. Saf..

[12]  S. Chandrasekaran,et al.  A safety enhancement model of software system for railways , 2009, ICONS 2009.