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 |
| Number of pages | 7 |
| ISBN (Electronic) | 978-1-6654-0289-7 |
| ISBN (Print) | 978-1-6654-0290-3 |
| DOIs | |
| Publication status | Published - 29 Jun 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 | CSE Workshop on Software Engineering for Adaptive and Self-Managing Systems |
|---|---|
| Publisher | IEEE |
| ISSN (Print) | 2157-2305 |
| ISSN (Electronic) | 2157-2321 |
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
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver