Modelação arquitetónica para sistemas TR2E

Nesta tese, descrevemos as principais contribuições das nossas actividades de investigação. Estas actividades fazem parte do tema das arquitecturas de software num contexto de tempo real distribuído incorporado (TR2E). São descritas quatro contribuições principais: reconfiguração dinâmica, tolerância a falhas, otimização multi-objetivo e verificação formal de sistemas TR2E. Todas estas contribuições se baseiam em linguagens de descrição de arquitecturas (ADL) como principal pilar de modelização, devido ao poder de expressão muito poderoso das ADL, que permite descrever a arquitetura global de um sistema antes de utilizar técnicas de transformação de modelos e de geração de código para realizar as várias acções relacionadas com cada uma das contribuições. Utilizamos amplamente estas técnicas para maximizar a automatização e reduzir a quantidade de código escrito à mão pelo programador.