This paper presents and exemplifies a novel methodology to perform simulation-based automated testing for verification of complex chassis-control systems. The methods are derived from computer-game principles and regard the system under test as an opponent that is defeated when the specification is violated. The methodology is demonstrated on an auto-coding implementation of a brake-blending function for a heavy vehicle, in combination with a simulation model implemented in Modelica. It is shown that a vast number of scenarios can be analyzed with moderate manual effort, and that results corresponding to high-coverage FMEA/FTA (Failure Mode and Effect Analysis)/(Fault Tree Analysis) analysis can be produced to verify system safety and robust performance.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Simulation-based automated verification of safety-critical chassis-control systems


    Beteiligte:
    Gäfvert, Magnus (Autor:in) / Hulten, Johan (Autor:in) / Andreasson, Johan (Autor:in) / Junghanns, Andreas (Autor:in) / Mauss, Jakob (Autor:in) / Tatar, Mugur (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    6 Seiten, 9 Bilder, 5 Tabellen, 7 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Advanced Chassis Control and Automated Driving

    Nagai, Masao / Raksincharoensak, Pongsathorn | Springer Verlag | 2018


    Safety verification of automated driving systems

    Kianfar, Roozbeh | Online Contents | 2013



    Application of hardware in the loop simulation to chassis control software verification

    Monsma,W. / Honda Res.a.Dev.Americas,US | Kraftfahrwesen | 2009


    Object code verification for safety-critical railway control systems

    Peleska, Jan / Haxthausen, Anne E. | Tema Archiv | 2007