João Carlos Negrão Ventura


Análise do tempo de resposta da composição de micro-protocolos.


Tese submetida para provas de mestrado em Informática Departamento de Informática Faculdade de Ciências da Universidade de Lisboa, Julho de 2001.

Sumário

Com o aumento do poder de processamento e da largura de banda nas redes de computadores, é possível construir sistemas distribuídos de tempo-real estrito bastante sofisticados. A construção desses sistemas de comunicação usando a composição de vários objectos de micro-protocolos é uma aproximação que tem sido aplicada com sucesso na área de sistemas que não os de tempo-real. Esta estratégia encoraja a reutilização dos componentes dos protocolos e permite que as aplicações configurem pilhas ajustadas às suas necessidades. Para beneficiar desta aproximação em sistemas de tempo-real, é necessário determinar o comportamento temporal de uma composição de protocolos.

Esta dissertação apresenta uma metodologia genérica de análise ao comportamento temporal de pilhas de protocolos derivadas da composição de protocolos. Micro-protocolos individuais são descritos como objectos que recebem e geram eventos; interacções entre protocolos adjacentes são modeladas através da troca desses eventos. A funcionalidade do protocolo é modelada como um conjunto de tarefas, cada uma programada para tratar um evento específico do protocolo.

Para ilustrar o uso da metodologia, é apresentado um estudo da análise temporal de um conjunto de protocolos modulares e tolerantes a falhas desenvolvido para o barramento CAN: o RELCAN e o EDCAN. De modo a realizar este estudo, uma ferramenta informática teve de ser adaptada de forma a satisfazer os requisitos do modelo.


Publicações

Análise do tempo de resposta da composição de micro-protocolos
J. Ventura.
Tese de Mestrado. Departamento de Informática Faculdade de Ciências da Universidade de Lisboa
Julho, 2001.
Available BibTeX, thesis (gzip postscript, pdf ).
Response Time Analysis of Composable Micro-Protocols
João Ventura, João Rodrigues, Luís Rodrigues
in Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
The design of RTAppia
João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues
in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).

Código

Código do protótipo realizado e instruções de instalação disponíveis aqui.

Localização actual


Luís Rodrigues