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


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Gamble, Ed (Autor:in) / Holzmann, Gerard (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    2011-10-19


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Toyota Camry Test

    Toyota Motor,JP | Kraftfahrwesen | 1987


    Toyota Camry

    Kiino, Ron | Online Contents | 2006


    Rij-impressie Toyota Camry

    Online Contents | 2003


    Rij-impressie Toyota Camry

    Online Contents | 1997