|
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. |
