Part of the US Department of Transportation investigation of Toyota sudden unintended acceleration (SUA) involved analysis of the throttle control software, JPL Laboratory for Reliable Software applied several techniques including static analysis and logic model checking, to the software; A handful of logic models were build, 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 Toyota Vehicles
International Council on Systems Engineering (INCOSE) - LA Chapter Monthly Speaker Meeting ; 2012 ; Los Angeles, CA, United States
2012-09-18
Sonstige
Keine Angabe
Englisch
Toyota automobiles and unintended acceleration
TIBKAT | 2011
|Control of unintended acceleration
IEEE | 2017
|