All verification and validation evidences are included. They are obtained from analysis, testing and proof for the identified target configurations, in the form of documents required by ECSS-E-ST-40C and ECSS-Q-ST-80C Rev 1
Curated test suite and all supporting resources required to automatically execute the test suite and reproduce the test evidence for each identified target configuration.
The qualification toolkit will become fully open source and free of charge. The intent is to keep this activity as close as possible to the RTEMS main-line evolution.
| 26/01/22: | The QDPs are delivered. The QDPs are delivered “as-is” without warranty of any kind. Note that the contents of the QDPs can change without notice. Also, note that the QDP provides a solid pre-qualification baseline, but still requires activities to be performed by end-users to be considered a fully qualified product! All QDP documentation is provided under the Creative Commons Attribution-ShareAlike 4.0 International Public License. For the RTEMS source code, the applicable license information can be found here . |
| 26/01/22: | The ISVV activities are started in december 2021. |
| 27/01/22: | Technical Note Space Profile has been deleted from the Download page. Many more functions have been qualified than those listed in the before versions of the space Profile . The current QDP version is 3. You can find the complete list of qualified API in section "4.10 Pre-Qualified Interfaces" of the SCF. |
| 15/06/22: | The release 4 is available to download. Main changes are: 1) It contains a warranty release issued for project Qualification of RTEMS Symmetric Multiprocessing (SMP); 2) The RTEMS baseline has been updated and the QDP patches has been partially merged; 3) Most of the validation test have been integrated in RTEMS main line; 4) The previous RTEMS baseline contained a bug which could result in a non-monotonic CLOCK_MONOTONIC; 5) Significant changes in the Software Requirement Specification (SRS) and Software Verification Report (SVR), see the change log of the documents. More details can be found in the SCF. |
| 03/18/24: | Release 5 is now available for download. A significant enhancement in this version is the completion of an ISVV, which has led to an increase in the criticality rating of the new RTEMS SMP version from C to B. We are pleased to announce this improvement. |
| 01/03/25: | We want to inform you that a bug in the RTEMS scheduler was recently identified (Versions up to 6.0). While it occurs only in very unlikely cases, it may cause corruption of a Task Control Block (TCB) in SMP mode. A patch addressing this issue is now available. You can access the patch here. For detailed information on how to apply the patch and additional details about the bug, please contact Embedded Brains, the main industrial maintainer of the RTEMS SMP QDP. We extend our gratitude to everyone who contributed to identifying and resolving this issue, especially Embedded Brains and Robox SPA. |
| 01/03/2025 - High impact | RTEMS scheduler contains a code issue identified by the community. While it occurs only in very unlikely cases, it may cause corruption of a Task Control Block (TCB) in SMP mode. A patch addressing this issue is now available in the Git repository of the RTEMS community. |
