Automated Addition of Fault Recovery to Cyber-physical Component-based Models.

Borzoo Bonakdarpour, Yiyan Lin and Sandeep Kulkarni


In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant componentbased models that encompass a cyber-physical system. We define the notion of fault recovery for cyber-physical component-based models. We also present synthesis constraints that preserve the correctness and cyber-physical nature of a given fault-intolerant model under which recovery can be added. We show that the corresponding synthesis problem is NP-complete and consequently introduce symbolic heuristics to tackle the exponential complexity. Our experimental results validate effectiveness of our heuristics for relatively large models.  


Return to the publication list
Return to the Sandeep's home page