Dissertação

Automatic Code Generation for Attitude and Orbit Control Systems Using Domain-Specific Languages EVALUATED

O Sistema de Controlo de Atitude e Órbita (AOCS) é o subsistema responsável por determinar e controlar a órbita e orientação de uma nave espacial. Tal como outros tipos de sistemas embarcados, o seu software tem crescido continuamente em tamanho e complexidade. No entanto, em comparação com outras indústrias, muito poucos satélites são produzidos a cada ano. A consequência é um nível insuficiente de automação no processo de desenvolvimento, que leva a uma baixa capacidade de reutilização de software, elevando os custos. A solução proposta para este problema é desenvolver uma Linguagem de Domínio Específico (DSL) usando a plataforma de desenvolvimento de linguagens Xtext. A linguagem contém abstrações adequadas ao AOCS, que permitem a criação de um modelo relativamente simples de um sistema. É acompanhada de um editor específico, um validador de modelos e um gerador de código. O código C++ gerado é então personalizado para implementar funcionalidades de baixo nível. Uma prova de conceito centrada no processamento de telecomandos é desenvolvida para provar a viabilidade de aplicar a solução a todo o subsistema. A sua concepção e implementação baseia-se numa análise realizada ao código-fonte do satélite TET-1 do Centro Aeroespacial Alemão (DLR). A Plataforma de Domínio Específico (DSW) desenvolvida é testada recorrendo a um modelo-exemplo e uma simples personalização do código-alvo, mostrando a sua facilidade de uso e comprovando que se comporta como esperado.
Sistema de Controlo de Atitude e Órbita, Desenvolvimento de SW Guiado por Modelos, Linguagem de Domínio Específico, Xtext, Eclipse.

Novembro 11, 2014, 9:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

CO-ORIENTADOR

Meenakshi Deshmukh

German Aerospace Center (DLR)

ORIENTADOR

Alexandra Bento Moutinho

Departamento de Engenharia Mecânica (DEM)

Professor Auxiliar