@inproceedings{7c3f1264b3164a578db3e4dbbc56158e,
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.",
keywords = "Delta modulation, Fault tolerance, Fault tolerant systems, Mission critical systems, Performance analysis, Real time systems, Safety, Software design, Spine, Stochastic processes",
author = "P. Ballarini and L. Capra and G. Franceschinis and {De Pierro}, M.",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 3rd International Conference on Application of Concurrency to System Design, ACSD 2003 ; Conference date: 18-06-2003 Through 20-06-2003",
year = "2003",
doi = "10.1109/CSD.2003.1207705",
language = "English",
series = "Proceedings - International Conference on Application of Concurrency to System Design, ACSD",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "111--121",
editor = "Felice Balarin and Machado, {Ricardo J.} and Johan Lilius",
booktitle = "Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003",
address = "United States",
}