Lionel C. Briand
SnT centre for Security, Reliability, and Trust, University of Luxembourg
Title : Testing Dynamic Behavior in Executable Software Models – Making Cyber-physical Systems Testable
Building: A3 3, Aula
This talk focuses on the automated, scalable testing of systems exhibiting dynamic behaviour. Such dynamic behaviour is typically found in cyber-physical systems, such as control systems or driver-assistance systems. What is meant with such behaviour is that inputs are signals over time and the output properties to be checked are time-dependent specifying how property values change over time, independently or together.
Novel and general solutions will be presented for Model-In-the-Loop (MIL) testing — a common practice in the embedded software industry — and results from Simulink models in the automotive domain will be presented. Beyond this scope, more complex situations will be considered and future research plans will be outlined.