Advertisement

Failure Analysis in Safety Critical Systems Using Failure State Machine

  • Anit Thapaliya
  • Daehui Jeong
  • Gihwon Kwon
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 474)

Abstract

In this paper, failure analysis of a railway level crossing system is studied using failure state machine. It was previously perceived that formal verification of safety critical system is possible using model checking and safety analysis technique [1]. Thus, in this study, we introduce some failure case study in previous approach [1] and failure analysis is accessed using the model checking counterexample. From the counterexample, we have proposed failure state machine for the failure analysis. From the findings, the need for design improvement is recommended.

Keywords

Failure state machine Fault Tree Analysis Model checking 

References

  1. 1.
    Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: Proceedings of the 19th Korea Conference on Software Engineering (KCSE 2017), vol. 19, pp. 89–90 (2017)Google Scholar
  2. 2.
    Opdahl, A.L., Raspotnig, C.: Improving security and safety modelling with failure sequence diagrams. IJSSE 3(1), 20–36 (2012)Google Scholar
  3. 3.
    Arabestani, S., Bitsch, F., Gayen, J-T.: Precise definition of the single-track level crossing in radio-based operation in UML notation and specification of safety requirements. Germany (2004)Google Scholar
  4. 4.
    Raspotnig, C.: Requirements for safe and secure information systems, philosophiae doctor (PH.D.), University of Bergen, Norway (2014)Google Scholar
  5. 5.
    Angelfoss, J.: CHASSIS Tool: A model-driven approach, Norwegian University of Science and Technology, Norway (2014)Google Scholar
  6. 6.
    Enry, S., Faure, J.M.: Elaboration of invariant safety properties from fault-tree analysis. In: Proceedings of IMACS-IEEE CESA 2003, Lille, France, 6 p., 9–12 July 2003Google Scholar
  7. 7.
    NuSMV: a new symbolic model checker. http://nusmv.fbk.eu/

Copyright information

© Springer Nature Singapore Pte Ltd. 2018

Authors and Affiliations

  1. 1.Department of Computer ScienceKyonggi UniversitySuwonSouth Korea

Personalised recommendations