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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2008


    Size :

    6 Seiten, 9 Bilder, 5 Tabellen, 7 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 | Automotive engineering | 2009


    Object code verification for safety-critical railway control systems

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