Title :
Formal methods for semi-autonomous driving
Author :
Seshia, Sanjit A. ; Sadigh, Dorsa ; Sastry, S. Shankar
Author_Institution :
UC Berkeley, Berkeley, CA, USA
Abstract :
We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on semi-autonomous vehicles. We identify unique characteristics of formal modeling, specification, verification and synthesis in this domain. Some initial results and design principles are presented along with directions for future work.
Keywords :
formal specification; formal verification; road vehicles; traffic engineering computing; cyber-physical system design; cyber-physical system specification; cyber-physical system verification; design principles; formal methods; formal specification; formal synthesis; formal verification; human cyber-physical systems; semiautonomous driving; semiautonomous vehicles; Automation; Computational modeling; Control systems; Data models; Sensors; Vehicles; Formal verification; automotive systems; control; cyber-physical systems; semi-autonomous driving; synthesis;
Conference_Titel :
Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE
Conference_Location :
San Francisco, CA
DOI :
10.1145/2744769.2747927
