Sebastian Biewer ; Rayna Dimitrova ; Michael Fries ; Maciej Gazda ; Thomas Heinze et al.
-
Conformance Relations and Hyperproperties for Doping Detection in Time
and Space
Conformance Relations and Hyperproperties for Doping Detection in Time
and Space
Authors: Sebastian Biewer ; Rayna Dimitrova ; Michael Fries ; Maciej Gazda ; Thomas Heinze ; Holger Hermanns ; Mohammad Reza Mousavi
NULL##NULL##NULL##NULL##NULL##NULL##NULL
Sebastian Biewer;Rayna Dimitrova;Michael Fries;Maciej Gazda;Thomas Heinze;Holger Hermanns;Mohammad Reza Mousavi
We present a novel and generalised notion of doping cleanness for
cyber-physical systems that allows for perturbing the inputs and observing the
perturbed outputs both in the time- and value-domains. We instantiate our
definition using existing notions of conformance for cyber-physical systems. As
a formal basis for monitoring conformance-based cleanness, we develop the
temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace
quantifiers and a freeze operator. 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.
Power to the People. Verified.; Funder: European Commission; Code: 695614
1 Document citing this article
Source : OpenCitations
Biewer, Sebastian; Hermanns, Holger, 2022, On The Detection Of Doped Software By Falsification, Fundamental Approaches To Software Engineering, pp. 71-91, 10.1007/978-3-030-99429-7_4.