Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2009-05-25
Computer Science
Distributed, Parallel, and Cluster Computing
(bibliography update)
Scientific paper
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this context is to ensure that user-selected mechanisms for the system model are sufficient to resist faults as specified in the underlying fault hypothesis. In this paper, formal approaches in verification are proposed to assist the claim. We first raise the precision of FTOS into pure mathematical constructs, and formulate the deterministic assumption, which is necessary as an extension of Giotto-like systems (e.g., FTOS) to equip with fault-tolerance abilities. We show that local properties of a system with the deterministic assumption will be preserved in a modified synchronous system used as the verification model. This enables the use of techniques known from hardware verification. As for implementation, we develop a prototype tool called FTOS-Verify, deploy it as an Eclipse add-on for FTOS, and conduct several case studies.
Buckl Christian
Cheng Chih-Hong
Esparza Javier
Knoll Alois
No associations
LandOfFree
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-294220