Memory fault tolerance software mechanisms: design and configuration support through SWN models

P. Ballarini, L. Capra, G. Franceschinis, M. De Pierro

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

We present 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. 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.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
EditorFelice Balarin, Ricardo J. Machado, Johan Lilius
EditoreInstitute of Electrical and Electronics Engineers Inc.
Pagine111-121
Numero di pagine11
ISBN (elettronico)0769518877
DOI
Stato di pubblicazionePubblicato - 2003
Evento3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal
Durata: 18 giu 200320 giu 2003

Serie di pubblicazioni

NomeProceedings - International Conference on Application of Concurrency to System Design, ACSD
Volume2003-January
ISSN (stampa)1550-4808

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Paese/TerritorioPortugal
CittàGuimaraes
Periodo18/06/0320/06/03

Fingerprint

Entra nei temi di ricerca di 'Memory fault tolerance software mechanisms: design and configuration support through SWN models'. Insieme formano una fingerprint unica.

Cita questo