Abstract
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the driver’s biometrics (eye movement, heart rate, etc.) and the state of the car; analyses the driver’s attentiveness using a deep neural network; plans driver alerts and changes in the speed of the car using a formally verified controller; and executes this plan using acoustic, visual and haptic actuators. The paper presents (i) the self-adaptive system formed by this monitor-analyse-plan-execute (MAPE) control loop, the car and the monitored driver, and (ii) the use of probabilistic model checking to synthesise the controller for the planning step of the MAPE loop.
Original language | English |
---|---|
Title of host publication | Software Engineering for Adaptive and Self-Managing Systems |
Publisher | IEEE |
Publication status | Accepted/In press - 12 Mar 2021 |
Event | 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - Virtual, Madrid, Spain Duration: 18 May 2021 → 21 May 2021 https://conf.researchr.org/track/seams-2021/seams-2021-papers#event-overview |
Publication series
Name | IEEE Conference Proceedings |
---|---|
Publisher | IEEE |
Conference
Conference | 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems |
---|---|
Abbreviated title | SEAMS 2021 |
Country/Territory | Spain |
City | Madrid |
Period | 18/05/21 → 21/05/21 |
Internet address |
Keywords
- autonomous driving
- shared control
- MAPE control loop
- controller synthesis
- probabilistic model checking