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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
Opdahl, A.L., Raspotnig, C.: Improving security and safety modelling with failure sequence diagrams. IJSSE 3(1), 20–36 (2012)
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)
Raspotnig, C.: Requirements for safe and secure information systems, philosophiae doctor (PH.D.), University of Bergen, Norway (2014)
Angelfoss, J.: CHASSIS Tool: A model-driven approach, Norwegian University of Science and Technology, Norway (2014)
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 2003
NuSMV: a new symbolic model checker. http://nusmv.fbk.eu/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Thapaliya, A., Jeong, D., Kwon, G. (2018). Failure Analysis in Safety Critical Systems Using Failure State Machine. In: Park, J., Loia, V., Yi, G., Sung, Y. (eds) Advances in Computer Science and Ubiquitous Computing. CUTE CSA 2017 2017. Lecture Notes in Electrical Engineering, vol 474. Springer, Singapore. https://doi.org/10.1007/978-981-10-7605-3_89
Download citation
DOI: https://doi.org/10.1007/978-981-10-7605-3_89
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-7604-6
Online ISBN: 978-981-10-7605-3
eBook Packages: EngineeringEngineering (R0)