2016-07-18 08:50 am
Lionel C. Briand SnT centre for Security, Reliability, and Trust, University of Luxembourg
A3.3 Aula

Testing Dynamic Behavior in Executable Software Models – Making Cyber-physical Systems Testable

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

Abstract

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.

Bio