Notice: We have migrated to GitLab launching 2024-05-01 see here:

#3701 accepted project

RTEMS Pre-Qualification (ECSS) for SMP

Reported by: Sebastian Huber Owned by: Sebastian Huber
Priority: normal Milestone: 7.1
Component: rtems Version: 6
Severity: normal Keywords: qualification
Cc: Blocked By: #3702, #3703, #3705, #3716

Description (last modified by Sebastian Huber)

This ticket summarises activities carried out by a 24 month project sponsored by the European Space Agency (ESA). The project start was February 2019.

The main goal of the project is to enable European space missions to use RTEMS as a software product in criticality category C (this is basically category B without independent software verification and validation, ISVV). Criticality category C means according to ECSS-Q-ST-80C:

"Software that if not executed, or if not correctly executed, or whose anomalous behaviour can cause or contribute to a system failure resulting in: Major consequences"

In ECSS-Q-ST-40C major consequences are characterized in Table 6-1 as a major mission degradation without effects to the outside world of the system. A future activity may perform ISVV to enable a use in category B settings.

The qualification will be done according to ECSS standards (ECSS-E-ST-40C and ECSS-Q-ST-80C). The standards are available at

free of charge after registration.

The project consists of four major tasks.

  1. Qualification toolchain

    This task aims to produce a tool chain so that qualification related work can be carried out efficiently. For example: document generation, test suite runs (including code coverage), test reporting, test result archiving, code metrics, static code analysis, traceability (e.g. requirements to tests), etc.
  1. RTEMS SMP qualification data package

    This task covers the main RTEMS components (source code, tests, documentation; new: requirements document, ECSS standard tailoring) so that a data package for space mission consumers can be generated.

    • #3702: Space profile for RTEMS SMP
    • #3703: Technical Specification (TS) for space profile
      • #3715: Add Requirements Engineering chapter to RTEMS Software Engineering Handbook
      • #3726: Select a requirements engineering tool
    • #3705: Software Design Document (SDD) for space profile
      • #3704: Review and update Doxygen recommendations
      • #3706: Create a hierarchy of RTEMS software components using Doxygen groups
      • #3707: Assign each code file to a Doxygen group
      • #3708: Remove Doxygen comments from confdefs.h
    • #3716: Unit, integration and validation tests for space profile
      • #3717: Add test guidelines chapter to RTEMS Software Engineering Handbook
      • #3718: Add support for test plans
      • #3199: New test framework
  1. RTEMS SMP formal verification

    This is a research project. The aim is to apply formal methods for the verification of a subset of the RTEMS SMP algorithms.
  1. RTEMS SMP application porting

    The goal of this task is to port an existing uniprocessor space software from RTEMS 4.8 (RTEMS Improvement by Edisoft) to RTEMS SMP. The algorithms used by the software needs to be parallelized.

The project partners are:

  • Lero with Lero researchers from Trinity College Dublin and University of Limerick from Ireland

The results of this activity should be open source and available to the RTEMS community.

Change History (16)

comment:1 Changed on 02/26/19 at 10:33:00 by Sebastian Huber

Blocked By: 3702 added

comment:2 Changed on 02/26/19 at 12:14:55 by Sebastian Huber

Blocked By: 3703 added

comment:3 Changed on 02/26/19 at 13:10:56 by Sebastian Huber

Blocked By: 3704 added

comment:4 Changed on 02/26/19 at 13:12:31 by Sebastian Huber

Blocked By: 3705 added

comment:5 Changed on 02/26/19 at 13:30:16 by Sebastian Huber

Blocked By: 3704 removed

comment:6 Changed on 02/26/19 at 13:30:45 by Sebastian Huber

Status: assignedaccepted

comment:7 Changed on 02/26/19 at 13:42:07 by Sebastian Huber

Description: modified (diff)

comment:8 Changed on 02/26/19 at 14:27:27 by Sebastian Huber

Description: modified (diff)

comment:9 Changed on 03/04/19 at 12:21:03 by Sebastian Huber

Blocked By: 3716 added

comment:10 Changed on 03/04/19 at 13:09:08 by Sebastian Huber

Description: modified (diff)

comment:11 Changed on 03/04/19 at 13:11:03 by Sebastian Huber

Description: modified (diff)

comment:12 Changed on 03/13/19 at 06:38:43 by Sebastian Huber

Description: modified (diff)

comment:13 Changed on 03/13/19 at 06:40:22 by Sebastian Huber

Description: modified (diff)

comment:14 Changed on 03/20/19 at 01:33:11 by Chris Johns

Summary: RTEMS SMP Pre-Qualification (ECSS)RTEMS Pre-Qualification (ECSS) for SMP

Correct the title.

comment:15 Changed on 11/29/22 at 21:38:18 by Chris Johns

Please update. This ticket is still blocked by 3 other tickets?

comment:16 Changed on 11/30/22 at 08:50:46 by Sebastian Huber

Component: unspecifiedrtems
Milestone: 6.17.1

Yes, there are still open issues.

Note: See TracTickets for help on using tickets.