@inproceedings{e8c921224e7249f09f283344d1881b06,
title = "FaultEx: Explaining operational changes in terms of design variables in CPS control code",
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.",
author = "Ayan Banerjee and Imane Lamrani and Gupta, {Sandeep K.S.}",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021 ; Conference date: 10-05-2021 Through 13-05-2021",
year = "2021",
month = may,
day = "10",
doi = "10.1109/ICPS49255.2021.9468161",
language = "English (US)",
series = "Proceedings - 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "485--490",
booktitle = "Proceedings - 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021",
}