It’s not that I was suspicious. I have no axe to grind against Toyota and was pleased to read that after a 10-month study, NASA and NHTSA engineers found no electronic flaws in Toyota vehicles capable of causing unintended acceleration.
But I was curious to know how they did it – how they examined and tested mechanical and electronic components and what tools they used to analyze some 280,000 lines of electronic throttle control code.
When they released the findings, NHTSA said NASA hardware and systems engineers examined and tested mechanical components at the Goddard Space Flight Center, NHTSA and NASA engineers bombarded Toyota vehicles with electromagnetic radiation at a facility in Michigan, and NHTSA engineers looked for additional mechanical causes at NHTSA’s research and test center in Ohio. They also worked to determine whether any of the test scenarios developed during the investigation could actually occur in real-world conditions.
Details are available in reports from NHTSA http://www.nhtsa.gov/staticfiles/nvs/pdf/NHTSA-UA_report.pdf and NASA http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf. An executive summary is available at http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA_report_execsum.pdf
NASA used three tools for static analysis of the software code – Coverity (http://coverity.com), Grammatech’s CodeSonar (http://grammatech.com/products/codesonar/overview.html) and Uno (http://spinroot.com/uno/). NASA used the open source verifier Spin, and a preprocessing system, Swarm, for logic model checking, and it used MathWorks’ MATLAB, Simulink, Stateflow, and SystemTest, and Absint’s aiT, for software algorithm design analysis. Should they also have used a dynamic analysis tool? If you take the time to read the full report, let me know your thoughts.
Exonerating electronics leaves sticking accelerator pedals and accelerator pedals trapped by floor mats as the primary causes of unintended acceleration, at least for now. NHTSA and NASA plan to brief members of a National Academy of Sciences panel that is also studying unintended acceleration and electronic throttle control.
And based on their findings, NHTSA may propose rules to require brake override systems, standardize operation of keyless ignition systems, and require the installation of event data recorders. The agency is also planning additional research on the reliability and security of automotive electronic control systems.