Disclaimer

CISPA is currently in the founding process to join the German Helmholtz Association as a new member. It is consequently undergoing significant organizational changes, which are not yet reflected on this webpage.

For further information on the above mentioned founding process, please refer to the official press release by the State Chancellery of Saarland.

Recent News on the Transformation Process

24.10.2017

The location of the first construction phase has been agreed upon. For further information, please refer to the official press release .

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