“AMOBA - ARINC 653 Simulator for Modular Space Based Applications”
Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Jul. 2008
Abstract: The Integrated Modular Avionics (IMA) main characteristic is sharing of computation resources ensuring a relevant set of safety and real-time guarantees. The ARINC 653 is a well-known standard based on IMA concept. This IMA-based standard has taken a leading role within the aeronautical industry in the development of safety-critical systems. The related cost savings in reduced integration, validation and verification effort has raised interest in the European space industry for developing a spacecraft IMA approach and for the definition of an ARINC 653-for-Space software framework. As part of this process, it is necessary to establish an effective way to test and develop space applications without having access to the final IMA target platform. This dissertation describes the main research key ideas developed during the design and implementation of a multi-platform and modular ARINC 653 simulator, called AMOBA, which shall emulate an execution environment for ARINC 653 space applications.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)