Supervisory Control Theory in System Safety Analysis
Paper in proceedings, 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.

System Safety

Formal Methods

Supervisory Control Theory

Autonomous Driving

Fault Tree Analysis


Yuvaraj Selvaraj

Chalmers, Electrical Engineering, Systems and control, Automation

Zhennan Fei

Chalmers, Electrical Engineering, Systems and control, Automation

Martin Fabian

Chalmers, Electrical Engineering, Systems and control, 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

Casimiro A., Ortmeier F., Schoitsch E., Bitsch F., Ferreira P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020.
Lisbon, Portugal,

Automatically Assessing Correctness of Autonomous Vehicles (Auto-CAV)

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

Subject Categories

Information Science

Control Engineering

Computer Science

Computer Systems



More information


9/4/2020 1