|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.|