Requirements Baseline for Integrated Modular Avionics for Space Separation Kernel Qualification
Abstract
In order to address the increasing complexity of spacecraft avionics, ESA have explored technological solutions adopted by the aeronautical domain for this purpose: Integrated Modular Avionics (IMA) and time and space partitioning (TSP). Over the past few years, a number of studies launched by ESA have explored how the solutions from the aeronautical domain could be adopted in the space domain. The technical solutions from the aeronautical domain have been adapted to the requirements of space missions, and an approach named IMA for Space (IMA-SP for short) has been introduced providing an IMA-SP Platform. The IMA-SP platform is dedicated to supporting the time and space partitioning of the spacecraft applications. The core software component is called the System Executive Platform software (SEP). The SEP contains a separation kernel that schedules the execution of partitions and provides the partitioning mechanisms. A small number of separation kernels already exist and have been demonstrated in previous studies [1]. These existing separation kernels must first be qualified before they are used in flight software.
- Publication:
-
DASIA 2015 - DAta Systems in Aerospace
- Pub Date:
- September 2015
- Bibcode:
- 2015ESASP.732E..19H