Automated Addition of Fault Recovery to Cyber-physical Component-based Models.
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