Analyzing software requirements errors in safety-critical, embedded systems

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1993, Pages 126-133

  Lutz, Robyn R ^a,b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b IOWA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; ERRORS; REQUIREMENTS ENGINEERING;

ERROR MECHANISMS; REQUIREMENTS SPECIFICATIONS; ROOT CAUSE; SAFETY RELATED SOFTWARE; SOFTWARE ERRORS; SOFTWARE REQUIREMENTS;

SAFETY ENGINEERING;

EID: 84956602782     PISSN: 1090705X     EISSN: 23326441     Source Type: Conference Proceeding    
DOI: 10.1109/ISRE.1993.324825     Document Type: Conference Paper

References (23)

1. E. A. Addy, "A Case Study on Isolation of Safety-Critical Software," in Proc 6th Annual Conf on Computer Assurance. NIST/IEEE, 1991, pp. 75-83.
2. A. M. Davis, Software Requirements, Analysis and Specification. Englewood Cliffs, N.J.: Prentice Hall, 1990.
3. D. E. Eckhardt, et al., "An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability," IEEE Trans Software Eng, 17, 7, July 1991, pp. 692-702.
4. A. Endres, "An Analysis of Errors and Their Causes in Systems Programs," IEEE Trans Software Eng, SE-1, 2, June 1975, pp. 140-149.
5. E. M. Gray and R. H. Thayer, "Requirements," in Aerospace Software Engineering, A Collection of Concepts. Ed. C. Anderson and M. Dorfman. Washington: AIAA, 1991, pp. 89-121.
6. ANSI/IEEE Standard Glossary of Software Engineering Terminology. New York: IEEE, 1983.
7. M. S. Jaffe et al., "Software Requirements Analysis for Real-Time Process-Control Systems," IEEE Trans Software Eng, 17, 3, March 1991, pp. 241-258.
8. P. Jalote, An Integrated Approach to Software Engineering. New York: Springer-Verlag, 1991.
9. J. C. Knight, "Testing," in Aerospace Software Engineering, A Collection of Concepts. Ed. C. Anderson and M. Dorfman. Washington: AIAA, 1991, pp. 135-159.
10. N. G. Leveson, "Safety," in Aerospace Software Engineering, A Collection of Concepts. Ed. C. Anderson and M. Dorfman. Washington: AIAA, 1991, pp. 319-336.
11. N. G. Leveson, "Software Safety in Embedded Computer Systems," Commun ACM, Vol. 34, No. 2, Feb 1991, pp. 35-46.
12. N. G. Leveson and P. R. Harvey, "Analyzing Software Safety," IEEE Transactions on Software Engineering, SE-9, 5, Sept 1983, pp. 569-579.
13. Karan L'Heureux, "Software Systems Safety Program RTOP, Phase A Report," Internal Document, Jet Propulsion Laboratory, April 19, 1991.
14. R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," TR92-27, Dept. of Comp. Sci, Iowa State University.
15. R. Lutz and J. S. K. Wong, "Detecting Unsafe Error Recovery Schedules," IEEE Trans Software Eng, 18, 8, Aug, 1992, pp. 749-760.
16. T. Nakajo and H. Kume, "A Case History Analysis of Software Error Cause-Effect Relationships," IEEE Trans Software Eng 17, 8, Aug 1991, pp. 830-838.
17. P. G. Neumann, "The Computer-Related Risk of the Year: Weak Links and Correlated Events," in Proc 6th Annual Conf on Computer Assurance. NIST/IEEE, 1991, pp. 5-8.
18. A. P. Nikora, "Error Discovery Rate by Severity Category and Time to Repair Software Failures for Three JPL Flight Projects," Internal Document, Jet Propulsion Laboratory, 1991.
19. T. J. Ostrand and E. J. Weyuker, "Collecting and Categorizing Software Error Data in an Industrial Environment," The Journal of Systems and Software, 4, 1984, pp. 289-300.
20. Proc Berkeley Workshop on Temporal and Real-Time Specification. Eds. P. B. Ladkin and F. H. Vogt. Berkeley, CA: International Computer Science Institute, 1990, TR-90-060.
21. N. F. Schneidewind and H.-M. Hoffmann, "An Experiment in Software Error Data Collection and Analysis," IEEE Trans Software Eng, SE-5, 3, May 1979, pp. 276-286.
22. R. W. Selby and V. R. Basili, "Analyzing Error-Prone System Structure," IEEE Trans Software Eng 17, 2, Febr 1991, pp. 141-152.
23. J. M. Wing, "A Specifier's Introduction to Formal Methods," Computer, Vol. 23, Sept 1990, pp. 8-26.