NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Logic Model Checking of Unintended Acceleration Claims in Toyota VehiclesPart 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
Document ID
20150004650
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)
Date Acquired
April 8, 2015
Publication Date
September 18, 2012
Subject Category
Quality Assurance And Reliability
Systems Analysis And Operations Research
Meeting Information
Meeting: International Council on Systems Engineering (INCOSE) - LA Chapter Monthly Speaker Meeting
Location: Los Angeles, CA
Country: United States
Start Date: September 18, 2012
Sponsors: International Council on Systems Engineering (INCOSE) Foundation
Distribution Limits
Public
Copyright
Other
Keywords
sudden unintended acceleration
engine control systems
Toyota acceleration

Available Downloads

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