sima Documentación

Presentación de sima

Este documento se centra en sima sobre Linux. Su finalidad es explicar brevemente las principales características de la solución sima y describir las herramientas de línea de comandos POS, MOS, makeports y simout y, de forma adicional, el Sistema Logbook.

[Descargar aquí]

Manual del Usuario

El manual del usuario fue redactado por diseñadores de sistemas, programadores e investigadores que trabajan en sistemas IMA y la norma ARINC 653.
Se da por supuesto que el lector tiene conocimientos de IMA y de ARINC 653. El conocimiento del lenguaje C, de las interfaces POSIX y de herramientas de desarrollo y unidades unix es útil para comprender este manual.
Para los programadores de Ada, se incluye una sección sobre la relación con este lenguaje.

[Descargar aquí]

Utilización de sima en el Proyecto DIANA

Presentado en Evento de Aviónica, 2010

DIANA ha sido un proyecto para el desarrollo de investigación y tecnología financiado a través de la Comisión Europea.
Su objetivo era la implementación de una nueva plataforma de aviónica basada en los conceptos de Aviónica Modular Integrada y la especificación ARINC 653.
Esta nueva plataforma AIDA (Architecture for Independent Distributed Avionics) propone una serie de novedades que facilitan el desarrollo de software embarcado.
Uno de los demostradores de AIDA fue el Sistema de Control de Entornos (ECS), y este documento describe el uso de sima en el demostrador ECS.

[Descargar aquí]

Entorno de Desarrollo para IMA (IMADE)

Presentado en la 28 Conferencia de Sistemas de Aviónica Digitales, 2009
La norma ARINC 653 tiene hoy un papel fundamental dentro de la industria aeronáutica en el desarrollo de sistemas de seguridad crítica basados en el concepto de Aviónica Modular Integrada (IMA).
Una de las principales promesas de IMA es el ahorro de costes con la reducción de los esfuerzos de desarrollo, integración, verificación y validación.
Para aprovechar todo el potencial de ahorro es necesario establecer una forma eficaz de llevar a cabo la prototipación, el desarrollo y el análisis de aplicaciones embarcadas sin que todos los ingenieros tengan acceso a la plataforma IMA objetivo final.
Las plataformas objetivos suelen ser extremadamente costosas, teniendo en cuenta los precios de hardware y software, además de los costes del entrenamiento. Este documento describe la arquitectura del Entorno de Desarrollo para Aviónica Modular Integrada (IMADE), basado en Linux, y el simulador sima para aplicaciones IMA y su conformidad con ARINC 653, desarrollado por GMV Portugal en 2007-2009.

[Descargar aquí]