Modelado y generación de archivos de configuración para un hipervisor de tiempo real para sistemas embarcados en satélite

Abstract

En este trabajo se ha llevado a cabo el diseño y la implementación de un lenguaje específico de dominio que permite modelar las diferentes configuraciones de un hipervisor basadas en la especificación ARINC 653. Este lenguaje permite describir el conjunto de particiones que forman el sistema, su planificación, sus puntos de interconexión y sus requisitos de memoria. Para su definición, se han empleado las herramientas de modelado estándar de Eclipse y Xtext. Estos modelos pueden servir como base para la obtención, mediante transformaciones, de distintos archivos. En concreto, para este proyecto se ha definido una transformación que permite obtener una representación del comportamiento de las particiones. Para la implementación de esta transformación se ha utilizado la herramienta de generación de código Acceleo.

This work has been carried out the design and implementation of a domain-specific language that allows modeling the different configurations of a hypervisor based on the ARINC 653 specification. This language allows describing the set of partitions that form the system, its planning, its interconnection points and its memory requirements. For its definition, the standard Eclipse and Xtext modeling tools have been used. These models can serve as a basis for obtaining, by means of transformations, different files. Specifically, for this project, a transformation has been defined to obtain a representation of the behavior of the partitions. The Acceleo code generation tool has been used to implement this transformation.