Title: Conformance Testing as a Tool for Designing Connected Vehicle Functions

Abstract: Connected and Autonomous Vehicles (CAV) are taking a central position in the landscape of intelligent mobility and their rigorous verification and validation is one of the main challenges in their public adoption and social acceptance. Conformance testing is a rigorous verification technique that has been widely tried in various critical applications. In this talk, we examine the adaptations and extensions of the notions of conformance and model-based testing techniques to the domain of cyber-physical systems that make them suitable for application in the CAV domain. We present how the extended techniques can be used in the design of connected vehicle functions and verify various design decisions.

Bio:

Mohammad Mousavi holds the chair of Data-Driven Software Engineering at the School of Informatics, University of Leicester. Prior to that he has held positions at Eindhoven University of Technology, Reykjavik University, Delft University of Technology, Halmstad University, and Chalmers / University of Gothenburg.  Mohammad's main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems.