Settlement reached in Toyota acceleration cases

[reACTIONary]

6. FYI, Here is a Summary of NASA / JPL's analysis software analysis

of the Toyota Camry electronic throttle control system:

http://flightsoftware.jhuapl.edu/files/2011/FSW11_Gamble.pdf

To really understand the presentation, it is best to watch the video:

#t=1h51m26s

Pretty interesting. Here is the final summary:

Summary: Part of the US DOT investigation of Toyota Sudden Untended Acceleration (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.