Published July 2013
| Version public
Journal Article
Verifying Cyber-Physical Interactions in Safety-Critical Systems
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.
Additional Information
© 2013 IEEE. Copublished by the IEEE Computer and Reliability Societies. This research was partially supported by US Air Force Office of Scientific Research (AFOSR) through the Multidisciplinary University Research Initiative (MURI) program and a research grant from the National Science Foundation (1016791).Additional details
Identifiers
- Eprint ID
- 41344
- Resolver ID
- CaltechAUTHORS:20130916-113727132
Funding
- Air Force Office of Scientific Research (AFOSR)
- NSF
- CNS-1016791
Dates
- Created
-
2013-09-16Created from EPrint's datestamp field
- Updated
-
2021-11-10Created from EPrint's last_modified field