Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas
Resumo
O uso de mecanismos de tolerância a falhas tem sido cada vez mais frequente no desenvolvimento de sistemas críticos. Com este aumento, a precisão da descrição de tais mecanismos é fundamental para que seu uso não gere situações inesperadas aos desenvolvedores dos sistemas, devido a má interpretação destes mecanismos. Desta forma, este artigo apresenta a descrição de interações multi-participantes confiáveis (DMI) usando redes de autômatos estocásticos (SAN), um formalismo para descrição de sistemas distribuídos onde interações entre participantes pode ser modelado como um automato estocástico.Referências
I Foster. Compositional parallel programming language. ACM Transactions on Programming Languages and Systems, 18(4):454–476, 1996.
A. F. Zorzo and R. J. Stroud. A distributed object-oriented framework for dependable multiparty interactions. In OOPSLA Conference Proceedings, volume 34, pages 435–446, Denver, Colorado - USA, November 1999. The Association for Computing Machinery (ACM), Inc.
A. F. Zorzo. Multiparty Interactions in Dependable Distributed Systems. PhD thesis, University of Newcastle Upon Tyne, UK, 1999.
E. A de Souza e Silva and R. R Muntz. Métodos computacionais de solução de cadeias de markov: aplicações a a sistemas de computação e comunicação. Porto Alegre - Brasil, 1992. Instituto de Informática UFRGS.
K. Trivedi. Probability e statistic with reliability, queueing and computer science aplications. Englewwod Cliffs, 1982.
B. Plateau and K. Atif. Stochastic automata networks for modelling parallel systems. IEEE Transactions on Software Engineering, 17(10):1093–1108, 1991.
W. J. Stewart. Introduction to numerical solutions of markov chains. Princeton University Press, 1994.
P. Fernandes, B. Plateau, and W.J. Stewart. Eficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM, 45(3):381–414, 1998.
L. A. Cassol. Especificação formal de interações multi-participantes confiáveis em lógica temporal de ações e redes de autômatos estocásticos. Trabalho individual I, Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre - Brasil, 2001.
A. F. Zorzo, A. Romanovsky, and B. Randell. TLA Specification of a Mechanism for Concurrent Exception Handling. Kluwer Publ., Holland, 2002.
A. F. Zorzo. Dependable multiparty interactions: A case study. In 29th Conference on Technology of Object-Oriented Languages and Systems - TOOLS29-Europe, pages 319–328, Nancy, France, 1999. IEEE Computer Society Press.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. von Henke. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers, 51(2):164–179, 2002.
L. Cassol. Controle de célula de produção de tempo real com DMIs. In III Workshop de Testes e Tolerância a Falhas, Búzios, RJ, Brasil, Maio 2002.
PEPS Project. PEPS project: Performance evaluation of parallel system, ID-INRIA/IMAG/PUCRS. WWW, 30 mar. 2002.
A. F. Zorzo and R. J. Stroud. A distributed object-oriented framework for dependable multiparty interactions. In OOPSLA Conference Proceedings, volume 34, pages 435–446, Denver, Colorado - USA, November 1999. The Association for Computing Machinery (ACM), Inc.
A. F. Zorzo. Multiparty Interactions in Dependable Distributed Systems. PhD thesis, University of Newcastle Upon Tyne, UK, 1999.
E. A de Souza e Silva and R. R Muntz. Métodos computacionais de solução de cadeias de markov: aplicações a a sistemas de computação e comunicação. Porto Alegre - Brasil, 1992. Instituto de Informática UFRGS.
K. Trivedi. Probability e statistic with reliability, queueing and computer science aplications. Englewwod Cliffs, 1982.
B. Plateau and K. Atif. Stochastic automata networks for modelling parallel systems. IEEE Transactions on Software Engineering, 17(10):1093–1108, 1991.
W. J. Stewart. Introduction to numerical solutions of markov chains. Princeton University Press, 1994.
P. Fernandes, B. Plateau, and W.J. Stewart. Eficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM, 45(3):381–414, 1998.
L. A. Cassol. Especificação formal de interações multi-participantes confiáveis em lógica temporal de ações e redes de autômatos estocásticos. Trabalho individual I, Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre - Brasil, 2001.
A. F. Zorzo, A. Romanovsky, and B. Randell. TLA Specification of a Mechanism for Concurrent Exception Handling. Kluwer Publ., Holland, 2002.
A. F. Zorzo. Dependable multiparty interactions: A case study. In 29th Conference on Technology of Object-Oriented Languages and Systems - TOOLS29-Europe, pages 319–328, Nancy, France, 1999. IEEE Computer Society Press.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. von Henke. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers, 51(2):164–179, 2002.
L. Cassol. Controle de célula de produção de tempo real com DMIs. In III Workshop de Testes e Tolerância a Falhas, Búzios, RJ, Brasil, Maio 2002.
PEPS Project. PEPS project: Performance evaluation of parallel system, ID-INRIA/IMAG/PUCRS. WWW, 30 mar. 2002.
Publicado
21/05/2002
Como Citar
CASSOL, Luciano A.; ZORZO, Avelino F.; FERNANDES, Paulo.
Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 3. , 2002, Búzios/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2002
.
p. 73-80.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2002.23407.
