Certifying software for high-assurance environments

IEEE Software

Volumn 16, Issue 4, 1999, Pages 48-54

  Voas, Jeffrey ^a  

^a Cigital   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; PROGRAM DEBUGGING; QUALITY ASSURANCE; REENGINEERING; REQUIREMENTS ENGINEERING; REVERSE ENGINEERING;

HIGH-ASSURANCE SOFTWARE CERTIFICATION;

SOFTWARE ENGINEERING;

EID: 0032639499     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.776948     Document Type: Article

References (12)

1. Reviewer Guidance for Computer Controlled Medical Devices Undergoing 510(k) Review, US Food and Drug Administration, Washington, D.C., 1991.
2. Software Considerations in Airborne Systems and Equipment Certification, Document No. RTCA/DO-178B, RTCA Inc., Federal Aviation Authority, Washington D.C., 1992.
3. J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction, and Application, McGraw-Hill, New York, 1987.
4. J.L. Lions, "Ariane 5 Flight 501 Failure: Report of the Inquiry Board," Paris, 19 July 1996, http://www.esrin.esa.it/htdocs/ tidc/press/press96/ariane5rep.html.
5. N.G. Leveson, Safeware: System Safety and Computers, Addison-Wesley Longman, Reading, Mass., 1995.
6. J. Voas, F. Charron, and K. Miller, "Investigating Rare-Event Failure Tolerance: Reductions in Uncertainty," Proc. IEEE High-Assurance Systems Eng. Workshop, IEEE Computer Soc. Press, Los Alamitos, Calif., 1996, pp. 1-8.
7. H. Hecht, "Rare Conditions: An Important Cause of Failures," Proc. Conf. Computer Assurance, Nat'l Inst. of Standards, Gaithersburg, Md., 1993, pp. 81-85.
8. M. Hsueh, T.K. Tsai, and R.K. Iyer, "Fault Injection Techniques and Tools," Computer, Apr. 1997, pp. 75-82.
9. J. Voas, "Software Fault Injection: Growing Safer Systems," Proc. IEEE Aerospace, IEEE Aerospace and Electronics Systems Soc., Manhattan Beach, Calif., 1997, pp. 551-562.
10. J. Voas, F. Charron, and L. Beltracchi, "Error Propagation Analysis Studies in a Nuclear Research Code," Proc. IEEE Aerospace, IEEE Aerospace and Electronics Systems Soc., Manhattan Beach, Calif., 1998.
11. J. Voas et al., "Predicting How Badly 'Good' Software Can Behave," IEEE Software, July/Aug. 1997, pp. 73-83.
12. K. Miller, "Software Informed Consent: Docete Emptorem, Not Caveat Emptor," Science and Engineering Ethics, Vol. 4, No. 3, July 1998, pp. 357-362.