Department Seminar Series

Is Your Car Cheating on You? Doping Detection in Cyber-Physical Systems

10th March 2021, 13:00 add to calenderMicrosoft Teams
Prof. Mohammad Mousavi
Department of Informatics, University of Leicester

Abstract

We will start with a broad overview of our research philosophy on trust in autonomous systems. We will review some of the ongoing projects at our group in this context. Subsequently, we present a novel notion of doping cleanness for cyber-physical systems. This notion allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing techniques for conformance testing and runtime monitoring for cyber-physical systems. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests. We report on the doping detection results on the NOx emission of a particular diesel vehicle.

The talk is based on joint work with the following people:
Sebastian Biewer (Saarland University), Rayna Dimitrova (CISPA Saarbrücken), Michael Fris (Automotive Powertrain HTW Saar), Maciej Gazda (University of Sheffield), Thomas Heinze (Automotive Powertrain HTW Saar), and Holger Hermanns (Saarland University)

add to calender (including abstract)

Biography

Mohammad Reza Mousavi is the chair in Data-Oriented Software Engineering ath the University of Leicester. Previously, he held positions in Sweden (Halmstad and Chalmers), The Netherlands (TU Eindhoven and TU Delft) and Iceland (Reykjavik).
He has led various research grants from the British, Swedish, and Icelandic funding agencies on testing robotics and autonomous systems at the foundational and applied level, involving industrial sectors such as transport and healthcare. Currently, he is the principal investigator of the UKRI Trustworthy Autonomous Systems Node on Verifiability. His main research interest is in testing, particularly of variability-intensive and cyber-physical systems. Mohammad's impact area is in testing robotic and autonomous systems.

Web page: http://bit.ly/MohammadMousavi