Simulated Integrated Modular Avionics (sima) is an execution environment for Integrated Modular Avionics (IMA) based on the ARINC 653 standard. It provides robust partitioning simulation and the complete ARINC 653 APEX to operating systems that do not support these features by themselves.
sima is a cost effective alternative for debugging, testing, simulation and training of IMA systems, ensuring same application behavior as on the target platform by strict and proven conformance to the ARINC 653 specification.
The ARINC 653 standard specifies a programming interface for a Real-Time Operating System (RTOS), and, in addition, establishes a particular method for partitioning resources over time and memory. Today, this standard has been established as an important foundation for the development of safety-critical systems in the aviation industry.
ARINC 653 defines support for robust partitioning in on-board systems, so that one processing module is able to host one or more avionics applications and to execute these applications independently. In consequence, the partitioning approach reduces on-board hardware and, at the same time, facilitates verification, validation and certification.
sima is designed to run on all POSIX-compliant operating systems; it is tested and optimized for the Native POSIX Thread Library (NPTL), available on OS like GNU/Linux, kernel version 2.6 or higher.
The compliance of sima was tested against the ARINC 653 Conformity Test Specification (Part 3)