High-level rigorous template for analysing safety properties of self-driving vehicle systems

Alotaibi, Fahad, Abduallah, Hoang, Thai Son and Butler, Michael (2022) High-level rigorous template for analysing safety properties of self-driving vehicle systems. In COMPSAC 2022. (In Press)

Record type: Conference or Workshop Item (Paper)

Abstract

A self-driving vehicle (SDV) brings a novel idea to
the automotive industry as it aims to replace the human driver;
however, the human driver is still involved in the loop of an
SDV’s life cycle. Although the human driver plays a major
role in ensuring the high-level safety property of the system,
incorrect interactions between a human driver and an SDV
might lead to a serious accident. Our paper aims to develop a
rigorous analysis template that emphasises the system component interactions between an SDV and a human driver, especially if the SDV assumes the human driver to be a fallback option for dealing with hazardous events. Our approach combine Systems-Theoretic Processes Analysis (STPA) in order to identify the high-level safety requirements, and the Event-B formal method to provide the assurance about the consistency of the safety requirements obtained from STPA.

This record has no associated files available for download.