Evaluación y verificación de un sistema operativo ARINC-653

Abstract

En este proyecto se estudia, analiza y evalua un Sistema Operativo de tiempo real, XtratuM/LithOS, para sistemas informáticos basados en aviónica modular integrada (IMA) y conformes con la especificación del estándar ARINC-653. En aviónica el estándar ARINC-653 define funciones las necesarias que la interfaz entre el sistema operativo de tiempo real y las aplicaciones debe ofrecer, en un sistema basado en el concepto IMA (Integrated Modular Avionics). Este concepto propone un sistema particionado que provee una protección y separación tanto temporal como espacial. El estándar ARINC-653 junto con el concepto IMA son los candidatos para migrar al dominio del espacio. XtratuM es un hipervisor para sistemas empotrados que permite la ejecución de múltiples sistemas particionados en un mismo procesador. Las particiones del sistema pueden contener un sistema operativo y sus aplicaciones en un entorno en el que se virtualiza los dispositivos esenciales del hardware(memoria, temporizadores e interrupciones). XtratuM implementa la arquitectura de un sistema particionado según el concepto IMA con una interfaz no estándar, pero que provee algunas funcionalidades muy similares al estándar ARINC_653. LithOS es un sistema operativo de tiempo real portado sobre XtratuM para el desarrollo de aplicaciones, que provee una interfaz estándar conforme a la especificación ARINC-653. En el proyecto se propone la evaluación del sistema operativo LithoS según la Parte 3 de la especificación ARINC-653 para comprobar que el sistema esté libre de errores y que su comportamiento ante las diferentes situaciones siga el estándar. Así como la evaluación de prestaciones de dicho sistema operativo, determinando la sobrecarga que aporta al sistema.