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


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Logic Model Checking of Unintended Acceleration Claims in Toyota Vehicles


    Beteiligte:
    Gamble, Ed (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    18.09.2012


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Toyota automobiles and unintended acceleration

    Orrigo, Craig A. | TIBKAT | 2011


    Sudden Unintended Acceleration Control Auxiliary System for Electric Vehicles

    CHA MAN HOI | Europäisches Patentamt | 2024

    Freier Zugriff

    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. | Europäisches Patentamt | 2016

    Freier Zugriff