Part 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


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Logic Model Checking of Unintended Acceleration Claims in the 2005 Toyota Camry Electronic Throttle Control System


    Contributors:

    Conference:

    2011 Workshop on Spacecraft Flight Software (FSW-11) ; 2011 ; Laurel, MD, United States


    Publication date :

    2011-10-19


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Toyota Camry Test

    Toyota Motor,JP | Automotive engineering | 1987


    Toyota Camry

    Kiino, Ron | Online Contents | 2006


    Rij-impressie Toyota Camry

    Online Contents | 2003


    Rij-impressie Toyota Camry

    Online Contents | 1997