Experience with testing and rigorous program analysis for qualification of RTOS

Authors:
A. Wakankar;Arindam Khan;G. Aravamuthan;A. K. Bhattacharjee
Affiliations:
Bhabha Atomic Research Centre Mumbai, India;Bhabha Atomic Research Centre Mumbai, India;Bhabha Atomic Research Centre Mumbai, India;Bhabha Atomic Research Centre Mumbai, India
Venue:
Proceedings of the 6th India Software Engineering Conference
Year:
2013

Citing 3
Cited 0

A static analyzer for large safety-critical software

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Implementation Correctness of a Real-Time Operating System

SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Experimental assessment of Astrée on safety-critical avionics software

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real Time Operating System (RTOS) is a critical component of embedded systems. International standards such as IEC60880 used for development of Instrumentation and Control (I&C) system in nuclear power plants require rigorous qualification of all software components. In this paper, we describe our experience in qualification of ESOS; an in-house configured RTOS from a commercial RTOS available with source code. The qualification activities include static & dynamic analysis, timing analysis and rigorous program analysis. We discuss how rigorous program analysis was used to uncover a subtle bug in the implementation.