FaultEx: Explaining operational changes in terms of design variables in CPS control code

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

1 Scopus citations

Abstract

Complexities arising from interaction between multiple inter-connected components in an autonomous cyber-physical system can potentially result in differences in intended and observed operations of a cyber-physical system. To perform fault analysis of a CPS, it is imperative to explain this discrepancy in terms of the components of the cyber-physical system's control code. This paper proposes FaultEx framework that derives a hybrid system representation of the cyber-physical system operation in deployment from the observed input/output traces and matches it with a finite state machine based simplification of the CPS code. Discrepancy in system's operational behavior can then be explained in terms of call conditions as binary or unary operations on input and output variables and status of function call arguments. Usage of FaultEx on two different heavy vehicle braking system emulation platform shows that it can identify new modes and timed transitions in CPS code.

Original languageEnglish (US)
Title of host publicationProceedings - 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages485-490
Number of pages6
ISBN (Electronic)9781728162072
DOIs
StatePublished - May 10 2021
Externally publishedYes
Event4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021 - Virtual, Online
Duration: May 10 2021May 13 2021

Publication series

NameProceedings - 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021

Conference

Conference4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021
CityVirtual, Online
Period5/10/215/13/21

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Hardware and Architecture
  • Industrial and Manufacturing Engineering
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'FaultEx: Explaining operational changes in terms of design variables in CPS control code'. Together they form a unique fingerprint.

Cite this