Part of the US DOT investigation of Toyota SUA involved analysis of the throttle control software. JPL LaRS applied several techniques, including static analysis and logic model checking, to the software. A handful of logic models were built. Some weaknesses were identified; however, no cause for SUA was found. The full NASA report includes numerous other analyses
Logic Model Checking of Unintended Acceleration Claims in the 2005 Toyota Camry Electronic Throttle Control System
2011 Workshop on Spacecraft Flight Software (FSW-11) ; 2011 ; Laurel, MD, United States
2011-10-19
Miscellaneous
No indication
English
Automotive engineering | 1987
|Online Contents | 2006
|Online Contents | 2003
Online Contents | 1997