Simulation-Based Automated Verification of Safety-Critical Chassis-Control Systems
Magnus Gäfvert, Johan Hultén, Johan Andréasson, Andreas Junghanns, Jakob Mauss, Mugur Tătar · 2008
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 analysis can be produced to verify system safety and robust performance.