Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective

Authors:
Sailesh Kandula;Tridib Mukherjee;Sandeep K. S. Gupta
Affiliations:
Arizona State University, Tempe, AZ;Arizona State University, Tempe, AZ;Arizona State University, Tempe, AZ
Venue:
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Year:
2011

Citing 3
Cited 0

Model-based probabilistic collision detection in autonomous driving

IEEE Transactions on Intelligent Transportation Systems
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09

Quantified Score

Hi-index	0.00

Visualization

Abstract

Safety certification of Autonomous Vehicles (AVs) require guarantees on AVs' safety at design time. To this effect, this paper proposes modeling abstractions that allow architectural representation of AVs and their surroundings, i.e. representation of different components, and enable safety analysis from such representation without requiring any expertise on formal methods. Toward this direction, AVs are considered as Cyber-Physical Systems with Mobile computing nodes (MCPS), where each node (i.e. an AV) can have intentional (as determined by AVs' controller) and unintentional (e.g., in case of skids) motion characteristics depending on the physical environment (e.g. road condition). The modeling abstractions are used to analyze safety of passengers in an AV that collides with guard rail due to skid along a curved segment on the AZ-83 highway.