sima Documentation

An Overview of sima

This document focuses on sima on Linux. Its purpose is to give a brief overview of the core features of the sima tool chain and to describe the command line tools POS, MOS, makeports and simout and, additionally, the Logbook System.

[Download it here]

User Manual

The user manual was written for system designers, programmers and researchers working on IMA systems and the ARINC 653 standard.
It is assumed that the reader has knowledge of IMA and ARINC 653. Knowledge in the C language, the posix api and on development tools like make and Unix shells are at least helpful for understanding this manual.
For Ada programmers, a section on the binding to this language is included.

[Download it here]

Use of sima in the DIANA Project

Presented at Avionics Event, 2010
DIANA was a research and technology development project funded through the European Commission.
It aimed at the implementation of a new avionics platform based on the concepts of Integrated Modular Avionics and the ARINC 653 specification.
This new platform AIDA (Architecture for Independent Distributed Avionics) proposes a series of novelties that ease on-board software development. 
One of the demonstrators of AIDA was an Environmental Control System (ECS), this document describes the use of sima in the ECS demonstrator.

[Download it here]

An IMA Development Environment (IMADE)

Presented at 28th Digital Avionics Systems Conference, 2009
The ARINC 653 standard has taken a leading role within the aeronautical industry in the development of safety-critical systems based on the Integrated Modular Avionics (IMA) concept.
One of the main promises of IMA is cost saving in reduced development, integration and verification and validation effort. To exploit the full potential of cost savings, it is necessary to establish an effective way to prototype, develop, test and analyze on-board applications without having access to the final IMA target platform for all engineers.
Target platforms are usually extremely expensive, taking into account hardware and software prices as well as training costs. This paper describes the architecture of the Integrated Modular Avionics Development Environment (IMADE), based on Linux, and the ARINC 653 simulator Simulated IMA (sima) that was developed by GMV Portugal, 2007-2009.

[Download link here]