Structured Stochastic Modeling of Fault-Tolerant Systems

Authors:
Cristiano Bertolini;Leonardo Brenner;Paulo Fernandes;Afonso Sales;Avelino F. Zorzo
Affiliations:
Pontifícia Universidade Católica do Rio Grande do Sul;Pontifícia Universidade Católica do Rio Grande do Sul;Pontifícia Universidade Católica do Rio Grande do Sul;Pontifícia Universidade Católica do Rio Grande do Sul;Pontifícia Universidade Católica do Rio Grande do Sul
Venue:
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Year:
2004

Citing 0
Cited 3

Improving reliability of cooperative concurrent systems with exception flow analysis

Journal of Systems and Software
Simulation of Markovian models using bootstrap method

Proceedings of the 2010 Summer Computer Simulation Conference
SAN lite-solver: a user-friendly software tool to solve SAN models

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we want that their use do not bring any kind of unexpected result due to the misinterpretation of their features. This paper presents a new way of precisely describing fault-tolerant mechanisms using a formalism that have a Markovian behavior. More specifically, we describe how to apply Stochastic Automata Networks (SAN) to describe a Dependable Multiparty Interaction (DMI) mechanism.