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
Miscellaneous
No indication
English
Toyota automobiles and unintended acceleration
TIBKAT | 2011
|Sudden Unintended Acceleration Control Auxiliary System for Electric Vehicles
European Patent Office | 2024
|Control of unintended acceleration
IEEE | 2017
|