Visible to the public Data-Driven Safety Verification of Complex Cyber-Physical SystemsConflict Detection Enabled

TitleData-Driven Safety Verification of Complex Cyber-Physical Systems
Publication TypeBook Chapter
Year of Publication2019
AuthorsChuchu Fan, Sayan Mitra
Secondary AuthorsAl Faruque, Mohammad Abdullah, Canedo, Arquimedes
Book TitleDesign Automation of Cyber-Physical Systems
PublisherSpringer International Publishing
ISBN Number978-3-030-13050-3
Keywords2019: October, Metrics, Resilient Architectures, Resilient Control of Cyber-Physical Systems with Distributed Learning, UIUC

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.

Citation KeyFan2019