An empirical investigation of fault types in space mission system software

Grottke M, Nikora A, Trivedi K (2010)


Publication Type: Conference contribution, Original article

Publication year: 2010

Publisher: IEEE Computer Society

Edited Volumes: Proceedings of the International Conference on Dependable Systems and Networks

City/Town: Chicago

Pages Range: 447-456

Event location: Chicago, IL

DOI: 10.1109/DSN.2010.5544284

Abstract

As space mission software becomes more complex, the ability to effectively deal with faults is increasingly important. The strategies that can be employed for fighting a software bug depend on its fault type. Bohrbugs are easily isolated and removed during software testing. Mandelbugs appear to behave chaotically. While it is more difficult to detect these faults during testing, it may not be necessary to correct them; a simple retry after a failure occurrence may work. Aging-related bugs, a sub-class of Mandelbugs, can cause an increasing failure rate. For these faults, proactive techniques may prevent future failures. In this paper, we analyze the faults discovered in the on-board software for 18 JPL/NASA space missions. We present the proportions of the various fault types and study how they have evolved over time. Moreover, we examine whether or not the fault type and attributes such as the failure effect are independent. © 2010 IEEE.

Authors with CRIS profile

Involved external institutions

How to cite

APA:

Grottke, M., Nikora, A., & Trivedi, K. (2010). An empirical investigation of fault types in space mission system software. In Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (pp. 447-456). Chicago, IL: Chicago: IEEE Computer Society.

MLA:

Grottke, Michael, Allen Nikora, and Kishor Trivedi. "An empirical investigation of fault types in space mission system software." Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Chicago, IL Chicago: IEEE Computer Society, 2010. 447-456.

BibTeX: Download