RTEMS qualifies for the space domain
A major boost for many RTEMS (real-time executive multiprocessor systems) applications has been achieved: The European Space Agency ESA certifies the open-source real-time operating system RTEMS in the SMP (Symmetric Multiprocessing) configuration for Criticality Category C and D.
This means that safety-critical functions can now also be executed on modern multicore processors that rely on RTEMS. Previously, only a greatly reduced, now obsolete, single-core version was available for this purpose.
Further certifications planned
The qualification was carried out for the Cobham-Gaisler processors with SPARC architecture (GR740 and GR712RC), which are widely used in the space domain, and functions mainly used in space flight. Further certifications of processors with ARM and RISC-V architecture as well as an extension of the functional and interface scope are in preparation.
Furthermore, qualification for Category A and B is envisaged. Then even safety-critical functions in manned missions could operate on the basis of RTEMS. The documentation and tests for this are already in place, and the necessary independent verification is underway.
RTEMS is popular in space applications because of its low resource requirements. However, its advantages are also appreciated in other industries where high performance and reliability are important. This qualification also opens up new perspectives for other domains, such as railroad technology or the medical and automotive sectors.
Flexibility through largely automated certification process
Safety certifications are established since long in many industries. However, these drive up the costs of software, as testing and documentation are often many times more labour intensive than simply writing the code. And they reduce flexibility, since a configuration has to be tested as a whole setup.
A new feature of RTEMS certification is that it is largely automated - from documentation to testing to evaluation summary. In this way, the multitude of target systems, interfaces and drivers of RTEMS can be certified in an economical way. Even in the basic version, this includes over 2,000 test procedures and more than 10,000 pages of results and documentation.
Execution and implementation
The initial funding by ESA allows not only the code but also the basic certification to become part of the open-source project. For the certification of more advanced configurations, for example with multicore processors that are not yet supported, the experts at embedded brains, who designed and developed the current Qualification Data Package, are available.