This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Verifying Cyber-Physical Interactions in Safety-Critical Systems
July-Aug. 2013 (vol. 11 no. 4)
pp. 28-37
Sayan Mitra, University of Illinois at Urbana-Champaign
Tichakorn Wongpiromsarn, Singapore-MIT Alliance for Research and Technology
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 and hours of extensive simulations, manifesting for the first time in a particular physical environment during the competition, which led to a safety violation and its team’s disqualification. With this incident as an example, the authors discuss formalisms and techniques available for safety analysis of cyber-physical systems. They discuss simulation-based approaches, more formal approaches, and the emerging area that attempts to take advantage of both. They highlight these approaches’ merits and limitations and identify open problems, the resolution of which will bolster the development of reliable safety-critical cyber-physical systems.
Index Terms:
Vehicles,Urban areas,Safety,Computer viruses,Verification,Computer security,invariant checking,formal verification,simulation-based verification,autonomous vehicles
Citation:
Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray, "Verifying Cyber-Physical Interactions in Safety-Critical Systems," IEEE Security & Privacy, vol. 11, no. 4, pp. 28-37, July-Aug. 2013, doi:10.1109/MSP.2013.77
Usage of this product signifies your acceptance of the Terms of Use.