A Survey of Safety Analysis Techniques for Safety Critical Systems

Abstract

Abstract-This paper is mainly focused on the study of the techniques available for the safety analysis of critical systems. It is never possible to build a completely safe system. There is a possibility to bring the behavior of these systems within acceptable limits. For safety evaluation of such systems both formal and informal techniques are available. Both techniques have their own prospects and consequences. Informal techniques are simpler to learn and easier to interpret and have more space for creativity and imagination of the analyst. Formal techniques due to their rigorousness ensure completeness. In this paper, we have analyzed both techniques after defining few parameters. Our study found it that formal techniques are better but usage of informal techniques can never be overlooked. Some approaches combine formal and informal techniques to reap the benefits of both. In some cases, informal techniques can be used as pre-requisite to narrow down the input of minimal critical set for formal techniques and reduce the effort required for formalization of the entire system.

Failure mode and effect analysis on safety critical components of space travel

“…They go on to conclude that use of only one analysis technique is insufficient, and suggest combined usage of methods is important in safety analysis of critical systems. Haider and Nadeem (2013) detailed the informal and formal techniques which are available for the safety analysis of critical systems. Their study found that a combination of formal and informal techniques can reap the benefits of each method; that using the input of informal techniques into a formal technique can narrow the scope of the minimal critical set.…”

Software Safety Analysis of Ball Position Control System using SFMEA

“…Bozzano (2010) [15] contributed to the safety assessment of critical systems with a book focused on techniques and methods for dependability, reliability, and safety assessment [15]. Illiashenko (2012) [14] [16]. Early researches described limited experimental concepts.…”