CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes

Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K.S. Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781665497701
DOIs
StatePublished - 2022
Event5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022 - Virtual, Online, United Kingdom
Duration: May 24 2022May 26 2022

Publication series

NameProceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022

Conference

Conference5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022
Country/TerritoryUnited Kingdom
CityVirtual, Online
Period5/24/225/26/22

Keywords

  • Cyber-physical systems
  • software doping
  • testing

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Software
  • Information Systems and Management
  • Industrial and Manufacturing Engineering
  • Control and Optimization

Fingerprint

Dive into the research topics of 'CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes'. Together they form a unique fingerprint.

Cite this