Model-based Testing of Mechatronic Systems (TESTRON)

Purpose and goal

In the transition to electrified and self-driving cars, high car safety and functional availability as well as fast lead times are necessary. The goal of the project has been to reduce development costs and increase the quality of software that controls mechatronic components in the car. The work focused particularly on, through research and close collaboration between industry and academia, developing advanced test methods in simulated environments.

Expected results and effects

Results include: 1. Automatic generation of test cases that increase the coverage for safety requirements connected to electric powertrains. 2. Automatic calibration of control software and diagnostics for high-voltage batteries that save many man-hours for each software release and increase functional availability in the car. 3. Close collaboration with the SyTec project (systematictesting.org), funded by the Swedish Research Council, which resulted in various synergy effects. 4. A doctoral thesis and 10 publications published in scientific journals and conferences.

Planned approach and implementation

The project was divided into four work packages: 1) Benchmarking of various test tools used to automatically generate test cases. The test tool Breach (github.com/decyphir/breach) was chosen as the most suitable for our purposes. 2) Translation of requirements used by engineers into mathematical models required by Breach. 3) Research on different algorithms and further development of Breach to be able to generate test cases in a much more effective way. 4) Apply the implemented methods to practical cases in simulated environments, particularly MIL and HIL.