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

fYear

2003

Firstpage

111

Lastpage

121

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on

Print_ISBN

0-7695-1887-7

Type

conf

DOI

10.1109/CSD.2003.1207705

Filename

1207705