Controle de Célula de Produção de Tempo Real com DMIs
Resumo
This paper presents the design of a controlling system for a production cell. The design uses an abstraction called Dependable Multiparty Interaction (DMI), which is used to enclose all interactions between the devices of the production cell. This paper also presents a short description of the production cell case study. The goal of the paper is to show that real time and fault tolerance requirements can be satisfied in a controlling software implemented with DMIs.
Palavras-chave:
Distributed Systems, Dependable Multiparty Interaction, Real Time, Fault Tolerance
Referências
A. F. Zorzo. Multiparty Interactions in Dependable Distributed Systems. PhD thesis, University of Newcastle Upon Tyne, UK, 1999.
A. Lötzbeyer and R. Muhlfeld. Task Description of a Flexible Production Cell with Real Time Properties. Technical report, Forschungszentrum Informatik, Karsruhe, Germany - http://www.fzi.de/divisions/prost/projects/korsys/korsys.html, 1996.
M. Evangelist, N. Francez, and S Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417–1426, 1989.
Y. J. Joung and S. A. Smolka. A comprehensive study of the complexity of multiparty interaction. Journal of ACM, 43(1):75–115, 1996.
R. H. Campbell and B. Randell. Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering, 12(8):811–826, 1986.
A. Romanovsky, J. Xu, and B. Randell. Exception Handling and Resolution in Distributed Object-Oriented Systems. In 16th IEEE Int. Conf. on Distributed Computing Systems, pages 545–552, Hong Kong, 1996. IEEE CS Press.
A. Burns, B. Randell, A. Romanovsky, R. Stroud, A. J. Wellings, and J. Xu. Temporal Constraints and Exception Handling in Object-Oriented Distributed Systems. Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072, pages 3–25, Dezembro 1998.
A. Romanovsky, J. Xu, B. Randell, R. J. Stroud, and A. Burns. Analysis and Design of the Real-Time Production Cell. Technical report, Department of Computing Science (University of Newcastle Upon Tyne), UK, 1998.
B. Randell, A. Romanovsky, R. J. Stroud, J. Xu, and A. F. Zorzo. Coordinated Atomic Actions: from Concept to Implementation. Technical Report 595, Department of Computing Science (University of Newcastle Upon Tyne), UK, 1997.
J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. J. Stroud, and Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In Proceedings of the 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pages 450–457, Pasadena, USA, 1995. IEEE CS Press.
L. A. Cassol. Projeto de uma Célula de Produção com Requisitos de Tempo Real usando DMIs. In Workshop de Teses e Dissertações em Computação Tolerante a Falhas (SCTF’01), pages 37–42, Florianópolis, SC, Brasil, Março 2001.
L. A. Cassol. Tempo Real em Interações Multi-Participantes Confiáveis. Master’s thesis, Departamento de Informática (PUCRS), Porto Alegre, RS, Brasil, 2001.
A. F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. J. Stroud, and I. S. Welch. Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Software - Practice and Experience, 29(8):677–697, 1999.
A. Lötzbeyer and R. Muhlfeld. Task Description of a Flexible Production Cell with Real Time Properties. Technical report, Forschungszentrum Informatik, Karsruhe, Germany - http://www.fzi.de/divisions/prost/projects/korsys/korsys.html, 1996.
M. Evangelist, N. Francez, and S Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417–1426, 1989.
Y. J. Joung and S. A. Smolka. A comprehensive study of the complexity of multiparty interaction. Journal of ACM, 43(1):75–115, 1996.
R. H. Campbell and B. Randell. Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering, 12(8):811–826, 1986.
A. Romanovsky, J. Xu, and B. Randell. Exception Handling and Resolution in Distributed Object-Oriented Systems. In 16th IEEE Int. Conf. on Distributed Computing Systems, pages 545–552, Hong Kong, 1996. IEEE CS Press.
A. Burns, B. Randell, A. Romanovsky, R. Stroud, A. J. Wellings, and J. Xu. Temporal Constraints and Exception Handling in Object-Oriented Distributed Systems. Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072, pages 3–25, Dezembro 1998.
A. Romanovsky, J. Xu, B. Randell, R. J. Stroud, and A. Burns. Analysis and Design of the Real-Time Production Cell. Technical report, Department of Computing Science (University of Newcastle Upon Tyne), UK, 1998.
B. Randell, A. Romanovsky, R. J. Stroud, J. Xu, and A. F. Zorzo. Coordinated Atomic Actions: from Concept to Implementation. Technical Report 595, Department of Computing Science (University of Newcastle Upon Tyne), UK, 1997.
J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. J. Stroud, and Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In Proceedings of the 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pages 450–457, Pasadena, USA, 1995. IEEE CS Press.
L. A. Cassol. Projeto de uma Célula de Produção com Requisitos de Tempo Real usando DMIs. In Workshop de Teses e Dissertações em Computação Tolerante a Falhas (SCTF’01), pages 37–42, Florianópolis, SC, Brasil, Março 2001.
L. A. Cassol. Tempo Real em Interações Multi-Participantes Confiáveis. Master’s thesis, Departamento de Informática (PUCRS), Porto Alegre, RS, Brasil, 2001.
A. F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. J. Stroud, and I. S. Welch. Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Software - Practice and Experience, 29(8):677–697, 1999.
Publicado
21/05/2002
Como Citar
CASSOL, Leandro Azevedo; ZORZO, Avelino Francisco.
Controle de Célula de Produção de Tempo Real com DMIs. 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. 9-16.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2002.23397.
