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.
Simulation-based automated verification of safety-critical chassis-control systems
2008
6 Seiten, 9 Bilder, 5 Tabellen, 7 Quellen
Conference paper
English
Advanced Chassis Control and Automated Driving
Springer Verlag | 2018
|Safety verification of automated driving systems
Online Contents | 2013
|Application of Hardware In The Loop Simulation to Chassis Control Software Verification
SAE Technical Papers | 2009
|Application of hardware in the loop simulation to chassis control software verification
Automotive engineering | 2009
|Object code verification for safety-critical railway control systems
Tema Archive | 2007
|