Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models

P. BALLARINI; L. CAPRA; M. DE PIERRO; Giuliana Annamaria FRANCESCHINIS

doi:10.1109/CSD.2003.1207705

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models

P. BALLARINI
, L. CAPRA
, M. DE PIERRO
, Giuliana Annamaria FRANCESCHINIS

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer 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 originale	Inglese
DOI	https://doi.org/10.1109/CSD.2003.1207705
Stato di pubblicazione	Pubblicato - 2003
Evento	3rd International Conference on Application of Concurrency to System Design - ACSD 2003 - Guimaraes, Portugal Durata: 1 gen 2003 → …

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

???event.eventtypes.event.conference???	3rd International Conference on Application of Concurrency to System Design - ACSD 2003
Città	Guimaraes, Portugal
Periodo	1/01/03 → …

Accesso al documento

10.1109/CSD.2003.1207705

http://hdl.handle.net/11579/18415

Altri file e collegamenti

handle

Cita questo

@conference{37180b050a6d4d2a8101ca2da2ea2c45,

title = "Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models",

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.",

author = "P. BALLARINI and L. CAPRA and PIERRO, \{M. DE\} and FRANCESCHINIS, \{Giuliana Annamaria\}",

year = "2003",

doi = "10.1109/CSD.2003.1207705",

language = "English",

note = "3rd International Conference on Application of Concurrency to System Design - ACSD 2003 ; Conference date: 01-01-2003",

}

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. / BALLARINI, P.; CAPRA, L.; PIERRO, M. DE et al.
2003. Articolo presentato al 3rd International Conference on Application of Concurrency to System Design - ACSD 2003, Guimaraes, Portugal.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models

AU - BALLARINI, P.

AU - CAPRA, L.

AU - PIERRO, M. DE

AU - FRANCESCHINIS, Giuliana Annamaria

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - https://iris.uniupo.it/handle/11579/18415

U2 - 10.1109/CSD.2003.1207705

DO - 10.1109/CSD.2003.1207705

M3 - Paper

T2 - 3rd International Conference on Application of Concurrency to System Design - ACSD 2003

Y2 - 1 January 2003

ER -

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models

Abstract

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo