Introduction of driver's delay into 'model checking' for verification of safe interactions between a driver and an automated driving system

Satoko Kinoshita, Hidekazu Nishimura, Sunkil Yun, Noriyasu Kitamura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This study introduces the behavior of human driver's delay in model checking to verify the interaction between a driver and an automated driving system (ADS). An ADS interacts with humans, including other drivers and pedestrians to ensure safety on roads. In particular, human drivers and Level 3 ADSs must take control of the vehicle when the safety may be compromised. Since human driver behavior is sometimes unpredictable, it may cause accidents with other automated vehicles which are on the same roads even though automated vehicles have been introduced to decrease accidents. Hence, the interaction of automated vehicles with human drivers and their behavior should be taken into consideration to better understand when the interactions might fail. We make a model using communicating sequential processes (CSP) to analyze those interactions based on the architecture of the system of systems related to automated vehicles with SysML (Systems Modeling Language). By using CSP that is used to analyze processes of a concurrent system, interactions among the ADS and the driver behavior concurrently during driving can be learned. Wait processes and atomic processes on CSP are utilized to express the driver's processes with delay or without any delay. We demonstrate that the CSP model can express the driver's delay and model checking can verify the interactions among the ADS and the driver behavior.

Original languageEnglish
Title of host publicationISSE 2016 - 2016 International Symposium on Systems Engineering - Proceedings Papers
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509007936
DOIs
Publication statusPublished - 2016 Nov 22
Event2nd Annual IEEE International Symposium on Systems Engineering, ISSE 2016 - Edinburgh, United Kingdom
Duration: 2016 Oct 32016 Oct 5

Other

Other2nd Annual IEEE International Symposium on Systems Engineering, ISSE 2016
CountryUnited Kingdom
CityEdinburgh
Period16/10/316/10/5

Keywords

  • automated vehicles
  • communicating sequential processes
  • model checking
  • safety

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation

Fingerprint Dive into the research topics of 'Introduction of driver's delay into 'model checking' for verification of safe interactions between a driver and an automated driving system'. Together they form a unique fingerprint.

  • Cite this

    Kinoshita, S., Nishimura, H., Yun, S., & Kitamura, N. (2016). Introduction of driver's delay into 'model checking' for verification of safe interactions between a driver and an automated driving system. In ISSE 2016 - 2016 International Symposium on Systems Engineering - Proceedings Papers [7753187] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SysEng.2016.7753187