NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Logic Model Checking of Unintended Acceleration Claims in the 2005 Toyota Camry Electronic Throttle Control SystemPart 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
Document ID
20150006570
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
Authors
Gamble, Ed
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Holzmann, Gerard
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 23, 2015
Publication Date
October 19, 2011
Subject Category
Systems Analysis And Operations Research
Quality Assurance And Reliability
Meeting Information
Meeting: 2011 Workshop on Spacecraft Flight Software (FSW-11)
Location: Laurel, MD
Country: United States
Start Date: October 19, 2011
End Date: October 21, 2011
Sponsors: Johns Hopkins Univ., Jet Propulsion Lab., California Inst. of Tech., Aerospace Corp., Southwest Research Inst.
Distribution Limits
Public
Copyright
Other
Keywords
Toyota
unintended acceleration
logic model checking

Available Downloads

There are no available downloads for this record.
No Preview Available