A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems
A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems
This paper presents a methodology called Rigorous Analysis Template Process (RATP) for analysing the behaviours and interactions of multiple components in a Self-Driving Vehicle (SDV) to ensure its system safety, especially when a human driver is involved as a fallback option for handling hazardous events. RATP uses Systems-Theoretic Processes Analysis (STPA) and Event-B formal method to gradually identify safety requirements and build their rigours models. The output of RATP is a set of safety requirements that guide the development of a rigorous model to maintain the system safety against identified hazardous states at different levels of abstraction. The main advantage of RATP is to allow the behaviours of a system to be analysed from a high-abstraction layer to a more detailed concrete layer.
Automated lane centering, Driver monitoring system, Event-B, STPA, SDV
1697-1702
Alotaibi, Fahad Abduallah
3606f09d-b071-47de-b0c2-f9784f7b1abd
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Majumder, AKM Jahangir Alam
2 August 2023
Alotaibi, Fahad Abduallah
3606f09d-b071-47de-b0c2-f9784f7b1abd
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Majumder, AKM Jahangir Alam
Alotaibi, Fahad Abduallah, Hoang, Son and Butler, Michael
(2023)
A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems.
Shahriar, Hossain, Teranishi, Yuuichi, Cuzzocrea, Alfredo, Sharmin, Moushumi, Towey, Dave, Majumder, AKM Jahangir Alam, Kashiwazaki, Hiroki, Yang, Ji-Jiang, Takemoto, Michiharu, Sakib, Nazmus, Banno, Ryohei and Ahamed, Sheikh Iqbal
(eds.)
In Proceedings of the 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC).
IEEE.
.
(doi:10.1109/COMPSAC57700.2023.00262).
Record type:
Conference or Workshop Item
(Paper)
Abstract
This paper presents a methodology called Rigorous Analysis Template Process (RATP) for analysing the behaviours and interactions of multiple components in a Self-Driving Vehicle (SDV) to ensure its system safety, especially when a human driver is involved as a fallback option for handling hazardous events. RATP uses Systems-Theoretic Processes Analysis (STPA) and Event-B formal method to gradually identify safety requirements and build their rigours models. The output of RATP is a set of safety requirements that guide the development of a rigorous model to maintain the system safety against identified hazardous states at different levels of abstraction. The main advantage of RATP is to allow the behaviours of a system to be analysed from a high-abstraction layer to a more detailed concrete layer.
Text
Accepted
- Accepted Manuscript
Text
A_Rigorous_Iterative_Analysis_Approach_for_Capturing_the_Safety_Requirements_of_Self-Driving_Vehicle_Systems
Restricted to Repository staff only
Request a copy
More information
Accepted/In Press date: 8 May 2023
Published date: 2 August 2023
Keywords:
Automated lane centering, Driver monitoring system, Event-B, STPA, SDV
Identifiers
Local EPrints ID: 481984
URI: http://eprints.soton.ac.uk/id/eprint/481984
ISSN: 0730-3157
PURE UUID: f580b238-6196-40e4-a3c1-dee41971f30a
Catalogue record
Date deposited: 14 Sep 2023 16:47
Last modified: 18 Mar 2024 03:53
Export record
Altmetrics
Contributors
Author:
Fahad Abduallah Alotaibi
Author:
Son Hoang
Author:
Michael Butler
Editor:
Hossain Shahriar
Editor:
Yuuichi Teranishi
Editor:
Alfredo Cuzzocrea
Editor:
Moushumi Sharmin
Editor:
Dave Towey
Editor:
AKM Jahangir Alam Majumder
Editor:
Hiroki Kashiwazaki
Editor:
Ji-Jiang Yang
Editor:
Michiharu Takemoto
Editor:
Nazmus Sakib
Editor:
Ryohei Banno
Editor:
Sheikh Iqbal Ahamed
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics