INDEPENDENT SOFTWARE VERIFICATION AND VALIDATION (ISVV) ACTIVITIES FOR RTEMS SYMMETRIC MULTIPROCESSING (SMP) – EXPRO+
31, May 2021

ESA Open Invitation to Tender: 1-10818
Open Date: 27/05/2021 11:34 CEST
Closing Date: 24/06/2021 13:00 CEST

RTEMS-SMP is an open source real time operating system supporting symmetric multiprocessing. Previous versions are becoming old and does not support muti-core programming, something needed by applications requiring high computational performance. The qualification project initially targeted criticality category C, as this is often the requirement of many satellite payloads requiring high computational capability. However, due to the fact that there is a major update with respect to the previous qualified RTEMS version, there is a major interest in using this operating system in different spacecraft platforms (requiring software criticality category B).Therefore performing this ISVV activity would increase significantly the number of potential missions using it. In the first phase of the activity a qualification toolchain will be developed. Such toolchain will automate the production of the RTEMS-SMP qualification datapack, which will be the main input for the ISVV activity. The RTEMS-SMP qualification datapack will contain all the ECSS artefacts supporting its qualification. In the second phase of the RTEMS qualification activity, the qualification datapack subject to ISVV will be produced using the toolchain. The QDP (Qualification Data Pack) will be built incrementally, and will be released at the end of each bi-weekly sprint.The ISVV process is a mature process used in the development of mission critical software since many years. Due to the particularities of this activity (sprint-based qualification of an already existing software) the processes described in the ESA ISVV guide will be adapted for this activity. The following tasks are forseen for this activity:- Support activities (Management activities, Configuration Management and Quality) and documentation.- Independent Software Verification activities (including: technical specification, architectural design, source code, user manual and too/test suite checks).- Independent Software Validation activities.- Implementation of ISVV findings on RTEMS SMP.

Directorate: Directorate of Tech, Eng. Quality
Estabilishment: ESTEC
ECOS Required: No
Classified: No
Price Range: 200-500 KEURO
Contracts Officer: Gian Lorenzo Casini
Initiating Service: TEC-QQS
IP Measure: N/A
Prog. Reference: E/0904-611 – GSTP Element 1 Dev
Tender Type: Open Competition
Open To Tenderers From: DE+GB
Technology Keywords: 2-B-I-Methods and Tools for Onboard Software Engineering Processes / 25-B-II-SW Product Quality Techniques
Products Keywords: 2-E-1-Operating Systems

If you wish to access the documents related to the Invitation to Tender, you have to log in to the ESA Portal.