Software Certification for a Time-Triggered Operating System 2005-01-0784
This paper presents the software certification activities carried out on TTP-OS to make this hard real-time, fault-tolerant operating system available for safety-critical applications in the automotive and aerospace industries requiring certification. The steps and measures, while specifically tailored to make an RTOS certifiable, were defined in accordance with the RTCA/DO-178B  guideline.
The major single goal of these activities is to achieve traceability of requirements. Requirements are traced from the Software Requirements Document all the way down through the software lifecycle to the test-cases ensure consistency and accuracy of a mature software development approach. The steps and milestones along the lifecycle are described, offering an insight into the software certification efforts required.