Cart (Loading....) | Create Account
Close category search window

Applying checkers to improve the correctness and integrity of software [Air Force systems]

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Reinhart, T. ; Air Force Res. Lab., Wright-Patterson AFB, OH, USA ; Boettcher, C.

Testing of mission-critical systems to a high degree of reliability has been a long time problem for the Air Force. As a result system failures may occur in the field due to faults that result from unusual environmental conditions or unexpected sequences of events that were never encountered in the laboratory. To improve the validation and test process and deliver more reliable systems, under the Air Force self-checking embedded information system software (SCEISS) program, we have performed several demonstrations of self-checking systems that continuously monitor themselves to report suspicious events and software faults. Based on theoretical University results, the SCEISS program has demonstrated improvements in the reliability and quality of software-intensive systems through employing self-checking techniques. This paper presents metrics that show the value of checkers in finding errors earlier with less cost and effort on several Raytheon applications and describes a checker library that is under development to automate the inclusion of checkers in a software integration environment.

Published in:

Digital Avionics Systems Conference, 2002. Proceedings. The 21st  (Volume:1 )

Date of Conference:

27-31 Oct. 2002

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.