Skip to main content
SpringerLink
Log in

Supervisory Control Theory in System Safety Analysis

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops (SAFECOMP 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12235))

Included in the following conference series:

Abstract

Development of safety critical systems requires a risk management strategy to identify and analyse hazards, and apply necessary actions to eliminate or control them as malfunctions could be catastrophic. Fault Tree Analysis (FTA) is one of the most widely used methods for safety analysis in industrial use. However, the standard FTA is manual, informal, and limited to static analysis of systems. In this paper, we present preliminary results from a model-based approach to address these limitations using Supervisory Control Theory. Taking an example from the Fault Tree Handbook, we present a systematic approach to incrementally obtain formal models from a fault tree and verify them in the tool Supremica. We present a method to calculate minimal cut sets using our approach. These compositional techniques could potentially be very beneficial in the safety analysis of highly complex safety critical systems, where several components interact to solve different tasks.

Supported by FFI, VINNOVA under grant number 2017-05519, Automatically Assessing Correctness of Autonomous Vehicles–Auto-CAV.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://supremica.org https://github.com/yuvrajselvam/FTA_SCT.

  2. 2.

    In this paper, for a fault Ex in the FT, Ex denotes the corresponding event in the EFSM and \(E_x\) denotes the location reached due to the occurrence of the fault.

References

  1. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363–377 (1992)

    Article  Google Scholar 

  2. Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Trans. Softw. Eng. 24(7), 573–584 (1998)

    Article  Google Scholar 

  3. Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114–135 (2017)

    Article  Google Scholar 

  4. Kaiser, B., Gramlich, C., Förster, M.: State/event fault trees–a safety analysis model for software-controlled systems. Reliab. Eng. Syst. Saf. 92(11), 1521–1537 (2007)

    Article  Google Scholar 

  5. Malik, R.: Programming a fast explicit conflict checker. In: 2016 13th International Workshop on Discrete Event Systems (WODES), pp. 438–443. IEEE (2016)

    Google Scholar 

  6. Malik, R., Akesson, K., Flordal, H., Fabian, M.: Supremica-an efficient tool for large-scale discrete event systems. IFAC-PapersOnLine 50(1), 5794–5799 (2017). https://doi.org/10.1016/j.ifacol.2017.08.427

    Article  Google Scholar 

  7. Mohajerani, S., Malik, R., Fabian, M.: A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dyn. Syst. 26(1), 33–84 (2015). https://doi.org/10.1007/s10626-015-0217-y

    Article  MathSciNet  MATH  Google Scholar 

  8. Palshikar, G.K.: Temporal fault trees. Inf. Softw. Technol. 44(3), 137–150 (2002)

    Article  Google Scholar 

  9. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)

    Article  MathSciNet  Google Scholar 

  10. Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29–62 (2015)

    Article  MathSciNet  Google Scholar 

  11. Selvaraj, Y., Ahrendt, W., Fabian, M.: Verification of decision making software in an autonomous vehicle: an industrial case study. In: Larsen, K.G., Willemse, T. (eds.) Formal Methods for Industrial Critical Systems, pp. 143–159. Springer International Publishing, Cham (2019). https://doi.org/10.1007/978-3-030-27008-7_9

    Chapter  Google Scholar 

  12. Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251–278. Elsevier (2016)

    Google Scholar 

  13. Skoldstam, M., Akesson, K., Fabian, M.: Modeling of discrete event systems using finite automata with variables. In: 2007 46th IEEE Conference on Decision and Control, pp. 3387–3392. IEEE (2007)

    Google Scholar 

  14. SYSTEMITE: Systemweaver. https://www.systemweaver.se/. Accessed 09 May 2020

  15. Thums, A., Schellhorn, G.: Model checking FTA. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 739–757. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-45236-2_40

    Chapter  Google Scholar 

  16. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Technical report, Nuclear Regulatory Commission Washington DC (1981)

    Google Scholar 

  17. Xiang, J., Ogata, K., Futatsugi, K.: Formal fault tree analysis of state transition systems. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 124–131. IEEE (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Zenuity AB, Gothenburg, Sweden

    Yuvaraj Selvaraj & Zhennan Fei

  2. Chalmers University of Technology, Gothenburg, Sweden

    Yuvaraj Selvaraj & Martin Fabian

Authors
  1. Yuvaraj Selvaraj
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhennan Fei
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Fabian
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yuvaraj Selvaraj .

Editor information

Editors and Affiliations

  1. University of Lisbon, Lisbon, Portugal

    António Casimiro

  2. Otto-von-Guericke University, Magdeburg, Germany

    Frank Ortmeier

  3. Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  4. Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

  5. University of Lisbon, Lisbon, Portugal

    Pedro Ferreira

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Selvaraj, Y., Fei, Z., Fabian, M. (2020). Supervisory Control Theory in System Safety Analysis. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12235. Springer, Cham. https://doi.org/10.1007/978-3-030-55583-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-55583-2_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-55582-5

  • Online ISBN: 978-3-030-55583-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation