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