Title :
Structured stochastic modeling of fault-tolerant systems
Author :
Bertolini, Cristiano ; Brenner, Leonardo ; Femandes, P. ; Sales, Afonso ; Zorzo, Avelino F.
Author_Institution :
Pontificia Univ. Catolica do Rio Grande do Sul, Porto Alegre, Brazil
Abstract :
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems. Therefore, the accurate description of these mechanisms is crucial if we do not want their use to bring any kind of unexpected result due to the misinterpretation of their features. The paper presents a new way of precisely describing fault tolerant mechanisms using a formalism that has a Markovian behavior. More specifically, we describe how to apply stochastic automata networks (SAN) to describe a dependable multiparty interaction (DMI) mechanism.
Keywords :
Markov processes; fault tolerance; multiprocessing systems; parallel programming; stochastic automata; Markovian behavior; dependable multiparty interaction mechanism; distributed computer communication; fault-tolerant systems; multiple processing; parallel programming; safety-critical systems; stochastic automata networks; structured stochastic modeling; Communication system control; Control systems; Fault tolerant systems; Marketing and sales; Parallel programming; Programming profession; Software safety; Stochastic processes; Stochastic systems; Telecommunication computing;
Conference_Titel :
Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings. The IEEE Computer Society's 12th Annual International Symposium on
Print_ISBN :
0-7695-2251-3
DOI :
10.1109/MASCOT.2004.1348191