RTEMS SMP
RTEMS Pre-Qualification (ECSS) for SMP
| 34 months (Feb 2019 to Dec 2021) https://rtems-qual.io.esa.int/ | |
| Summary: | RTEMS SMP is a project sponsored by the European Space Agency (ESA). The main goal of the project is to enable European space missions to use RTEMS SMP as a software product in criticality category C, following the ECSS standards (ECSS-E-ST-40C and ECSS-Q-ST-80C) for qualification purposes. The project has as partners Edisoft (the prime contractor), Lero (the Irish software research centre), Jena-Optronik GmbH and embedded brains GmbH. The project consists of four tasks: (1) Qualification toolchain, in which a toolchain will be produced in order to perform the qualification related work; (2) RTEMS SMP qualification data package, in which a data package for space mission consumers will be produced, covering the main components of RTEMS; (3) RTEMS SMP formal verification, with the aim of applying formal methods to a subset of RTEMS SMP; (4) RTEMS SMP application porting, with the goal of porting an existing uniprocessor application from RTEMS 4.8 to RTEMS SMP. CISTER will help partners carrying the project activities of Tasks 1 and 2. For more information, please follow the official link for the project activities https://devel.rtems.org/ticket/3701, RTEMS oficial mailing lists or contact one of the partners involved. |
| Partners: | |
