Skip to main content
Top

2018 | OriginalPaper | Chapter

Reliability and Control Theory: An Integration Approach for Safety Analysis

Authors : Anit Thapaliya, Gihwon Kwon

Published in: Advances in Computer Science and Ubiquitous Computing

Publisher: Springer Singapore

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

search-config
loading …

Abstract

This paper presents an integrated safety analysis methodology for safety critical systems. In first approach, known as evolutionary safety analysis, we describe system failure models through hierarchical system structure including different safety analysis techniques like Preliminary hazard analysis (PHA), Hazard and operability study (HAZOP), Fault tree analysis (FTA) and Failure mode and effect analysis (FMEA). In second approach, known as revolutionary safety analysis, we combine the results from the first approach for a systematic analysis of scenario based safety control. So far, these two-methodologies seen as two different competing paradigms and have been used separately one for the reliability theory and another for the system and control theory. In this paper, we describe their interrelations and how they can be bridged together for high level of safety. We exemplify our integrated methodology to the development of Green Line Metro System and evaluated the automation via formal verification techniques.

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!

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!

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!

Literature
1.
go back to reference Yan, F., Tang, T., Yan, H.: Scenario Based STPA Analysis in Automated Urban Guided Transport System, China (2016) Yan, F., Tang, T., Yan, H.: Scenario Based STPA Analysis in Automated Urban Guided Transport System, China (2016)
2.
go back to reference Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011) Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)
3.
go back to reference Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: 19th Korea Conference on Software Engineering, pp. 89–90 (2017) Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: 19th Korea Conference on Software Engineering, pp. 89–90 (2017)
4.
go back to reference Blakley, F., Weber, J., Habibi, R.: Prospective hazard analysis for information systems. In: IEEE International Conference on Healthcare Informatics (2014) Blakley, F., Weber, J., Habibi, R.: Prospective hazard analysis for information systems. In: IEEE International Conference on Healthcare Informatics (2014)
5.
go back to reference Jeong, D., Thapaliya, A., Kwon, G.: A case study of hierarchical safety analysis for eliciting traceable safety requirements. In: Advanced Multimedia and Ubiquitous Engineering, pp. 474–480 (2017) Jeong, D., Thapaliya, A., Kwon, G.: A case study of hierarchical safety analysis for eliciting traceable safety requirements. In: Advanced Multimedia and Ubiquitous Engineering, pp. 474–480 (2017)
6.
go back to reference Jong, H., Jeong, H., Han, C.: A study on the HAZOP-KR for hazard analysis of train control systems. In: The Korean Society for Railway Symposium, pp. 369–403 (2010) Jong, H., Jeong, H., Han, C.: A study on the HAZOP-KR for hazard analysis of train control systems. In: The Korean Society for Railway Symposium, pp. 369–403 (2010)
7.
go back to reference Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42, 237–270 (2004) Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42, 237–270 (2004)
8.
go back to reference Thomas, J.: Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis. MIT Press, Boston (2013) Thomas, J.: Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis. MIT Press, Boston (2013)
9.
go back to reference Abdulkhaleq, A.: A System-Theoretic Safety Engineering Approach for Software Intensive Systems. University of Stuttgart, Germany (2017) Abdulkhaleq, A.: A System-Theoretic Safety Engineering Approach for Software Intensive Systems. University of Stuttgart, Germany (2017)
Metadata
Title
Reliability and Control Theory: An Integration Approach for Safety Analysis
Authors
Anit Thapaliya
Gihwon Kwon
Copyright Year
2018
Publisher
Springer Singapore
DOI
https://doi.org/10.1007/978-981-10-7605-3_198