Modelagem de software de tempo real utilizando o profile MARTE da UML

Métodos e linguagens orientadas a objetos tem sido amplamente aplicados em atividades de modelagem e projeto de software de tempo real. Entre todas as notações orientadas a objetos a mais usada é a UML. Apesar dos seus muitos problemas conhecidos na teoria e na prática, como a fraca representação de restrições temporais e alocação de recursos, a UML tem sido efetivamente aplicada neste domínio. O profile MARTE foi proposto para resolver essas questões. Neste trabalho o profile MARTE é aplicado juntamente com a UML para modelagem de um software de controle de sinais de trânsito com o objetivo de analisar os prós e contras da utilização deste recente profile OMG. O profile MARTE é comparado com UML e SPT (um profile anterior ao MARTE). O resultado é que com MARTE os modelos UML são mais específicos e expressivos, mas também são mais complexos. Adicionalmente, tornar-se proficiente na utilização do profile é um grande desafio. Pesquisas e aplicações industriais ainda são necessárias para melhores conclusões sobre a utilização do MARTE.