Sciweavers

Share
ICDCSW
2008
IEEE

Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study

10 years 4 months ago
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fault-tolerance aspect to automated techniques that guarantee correctness by construction. Automated addition of fault-tolerance is expected to be more successful if it is done under the hood, i.e., where the designer can continue to utilize existing tools and the addition of fault-tolerance is orthogonal to the tools that they use. This will reduce the learning curve for adding fault-tolerance as well as make addition of fault-tolerance across different design tools. With this motivation, in this paper, we focus on automated addition of fault-tolerance to the SCR tools. We illustrate our approach using two case studies: an altitude switch controller and an automobile cruise controller.
Fuad Abujarad, Sandeep S. Kulkarni
Added 30 May 2010
Updated 30 May 2010
Type Conference
Year 2008
Where ICDCSW
Authors Fuad Abujarad, Sandeep S. Kulkarni
Comments (0)
books