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 :

    2012-09-18


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Toyota automobiles and unintended acceleration

    Orrigo, Craig A. | TIBKAT | 2011


    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

    SUDDEN UNINTENDED ACCELERATION PREVENTION APPARATUS

    KIM TAE SANG | Europäisches Patentamt | 2017

    Freier Zugriff