Supervisory Control Theory in System Safety Analysis
Paper i proceeding, 2020

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.

Fault Tree Analysis

Formal Methods

Autonomous Driving

System Safety

Supervisory Control Theory


Yuvaraj Selvaraj

Zenuity AB

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Zhennan Fei

Zenuity AB

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 12235 9-22

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020.
Lisbon, Portugal,

Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV)

VINNOVA, 2018-03-01 -- 2021-12-31.




Datavetenskap (datalogi)




Mer information

Senast uppdaterat