Data-Driven Safety Verification of Complex Cyber-Physical Systems

TitleData-Driven Safety Verification of Complex Cyber-Physical Systems
Publication TypeBook Chapter
Year of Publication2019
AuthorsFan C, Mitra S
EditorFaruque MAbdullah A, Canedo A
Book TitleDesign Automation of Cyber-Physical Systems
PublisherSpringer International Publishing
ISBN Number978-3-030-13050-3

Data-driven verification methods utilize execution data together with models for establishing safety requirements. These are often the only tools available for analyzing complex, nonlinear cyber-physical systems, for which purely model-based analysis is currently infeasible. In this chapter, we outline the key concepts and algorithmic approaches for data-driven verification and discuss the guarantees they provide. We introduce some of the software tools that embody these ideas and present several practical case studies demonstrating their application in safety analysis of autonomous vehicles, advanced driver assist systems (ADAS), satellite control, and engine control systems.