Authors
Advisor(s)
Abstract(s)
A crescente complexidade das aplicações distribuídas de tempo-real leva a que estas necessitem de serviços de comunicação cada vez mais sofisticados e diversificados. Enquanto as concretizações monolitíticas de protocolos de comunicação são difíceis de expandir, aperfeiçoar e ajustar às necessidades de cada aplicação, as concretizações baseadas na composição de camadas modulares são mais facilmente configuráveis e, por isso, mais atraentes para sistemas de tempo-real, onde não interessa gastar recursos com funcionalidades desnecessárias. A dissertação estuda a construção de molduras de suporte à concepção, composição e execução de sistemas de comunicação modulares para aplicações de tempo-real. Um aspecto ao qual se dá particular ênfase é a capacidade de validar a correcção da composição de protocolos no domínio do tempo. A moldura proposta inclui os seguintes componentes: i) Um modelo de suporte à composição e desenvolvimento de protocolos de comunicação que facilita a posterior análise temporal da composição; ii) Uma ferramenta de análise temporal de composição de protocolos; iii) Uma ferramenta que automatiza o processo de alocação e atribuição de prioridades; iv) Um protótipo de um ambiente de execução de composições num sistema concreto. Uma das principais contribuições deste trabalho consiste em demonstrar que é possível, através do uso de uma moldura de composição adequada, extrair informação relevante para a análise temporal a partir do código sem recorrer a linguagens de programação especializadas, facilitando desta maneira a análise e desenvolvimento do sistema. Um aspecto relevante da aproximação proposta consiste no facto da moldura usar um conjunto integrado de mecanismos que permite, simultaneamente, simplificar a tarefa de calcular o pior tempo de resposta das composições de protocolos e a optimização e depuramento da concretização resultante
Description
Keywords
Composição de protocolos Tempo-real Análise de escalonabilidade