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.
novembro 11, 2014, 9:0
Publicação
Obra sujeita a Direitos de Autor