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 component-based 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 t...

Ausführliche Beschreibung