Event-B development of modelling human intervention request in self-driving vehicle systems
Event-B development of modelling human intervention request in self-driving vehicle systems
In the design of autonomous systems, seamless integration with human operators is crucial, particularly when humans are considered as a fail-safe for intervening in hazardous situations. This study presents an Event-B intervention timing pattern designed to include human drivers' responses when they act as fallback mechanisms in Self-Driving Vehicle (SDV) systems. The proposed pattern outlines specific timings for driver interventions following alerts from SDVs, offering a clear set of expectations and conditions for human drivers during these critical takeover instances. The usability of this pattern is demonstrated through a case study, highlighting its importance for situations that require interventions. Ultimately, it sheds light on the operational aspects of SDVs, ensuring a safe and orderly transition from automated to manual control.
SDV, Driver Interventions, Event-B, Timing Patterns
Alotaibi, Fahad
3606f09d-b071-47de-b0c2-f9784f7b1abd
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
25 June 2024
Alotaibi, Fahad
3606f09d-b071-47de-b0c2-f9784f7b1abd
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Alotaibi, Fahad, Hoang, Thai Son, Salehi Fathabadi, Asieh and Butler, Michael
(2024)
Event-B development of modelling human intervention request in self-driving vehicle systems.
ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy.
25 - 28 Jun 2024.
17 pp
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
In the design of autonomous systems, seamless integration with human operators is crucial, particularly when humans are considered as a fail-safe for intervening in hazardous situations. This study presents an Event-B intervention timing pattern designed to include human drivers' responses when they act as fallback mechanisms in Self-Driving Vehicle (SDV) systems. The proposed pattern outlines specific timings for driver interventions following alerts from SDVs, offering a clear set of expectations and conditions for human drivers during these critical takeover instances. The usability of this pattern is demonstrated through a case study, highlighting its importance for situations that require interventions. Ultimately, it sheds light on the operational aspects of SDVs, ensuring a safe and orderly transition from automated to manual control.
Text
ABZ2024 Intervention Pattern
- Accepted Manuscript
More information
Submitted date: 24 February 2024
Accepted/In Press date: 9 April 2024
Published date: 25 June 2024
Venue - Dates:
ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy, 2024-06-25 - 2024-06-28
Keywords:
SDV, Driver Interventions, Event-B, Timing Patterns
Identifiers
Local EPrints ID: 490662
URI: http://eprints.soton.ac.uk/id/eprint/490662
PURE UUID: b3452f99-1a7b-43ca-ab7f-de019379b07c
Catalogue record
Date deposited: 03 Jun 2024 16:31
Last modified: 26 Jun 2024 02:00
Export record
Contributors
Author:
Fahad Alotaibi
Author:
Thai Son Hoang
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
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