@inbook{ffb27694ac094d248401631a54de7547,
title = "Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets",
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.",
author = "Paolo Ballarini and Lorenzo Capra and Guiliana Franccschinis",
year = "2004",
doi = "10.1007/978-3-540-30182-0_56",
language = "English",
isbn = "3540235264",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "553--563",
editor = "Cevdet Aykanat and Tugrul Dayar and Ibrahim Korpeoglu",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}