Ensuring safety in design of safety critical computer based systems

Abstract Safety critical systems are designed to function in safe manner so that its failure should not lead to the catastrophic effects, including injury or death to humans, and harm to the environment. These systems take themselves to a safe state, thus ensuring goals of safety. Due to safety significance of such systems, these need to be designed carefully to ensure their reliability requirements. The strategy discussed the modeling and analysis techniques to safety critical computer based systems using Petri net for full proof design. The techniques to improve the faulty design are also proposed. The application of the proposed techniques is shown on a reactor protection system.

[1]  Jongmoon Baik,et al.  An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures , 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

[2]  Nima Khakzad,et al.  Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches , 2011, Reliab. Eng. Syst. Saf..

[3]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[4]  William Marsh,et al.  Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment , 2005, SAFECOMP.

[5]  Gopika Vinod,et al.  Design Verification of Instrumentation and Control Systems of Nuclear Power Plants , 2014, IEEE Transactions on Nuclear Science.

[6]  Anil Kumar Tripathi,et al.  Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

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

[8]  Didier Buchs,et al.  Perspectives in the Use of Coloured Petri Nets for Risk Analysis and Accident Modelling , 2003 .

[9]  Husain Aljazzar,et al.  Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[10]  Seok-Won Lee.  Probabilistic Risk Assessment for Security Requirements: A Preliminary Study , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

[11]  Rui Xu,et al.  Research on reliability modeling of complex system based on dynamic fault tree , 2009 .

[12]  Anil Kumar Tripathi,et al.  Reliability prediction through system modeling , 2013, SOEN.

[13]  Scott A. Mahlke,et al.  Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software , 2013, IEEE Transactions on Automatic Control.