Structured stochastic modeling of fault-tolerant systems

C. Bertolini, L. Brenner, P. Fernandes, A. Sales, A.F. Zorzo
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings.  
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 faulttolerant mechanisms using a formalism that have a Markovian behavior. More specifically, we describe how to apply Stochastic Automata Networks (SAN)
more » ... o describe a Dependable Multiparty Interaction (DMI) mechanism. * This work was developed in collaboration with HP Brazil R&D. † Partially funded by CNPq/Brazil. Corresponding author. The order of authors is merely alphabetical. ‡ Partially funded by CNPq/Brazil.
doi:10.1109/mascot.2004.1348191 dblp:conf/mascots/BertoliniBFSZ04 fatcat:rks3cn4cevckrfxxjndkijldny