Supervisor: Ezio Bartocci
Fault diagnostics for safety-critical Cyber–Physical Systems
Cyber-Physical systems (CPS) continue to bestow fascinating challenges as they have become more complex. Besides, the verification and validation of such systems has become tedious, especially across safetycritical domains. Verification of safety aspects of such systems entails accurate detection and diagnosis of faults. The lack of automated and highly advanced fault diagnostic procedure puts emphasis on the development of new tools and approaches to verify fault tolerance, recoverability, and diagnosability of such systems. This research proposal aims to outline some of the research challenges within fault diagnostics of safety-critical CPS. The proposal strives to address these challenges by designing novel tools and methods to provide automated support for fault localization, failure explanation and debugging in such systems.
1