Analysis of a driver and automated driving system interaction using a communicating sequential process

Satoko Kinoshita; Sunkil Yun; Noriyasu Kitamura; Hidekazu Nishimura

doi:10.1109/SysEng.2015.7302769

Analysis of a driver and automated driving system interaction using a communicating sequential process

Satoko Kinoshita, Sunkil Yun, Noriyasu Kitamura, Hidekazu Nishimura

Graduate School of System Design and Management

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

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	https://doi.org/10.1109/SysEng.2015.7302769
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

Keywords

automated vehicle
communicating sequential process
model checking
SysML

ASJC Scopus subject areas

Mechanical Engineering
Control and Systems Engineering

Access to Document

10.1109/SysEng.2015.7302769

Fingerprint Dive into the research topics of 'Analysis of a driver and automated driving system interaction using a communicating sequential process'. Together they form a unique fingerprint.

Cite this

Kinoshita, S., Yun, S., Kitamura, N., & Nishimura, H. (2015). Analysis of a driver and automated driving system interaction using a communicating sequential process. In 1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings (pp. 272-277). [7302769] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SysEng.2015.7302769

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

Kinoshita, S, Yun, S, Kitamura, N & Nishimura, H 2015, Analysis of a driver and automated driving system interaction using a communicating sequential process. in 1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings., 7302769, Institute of Electrical and Electronics Engineers Inc., pp. 272-277, 1st IEEE International Symposium on Systems Engineering, ISSE 2015, Rome, Italy, 15/9/28. https://doi.org/10.1109/SysEng.2015.7302769

@inproceedings{087cfa77c5bc49faaae1feea4868517e,

title = "Analysis of a driver and automated driving system interaction using a communicating sequential process",

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.",

keywords = "automated vehicle, communicating sequential process, model checking, SysML",

author = "Satoko Kinoshita and Sunkil Yun and Noriyasu Kitamura and Hidekazu Nishimura",

year = "2015",

month = oct,

day = "21",

doi = "10.1109/SysEng.2015.7302769",

language = "English",

isbn = "9781479919208",

pages = "272--277",

booktitle = "1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "1st IEEE International Symposium on Systems Engineering, ISSE 2015 ; Conference date: 28-09-2015 Through 30-09-2015",

}

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.

T2 - 1st IEEE International Symposium on Systems Engineering, ISSE 2015

Y2 - 28 September 2015 through 30 September 2015

ER -