%0 Conference Proceedings
%T Conformance-Based Doping Detection for Cyber-Physical Systems
%+ University of Sheffield [Sheffield]
%+ Department of Computer Science
%+ University of Leicester
%+ Saarland University [Saarbrücken]
%A Dimitrova, Rayna
%A Gazda, Maciej
%A Mousavi, Mohammad, Reza
%A Biewer, Sebastian
%A Hermanns, Holger
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Valletta, Malta
%Y Alexey Gotsman
%Y Ana Sokolova
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-12136
%P 59-77
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50086-3_4
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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. 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03283236/document
%2 https://inria.hal.science/hal-03283236/file/495615_1_En_4_Chapter.pdf
%L hal-03283236
%U https://inria.hal.science/hal-03283236
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-12136