Abstract
This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety system. In an emergency situation, the ADS must know the driver's current state, to judge whether to hand over control of driving. If the ADS cannot monitor this successfully, the driver may be inappropriately given control of the vehicle. In this study, the driver and the ADS were treated as a concurrent system in a system of systems, in which both operated independently, while interacting through a human machine interface. A CSP model was built to describe the interactions between them, and these were analyzed using model checking. The CSP model was based on analysis using System Modeling Language. A simple four-stage model of human information processing was used to describe the driver's state transitions. The study contributes to the analysis of the interactions between an ADS and the behavior of a driver, and will help designers of automated vehicles.
| Original language | English |
|---|---|
| Title of host publication | 1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 272-277 |
| Number of pages | 6 |
| ISBN (Print) | 9781479919208 |
| DOIs | |
| Publication status | Published - 2015 Oct 21 |
| Event | 1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Rome, Italy Duration: 2015 Sep 28 → 2015 Sep 30 |
Other
| Other | 1st IEEE International Symposium on Systems Engineering, ISSE 2015 |
|---|---|
| Country | Italy |
| City | Rome |
| Period | 15/9/28 → 15/9/30 |
Fingerprint
Keywords
- automated vehicle
- communicating sequential process
- model checking
- SysML
ASJC Scopus subject areas
- Mechanical Engineering
- Control and Systems Engineering
Cite this
Analysis of a driver and automated driving system interaction using a communicating sequential process. / Kinoshita, Satoko; Yun, Sunkil; Kitamura, Noriyasu; Nishimura, Hidekazu.
1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2015. p. 272-277 7302769.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Analysis of a driver and automated driving system interaction using a communicating sequential process
AU - Kinoshita, Satoko
AU - Yun, Sunkil
AU - Kitamura, Noriyasu
AU - Nishimura, Hidekazu
PY - 2015/10/21
Y1 - 2015/10/21
N2 - This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety system. In an emergency situation, the ADS must know the driver's current state, to judge whether to hand over control of driving. If the ADS cannot monitor this successfully, the driver may be inappropriately given control of the vehicle. In this study, the driver and the ADS were treated as a concurrent system in a system of systems, in which both operated independently, while interacting through a human machine interface. A CSP model was built to describe the interactions between them, and these were analyzed using model checking. The CSP model was based on analysis using System Modeling Language. A simple four-stage model of human information processing was used to describe the driver's state transitions. The study contributes to the analysis of the interactions between an ADS and the behavior of a driver, and will help designers of automated vehicles.
AB - This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety system. In an emergency situation, the ADS must know the driver's current state, to judge whether to hand over control of driving. If the ADS cannot monitor this successfully, the driver may be inappropriately given control of the vehicle. In this study, the driver and the ADS were treated as a concurrent system in a system of systems, in which both operated independently, while interacting through a human machine interface. A CSP model was built to describe the interactions between them, and these were analyzed using model checking. The CSP model was based on analysis using System Modeling Language. A simple four-stage model of human information processing was used to describe the driver's state transitions. The study contributes to the analysis of the interactions between an ADS and the behavior of a driver, and will help designers of automated vehicles.
KW - automated vehicle
KW - communicating sequential process
KW - model checking
KW - SysML
UR - http://www.scopus.com/inward/record.url?scp=84954476875&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84954476875&partnerID=8YFLogxK
U2 - 10.1109/SysEng.2015.7302769
DO - 10.1109/SysEng.2015.7302769
M3 - Conference contribution
AN - SCOPUS:84954476875
SN - 9781479919208
SP - 272
EP - 277
BT - 1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
ER -