Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Towards specification, modelling and analysis of fault tolerance in self managed systems
@INPROCEEDINGS{mm06,
title = {{Towards specification, modelling and analysis of fault tolerance in self managed systems}},
author = {{Jeff} {Magee} and {Tom} {Maibaum}},
booktitle = {SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems},
pages = {30--36},
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.},
publisher = {ACM Press},
year = {2006},
url = {http://rap.dsi.unifi.it/sensoriasite/p30-magee.pdf},
address = {New York},
isbn = {1-59593-403-0},
main = {Y},
partner = {LSS-ICL},
status = {public},
task = {T6.1},
}
|
