Paper Info
Title
Towards specification, modelling and analysis of fault tolerance in self managed systems
Abstract
In this paper we describe initial ideas about modeling and analyzing fault tolerance mechanisms in self managed/self healing systems. Specifications are component based, with coordination mechanisms for building systems from components. A modal action logic is augmented with deontic operators to describe normal vs abnormal behaviours. Fault tolerance mechanisms can be specified in terms of the kind of abnormality encountered and the desired recovery route. Abstract programming models can be systematically constructed from the specifications in LTSA, a finite state, process algebra based modeling tool. LTSA then enables us to check that various properties do or do not hold for the specified fault tolerance mechanisms.
Year
DOI
Venue
2006
10.1145/1137677.1137684
SEAMS@ICSE
Field
DocType
ISBN
Deontic logic,Programming paradigm,Software fault tolerance,Finite state,Fault tolerance,Operator (computer programming),Engineering,Process calculus,Reliability engineering,Modal
Conference
1-59593-403-0
Citations 
PageRank 
References 
19
0.99
13
Authors
2
Name
Order
Citations
PageRank
Jeff Magee185230.75
Tom Maibaum228131.90