This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional construction of models of the DM and of the environment in which it operates, expressed in the Stochastic Well Formed Nets (SWN) formalism. Different versions of submodels, at different detail level are presented and compared using some behaviour inheritance notions taken from the literature.
Memory fault tolerance software mechanisms: design and configuration support through SWN models / P. Ballarini, L. Capra, G. Franceschinis, M. De Pierro - In: ACSD 2003 : third international conference on application of concurrency to system design : proceedings : 18-20 june, 2003, Guimarães, Portugal / [a cura di] J. Lilius, F. Balarin, R. J. Machado. - Los Alamitos : IEEE Computer Society, 2003. - ISBN 0769518877. - pp. 111-121 (( Intervento presentato al 3. convegno International Conference on Application of Concurrency to System Design tenutosi a Guimaraes, Portugal nel 2003 [10.1109/CSD.2003.1207705].
Memory fault tolerance software mechanisms: design and configuration support through SWN models
L. CapraPrimo
;
2003
Abstract
This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional construction of models of the DM and of the environment in which it operates, expressed in the Stochastic Well Formed Nets (SWN) formalism. Different versions of submodels, at different detail level are presented and compared using some behaviour inheritance notions taken from the literature.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
