• Jan 05, 2017 News![CFP] 2017 the annual meeting of IJFCC Editorial Board, ICCTD 2017, will be held in Paris, France during March 20-22, 2017.   [Click]
  • Mar 24, 2016 News! IJFCC Vol. 4, No. 4 has been indexed by EI (Inspec).   [Click]
  • Mar 24, 2017 News!Vol.6, No.1 has been published with online version.   [Click]
General Information
    • ISSN: 2010-3751
    • Frequency: Bimonthly (2012-2016); Quarterly (Since 2017)
    • DOI: 10.18178/IJFCC
    • Editor-in-Chief: Prof. Mohamed Othman
    • Executive Editor: Ms. Nancy Y. Liu
    • Abstracting/ Indexing: Google Scholar, Engineering & Technology Digital Library, and Crossref, DOAJ, Electronic Journals LibraryEI (INSPEC, IET).
    • E-mail:  ijfcc@ejournal.net 
Editor-in-chief
Prof. Mohamed Othman
Department of Communication Technology and Network Universiti Putra Malaysia, Malaysia
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-2016. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net