Dissertação

An Algorithm for Validating ARINC 653 Configurations EVALUATED

Por via a desenvolver arquitecturas IMA de elevada criticalidade métodos estruturados que permitam a criação e validação de configurações ARINC 653 são essenciais. Utilizando o perfile MARTE para UML um metamodelo para uma arquitectura ARINC 653 pode ser criado a partir do qual instâncias específicas podem ser derivadas com facilidade. Eu crio um algoritmo que valida ficheiros de especificação XML ARINC 653 contra este modelo, desta forma permitindo um Desenho Orientado por Modelos.
ARINC653, Desenho Orientado por Modelos, Sistemas de Elevada Criticalidade

Novembro 22, 2013, 15:0

Documentos da dissertação ainda não disponíveis publicamente

Orientação

CO-ORIENTADOR

João Cintra

GMV

Engenheiro

ORIENTADOR

Paulo Alexandre Carreira Mateus

Departamento de Matemática (DM)

Professor Associado