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 :

    19.10.2011


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Toyota Camry

    Kiino, Ron | Online Contents | 2006


    Toyota Camry Test

    Toyota Motor,JP | Kraftfahrwesen | 1987


    Driveline: Toyota Camry

    Sherman,D. / Toyota Motor,JP | Kraftfahrwesen | 2014


    Vorstellung Toyota Camry

    Nunn,P. / Toyota Motor,JP | Kraftfahrwesen | 1990