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

by Lionel Briand (University of Luxembourg)

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.

Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. He also acts as vice-director of the centre. Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 20 years.

Until moving to Luxembourg in January 2012, he was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA.

Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems. He was recently granted the IEEE Computer Society Harlan Mills award and the IEEE Reliability Society engineer-of-the-year award for his work on model-based verification and testing. In 2016, he was also the recipient of an ERC Advanced grant from the European Commission. His research interests include: software testing and verification, model-driven software development, search-based software engineering, and empirical software engineering.

Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). Also Lionel Briand is a keynote speaker at ISSTA 2016.