DocumentCode :
917769
Title :
Empirical analysis of safety-critical anomalies during operations
Author :
Lutz, Robyn R. ; Mikulski, Inés Carmen
Author_Institution :
Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
Volume :
30
Issue :
3
fYear :
2004
fDate :
3/1/2004 12:00:00 AM
Firstpage :
172
Lastpage :
180
Abstract :
Analysis of anomalies that occur during operations is an important means of improving the quality of current and future software. Although the benefits of anomaly analysis of operational software are widely recognized, there has been relatively little research on anomaly analysis of safety-critical systems. In particular, patterns of software anomaly data for operational, safety-critical systems are not well understood. We present the results of a pilot study using orthogonal defect classification (ODC) to analyze nearly two hundred such anomalies on seven spacecraft systems. These data show several unexpected classification patterns such as the causal role of difficulties accessing or delivering data, of hardware degradation, and of rare events. The anomalies often revealed latent software requirements that were essential for robust, correct operation of the system. The anomalies also caused changes to documentation and to operational procedures to prevent the same anomalous situations from recurring. Feedback from operational anomaly reports helped measure the accuracy of assumptions about operational profiles, identified unexpected dependencies among embedded software and their systems and environment, and indicated needed improvements to the software, the development process, and the operational procedures. The results indicate that, for long-lived, critical systems, analysis of the most severe anomalies can be a useful mechanism both for maintaining safer, deployed systems and for building safer, similar systems in the future.
Keywords :
formal specification; formal verification; program diagnostics; safety-critical software; software maintenance; software metrics; software quality; anomaly analysis; program diagnostics; safety-critical system; software maintenance; software pattern; software requirement; Degradation; Documentation; Embedded software; Feedback; Hardware; Robustness; Software measurement; Software quality; Software safety; Space vehicles;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.2004.1271171
Filename :
1271171
Link To Document :
بازگشت