DocumentCode :
2130394
Title :
Automated addition of fault recovery to cyber-physical component-based models
Author :
Bonakdarpour, Borzoo ; Lin, Yiyan ; Kulkarni, Sandeep S.
Author_Institution :
Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
fYear :
2011
fDate :
9-14 Oct. 2011
Firstpage :
127
Lastpage :
136
Abstract :
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 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.
Keywords :
computational complexity; fault tolerant computing; system recovery; NP-complete; automated addition; automated synthesis; cyber-physical component-based model; cyber-physical system; exponential complexity; fault recovery; fault-intolerant component-based model; fault-intolerant model; Computational modeling; Educational institutions; Fault tolerance; Fault tolerant systems; Protocols; Receivers; System recovery; Component-based modeling; Correctness-by-construction; Cyber-physical systems; Fault-tolerance; Recovery; Synthesis; Transformation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on
Conference_Location :
Taipei
Print_ISBN :
978-1-4503-0714-7
Type :
conf
Filename :
6064519
Link To Document :
بازگشت