• Dec 05, 2023 News!Vol.12, No.4 has been published with online version.   [Click]
  • Jan 04, 2024 News!IJFCC will adopt Article-by-Article Work Flow
  • Sep 05, 2023 News!Vol.12, No.3 has been published with online version.   [Click]
General Information
Editor-in-chief

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).

[PDF]

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-2024. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net