IV&V Facility Research Program Results and SARP Results  

Advanced Search
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.


Study of Real-Time Operating System Reliability
Point of Contact James Mooney
jdm@csee.wvu.edu
Dates January 2007 - August 2007
Problem This proposal is aimed at developing ways to increase the confidence level in real-time operating systems used for onboard flight control. Planned activities will include analyzing recent studies of real-time OS reliability that have been carried out by outside parties under contract, to assess the potential problems they have identified in the context of the actual current or planned flight software configurations and usage. Further stress tests may also be run on the operating systems if a need is indicated by the initial studies. This project may serve as a pilot to develop an increased knowledge base within NASA on the topic of real-time OSs.
Objective Operating systems are critical components of software systems responsible for the correct operation of numerous space missions. Failure of the operating system would lead with high likelihood to failure of the mission itself. NASA has extensive expertise in ensuring the safety and reliability of most flight software but is less experienced in ensuring the safe and correct operation of the flight operating systems under all likely scenarios. Recent studies have indicated that operating systems currently in use can fail under certain types of extreme load or unexpected inputs. There is no indication that such failures have actually occurred under flight conditions, but it is not known whether they could occur. This project is intended to develop an improved knowledge base regarding the potential for OS failure under actual flight scenarios. This knowledge should allow NASA to either correct OS faults or check and avoid unsafe inputs, resulting in important improvements in overall mission safety and assurance.
Results No results are available at this time. Please check back again.
Keywords Operating System Reliability
Categories Software Reliability