A framework for analysing driver interactions with semi-autonomous vehicles

Date of this Version


Document Type

Conference Paper

Publication Details

Published version

Shaikh, S., & Krishnan, P. (2012). A framework for analysing driver interactions with semi-autonomous vehicles. Paper presented at the FTSCS 2012- First International Workshop on Formal Techniques for Safety-Critical Systems, 12 Nov, Kyoto, Japan

Access the conference

2012 HERDC submission. FoR code: 080309

© Copyright Shaikh, S.A. and Krishnan, P. under the Creative Commons Attribution License, 2012


Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence of the human (drivers) in the control loop. To ensure safety, both the driver needs to be aware of the autonomous aspects of the vehicle and the automated features of the vehicle built to enable safer control. In this paper we propose a framework to combine empirical models describing human behaviour with the environment and system models. We then analyse, via model checking, interaction between the models for desired safety properties. The aim is to analyse the design for safe vehicle-driver interaction. We demonstrate the applicability of our approach using a case study involving semi-autonomous vehicles where the driver fatigue is a factor critical to a safe journey.



This document has been peer reviewed.