This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on the UML specification (produced within the project), Stochastic Well-Formed Nets models of the DM are developed and analysed. Combinatorial methods are used in conjunction with state space based methods to study the impact of the mechanism configuration on its reliability and performance.
Performance and dependability analysis of fault-tolerant memory mechanisms using stochastic well-formed nets / P. Ballarini, L. Capra, G. Franceschinis - In: Computer and Information Sciences, ISCIS 2004 : 19th international symposium, Kemer-Antalya, Turkey, october 27-29, 2004 : proceedings / [a cura di] C, Aykanat, T. Dayar, I. Korpeoglu. - Berlin : Springer, 2004. - ISBN 9783540235262. - pp. 553-563 (( Intervento presentato al 19. convegno Computer and Information Sciences - ISCIS tenutosi a Kemer-Antalya, Turkey nel 2004 [10.1007/978-3-540-30182-0_56].
Performance and dependability analysis of fault-tolerant memory mechanisms using stochastic well-formed nets
L. CapraPrimo
;
2004
Abstract
This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on the UML specification (produced within the project), Stochastic Well-Formed Nets models of the DM are developed and analysed. Combinatorial methods are used in conjunction with state space based methods to study the impact of the mechanism configuration on its reliability and performance.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
