loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04)
Structured Stochastic Modeling of Fault-Tolerant Systems
Volendam, The Netherlands
October 04-October 08
ISBN: 0-7695-2251-3
Cristiano Bertolini, Pontifícia Universidade Católica do Rio Grande do Sul
Leonardo Brenner, Pontifícia Universidade Católica do Rio Grande do Sul
Paulo Fernandes, Pontifícia Universidade Católica do Rio Grande do Sul
Afonso Sales, Pontifícia Universidade Católica do Rio Grande do Sul
Avelino F. Zorzo, Pontifícia Universidade Católica do Rio Grande do Sul
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.
Citation:
Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo, "Structured Stochastic Modeling of Fault-Tolerant Systems," mascots, pp.139-146, 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.