• Dec 24, 2021 News!Vol 10, No 1- Vol 10, No 2 has been indexed by IET-(Inspec)   [Click]
  • Aug 27, 2020 News!Welcome Prof. D. P. Sharma from India to join the Editorial board of IJFCC     [Click]
  • Aug 18, 2022 News!Vol.11, No.3 has been published with online version.     [Click]
General Information

Prof. Pascal Lorenz
University of Haute Alsace, France
It is my honor to be the editor-in-chief of IJFCC. The journal publishes good papers in the field of future computer and communication. Hopefully, IJFCC will become a recognized journal among the readers in the filed of future computer and communication.

IJFCC 2013 Vol.2(2): 134-137 ISSN: 2010-3751
DOI: 10.7763/IJFCC.2013.V2.137

A Survey of Safety Analysis Techniques for Safety Critical Systems

Aftab Ali Haider and Aamer Nadeem
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.

Index Terms—Formal techniques, informal techniques, safety analysis, safety critical systems, fault trees.

The authors are with Center for Software Dependability, Muhammad Ali Jinnah University (MAJU), Islamabad, Pakistan (email: aftab775@yahoo.com, anadeem@jinnah.edu.pk).


Cite: Aftab Ali Haider and Aamer Nadeem, "A Survey of Safety Analysis Techniques for Safety Critical Systems," International Journal of Future Computer and Communication vol. 2, no. 2 pp. 134-137, 2013.
Copyright © 2008-2022. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net