An approach to formally qualify commercial RTOS for safety application

Nanda, Manju and Dhage, S and Jayanthi, J (2015) An approach to formally qualify commercial RTOS for safety application. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.

[img] Text
Restricted to Registered users only

Download (6MB) | Request a copy
Official URL:


Every complex and powerful system we see around us are real time embedded systems. They are real time because they are intended to respond within the time limits. In safety critical embedded systems like medical, railways, nuclear, space and aerospace we need qualified hard Real Time Operating System (RTOS) as failure to deliver timely results in catastrophe. Some of the qualified RTOS for critical applications are VxWorks, DEOS. The drawback of these RTOS's is that they are highly expensive; unavailability of complete documentation, custom built, and has limited configurability. Instead, industries use COTS (Commercially off the Shelf) RTOS which they can use, configure and qualify reduced cost. However since qualifying these RTOS for as per industry standard is a challenging task and traditional verification techniques may not be sufficient and are time consuming, formal methods can prove to be most effective & precise way of verifying the RTOS to qualify it for use in safety critical applications. This paper discusses and provides guidelines for development and implementation of formal approach to qualify a COTS RTOS as per the civil aerospace standard RTCA DO-178C.

Item Type: Conference or Workshop Item (Paper)
Subjects: AERONAUTICS > Avionics & Aircraft Instrumentation
Depositing User: Mrs SK Pratibha
Date Deposited: 12 Jun 2018 08:53
Last Modified: 12 Jun 2018 08:54

Actions (login required)

View Item View Item