Part 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


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Logic Model Checking of Unintended Acceleration Claims in Toyota Vehicles


    Contributors:
    Gamble, Ed (author)

    Conference:

    International Council on Systems Engineering (INCOSE) - LA Chapter Monthly Speaker Meeting ; 2012 ; Los Angeles, CA, United States


    Publication date :

    2012-09-18


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Toyota automobiles and unintended acceleration

    Orrigo, Craig A. | TIBKAT | 2011


    Sudden Unintended Acceleration Control Auxiliary System for Electric Vehicles

    CHA MAN HOI | European Patent Office | 2024

    Free access

    Control of unintended acceleration

    Jagan, Mariappan S V / Saahith, P / Vishnu, Raja M | IEEE | 2017


    SUDDEN UNINTENDED ACCELERATION PREVENTION DEVICE

    KIM JOUNG WOOK / LEE SUNG CHAN / KIM TEA WOO et al. | European Patent Office | 2016

    Free access