Abstract
System theoretic process analysis (STPA) and Functional resonance analysis method are two important techniques of safety analysis in embedded systems. However, both are used for systemic hazard analysis to evaluate failure and causality of the system but often used separately. In this paper, we present an approach for integrating systemic based safety analysis techniques such as STPA and FRAM. Considering the traditional definition of safety as “a condition where nothing goes wrong”, this approach makes it possible to express and analyze both hazards from control problem and coupling connection in the system. The work presented here focuses on automatic tool support for safety analysis with safety implementation of those results. The automatic tools based safety analysis brings consistency defects, and it is time consuming to automate and validate the result effectively. So, we introduced smv model checker to realize the proposed approach. Lastly using an adverse train control system case study, we demonstrate the applicability of this research.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Platzer, A., Quesel, J.: European train control system: a case study in formal verification. AVACS Tech. Rep. 54, 1–3 (2009)
Gorea, R.: Financial impact of road traffic accidents on the society. Int. J. Ethics Trauma Victimol. 2(1) (2016)
Song, Y.: Applying system theoretic accident model and processes (STAMP) to hazard analysis. MCMASTER University Master Thesis (2012)
Hollnagel, E.: FRAM: The Functional Resonance Analysis Method—Modelling Complex Socio-technical Systems. Ashgate, UK (2012)
Schoitsch, E.: Design for safety and security of complex embedded systems: a unified approach. In: Cyber Security and Defense: Research Issues, pp. 161–174 (2005)
Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, USA (2011)
Thapaliya, A., Kwon, G.: Reliability and control theory: an integration approach for safety analysis. In: Advances in Computer Science and Ubiquitous Computing (2017)
Abdulkhaleq, A.: A System Theoretic Safety Engineering Approach for Safety Intensive Systems. University of Stuttgart, Germany (2017)
Zheng, Z., Tian, J.: Bridging the gap between FRAM and safety practice by applying FSM and model checking. In: The First International Conference on Reliability Systems Engineering (2015)
Zheng, Z., Tian, J., Zhao, T.: Refining Operation Guidelines with Model Checking Aided FRAM to Improve Manufacturing Processes: A Case Study for Aeroengine Blade Forging. Springer, Berlin (2016)
Buddle, S.: Modeling Blowouts During Drilling Using STAMP and STPA. NTNU (2012)
Congcong, C., Zeng, F., Lu, M.: Verification method for software safety requirement by combining model checking and FTA. In: International Industrial Informatics and Computer Engineering Conference (2015)
Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: 19th Proceedings of Korea Conference on Software Engineering (2017)
NuSMV 2.6 User Manual (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Thapaliya, A., Kwon, G. (2019). Realization of Combined Systemic Safety Analysis of Adverse Train Control System Using Model Checking. In: Hung, J., Yen, N., Hui, L. (eds) Frontier Computing. FC 2018. Lecture Notes in Electrical Engineering, vol 542. Springer, Singapore. https://doi.org/10.1007/978-981-13-3648-5_49
Download citation
DOI: https://doi.org/10.1007/978-981-13-3648-5_49
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-3647-8
Online ISBN: 978-981-13-3648-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)