loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
Guimar?es, Portugal
June 18-June 20
ISBN: 0-7695-1887-7
ASCII Text
x 
 
P. Ballarini, L. Capra, G. Franceschinis, M. De Pierro, "Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models," Application of Concurrency to System Design, International Conference on, pp. 111, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2003.1207705,
author = {P. Ballarini and L. Capra and G. Franceschinis and M. De Pierro},
title = {Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1887-7},
pages = {111},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207705},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
SN - 0-7695-1887-7
SP
EP
A1 - P. Ballarini,
A1 - L. Capra,
A1 - G. Franceschinis,
A1 - M. De Pierro,
PY - 2003
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
P. Ballarini, Università di Torino
L. Capra, Univeristà di Milano
G. Franceschinis, Univeristà Piemonte Orientale
M. De Pierro, Univeristà Piemonte Orientale
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.
Citation:
P. Ballarini, L. Capra, G. Franceschinis, M. De Pierro, "Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models," acsd, pp.111, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.