Title :
Memory fault tolerance software mechanisms: design and configuration support through SWN models
Author :
Ballarini, P. ; Capra, L. ; Franceschinis, G. ; De Pierro, M.
Author_Institution :
Dipt. di Inf., Torino Univ., Italy
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 :
Petri nets; configuration management; distributed memory systems; software fault tolerance; DEPAUDE; DM model; European project; ISIDE; Italian project; SWN model; TIRAN; configuration support; distributed memory; literature behaviour notion; software fault tolerance mechanism; stochastic well formed nets; Delta modulation; Fault tolerance; Fault tolerant systems; Mission critical systems; Performance analysis; Real time systems; Safety; Software design; Spine; Stochastic processes;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207705
