@inproceedings{275a78469e3344e0acd6c3dbdf13112a,
title = "CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes",
abstract = "The operational characteristics of a cyber-physical system (CPS) may deviate from the certified system due to intended (in case of cheating) or unintended (wear and tear) reasons. A modification suggested to the original certification process requires the CPS operation to satisfy a contract that allows for testing the CPS deployment with variations of the standard test case. Doping test is then utilized to attempt to derive a test case that satisfies the input contract but violates the output regulations. Although a significant step towards verifying oper-ational characteristics of CPS, the search mechanism in doping test is only limited to the input space of the cyber subsystem and ignores the characteristics of the dynamic interactions in a CPS. This results in test cases that are practically unfeasible for the CPS to replicate. This paper proposes CyPhyTest that makes test case search aware of the multidimensional interactions between the cyber and physical subsystems and addresses practical dynamical system problems like Zeno behavior and dynamical model divergence. CyPhyTest, dynamically modulates the input search space by predicting and limiting input variations that can potentially cause divergence or Zeno behavior. We show the usage of the CyPhyTest framework in identifying a contract violating test case for an automobile emission control system equipped with a Volkswagen-like cheating device.",
keywords = "Cyber-physical systems, software doping, testing",
author = "Aranyak Maity and Ayan Banerjee and Imane Lamrani and Gupta, {Sandeep K.S.}",
note = "Funding Information: *This project is partly funded by a DARPA AMP grant. Publisher Copyright: {\textcopyright} 2022 IEEE.; 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022 ; Conference date: 24-05-2022 Through 26-05-2022",
year = "2022",
doi = "https://doi.org/10.1109/ICPS51978.2022.9816911",
language = "English (US)",
series = "Proceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022",
}