Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
An Examination of the Effect of the Contextual UI Design Quality of Mobile Shopping Applications on the Loyalty of Users to the Applications Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Failure Analysis in Safety Critical Systems Using Failure State Machine

Authors : Anit Thapaliya, Daehui Jeong, Gihwon Kwon

Published in: Advances in Computer Science and Ubiquitous Computing

Publisher: Springer Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Confirmation Delay Prediction of Transactions in the Bitcoin Network
next chapter Simple and Low-Cost Heartbeat-Based Dual Modular Redundant Systems for Wireless Sensor Networks
Literature
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)
2.
Opdahl, A.L., Raspotnig, C.: Improving security and safety modelling with failure sequence diagrams. IJSSE 3(1), 20–36 (2012)
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)
4.
Raspotnig, C.: Requirements for safe and secure information systems, philosophiae doctor (PH.D.), University of Bergen, Norway (2014)
5.
Angelfoss, J.: CHASSIS Tool: A model-driven approach, Norwegian University of Science and Technology, Norway (2014)
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 2003
7.
Metadata
Title
Failure Analysis in Safety Critical Systems Using Failure State Machine
Authors
Anit Thapaliya
Daehui Jeong
Gihwon Kwon
Copyright Year
2018
Publisher
Springer Singapore
Book
Advances in Computer Science and Ubiquitous Computing

Print ISBN: 978-981-10-7604-6

Electronic ISBN: 978-981-10-7605-3

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-981-10-7605-3_89