Title :
Verifying Cyber-Physical Interactions in Safety-Critical Systems
Author :
Mitra, Subhasish ; Wongpiromsarn, Tichakorn ; Murray, Richard M.
Abstract :
Safety-compromising bugs in software-controlled systems are often hard to detect. In a 2007 DARPA Urban Challenge vehicle, such a defect remained hidden during more than 300 miles of test-driving, manifesting for the first time during the competition. With this incident as an example, the authors discuss formalisms and techniques available for safety analysis of cyber-physical systems.
Keywords :
control engineering computing; program debugging; road safety; safety-critical software; traffic engineering computing; 2007 DARPA Urban Challenge vehicle; cyber-physical interactions; cyber-physical systems; safety analysis; safety-compromising bugs; safety-critical systems; software-controlled systems; Computer security; Computer viruses; Safety; Urban areas; Vehicles; Verification; autonomous vehicles; formal verification; invariant checking; simulation-based verification;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2013.77
