“Memory Protection and Qualification of Real-Time Operating Systems for Space Applications”
Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Sept. 2009
Abstract: The Real Time Executive for Multiprocessor Systems (RTEMS) is a Real Time Operating System (RTOS) that is being actively developed and used in hard real-time applications development. This fact has motivated the development of a RTEMS Centre, the Edisoft RTEMS Centre, which investigates on RTEMS and be able to give help and support to the European space community. The first RTEMS Centre activities were the development of support tools to help in the configuration and build RTEMS. Another tool has been developed; this tool verifies the RTEMS applications behaviour at execution time. In a later phase, the RTEMS Centre has started the RTEMS Improvement project that aims to create a RTEMS (4.8.0) Tailored version that will help in the facilitation of qualification process for the RTEMS applications to the space missions. The produced material that helps in the facilitation of qualification process has included the design of a new test suite to cover the requirements for software and the source code using the standard SW-DAL (SoftWare Development Assurance Level) level B with 100% statement coverage, all the lines of code has to be executed, and 100% decision coverage, all the decision blocks has been executed. The qualification of software that needs to following the Galileo Software Standards SW-DAL B (GSWS [RD1]) is a long and complex process. The complete qualification process implies the qualification of both software and hardware platform where the software application runs. Since the RTEMS Improvement project does not have the hardware support needed, the main goal is to facilitate the qualification process of the applications that runs with RTEMS, through: a RTEMS Tailored version, with the necessary modifications required to correct the detected bugs; a RTEMS Test Suite, to test the RTEMS Tailored; and the associated documentation (requirements document, design document, configuration document, user manual, etc). In a later phase of the RTEMS Improvement project when all the previous tasks for the RTEMS Tailored version add been concluded it will be developed a RTEMS Memory Management module for the LEON3 class processors.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)