Translation, Validation and Improving ofAADL to Fiacre Process in the TOPCASED Project

Abstract

Resumo Estendido A complexidade dos modernos sistemas embarcados em desenvolvimento at- ualmente exigem a criação de novas metodologias de projetos especificas para essa área. Primeiramente destaca-se a questão de ser um setor singular com inúmeras restrições e peculariedades tais como: restrições de hardware, software, segurança e performance. Dessa forma os métodos aplicados no desenvolvimento dos sistemas embarcados devem buscar conciliar esses elementos garantindo o bom funciona- mento do mesmo. A linguagem de analise e projeto de arquitetura (AADL) eh um dos principais elementos usados para a criação de modelos de sistemas embarcados, abrangendo os conceitos de hardware e software inerentes a esse tipo de sistema. Entretanto a parte de analise do comportamento do dispositivos e threads em AADL deve ser feito utilizando-se ferramentas especificas para o mesmo, no escopo desse trabalho a ferramenta TINA com o pacote SELT-LTL será abordado. O projeto TOPCASED em um de seus objetivos detectou a necessidade de elaboração de uma linguagem intermediária que ligasse as linguagens de modelagem com as ferramentas de verificação de propriedades, criando-se assim o formato inter- mediário para arquitetura de componentes de sistemas embarcados (FIACRE). O enfoque desse trabalho será a conexão entre os modelos AADL e a linguagem FIACRE, através da ferramenta de transformação AADL para FIACRE. Esse trabalho versa sobre os tópicos envolvidos na conversão de metamodelos usando uma abor- dagem model driven engineering (MDE) aplicando-os no caso da transformação AADL para FIACRE. Destaca-se que esse trabalho eh uma continuação de uma já existente implementação dessa ferramenta de conversão. Sendo abordado nesse trabalho con- ceitos ausentes necessários para elaboração de projetos complexos, alem de testes e melhorias nos métodos de conversão. Uma metodologia para elaboração de modelos de sistemas embarcados eh ap- resentada nesse trabalho também. Essa metodologia apresenta uma maneira sis- temática de utilizar as ferramentas de verificação durante a criação dos modelos AADL. Um projeto de aplicação real e em desenvolvimento na Universidade Federal e Santa Catarina eh o objeto de um caso de estudo abordado nesse trabalho. Esse caso de estudo eh sobre a efetivação da manobra de estacionamento de uma forma automática. O caso de estudo foi desenvolvido usando-se a metodologia proposta e foi utilizado para validar a ferramenta de transformação de AADL para Fiacre, visto que muitos dos conceitos da AADL são usados na construção do modelo. Alem do mais esse trabalho apresenta todos os elementos necessários ate a checagem final das propriedades mostrando exemplos práticos de como usa-los.