Targeting safety-related errors during software requirements analysis

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129582, Issue , 1993, Pages 99-106

  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; SOFTWARE ENGINEERING;

SAFETY RELATED SOFTWARE; SAFETY-RELATED; SOFTWARE REQUIREMENTS; SOFTWARE REQUIREMENTS ANALYSIS;

SAFETY ENGINEERING;

EID: 85013962790     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/256428.167069     Document Type: Conference Paper

References (21)

1. ANSI/IEEE Standard Glossary of Software Engineering Terminology. New York: IEEE, 1983.
2. Proceedings of the 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.
3. J. Cullyer, "Safety-critical Control Systems," Computing and Control Engineering Journal, Vol. 2, No. 5, Sept 1991, pp. 202-210.
4. A. M. Davis, Software Requirements, Analysis and Specification. Englewood Cliffs, N.J.: Prentice Hall, 1990.
5. E. P. Doolan, "Experience with Fagan's Inspection Method," Software-Practice and Experience, Vol. 22(2), Feb 1992, pp. 173-182.
6. S/W Development Formal Inspections Course. Version H, Sept, 1992, D-8925, Software Product Assurance, Sect. 522, Jet Propulsion Laboratory.
7. M. K. Franklin and A. Gabrelian, "A Transformational Method for Verifying Safety Properties in Real-Time Systems," in Proceedings of the Real-Time Systems Symposium, 1989, pp. 112-123.
8. C. Ghezzi et al., "A Unified High-Level Petri Net Formalism for Time-Critical Systems," IEEE Transactions on Software Engineering, Vol. 17, No. 2, Feb 1991, pp. 160-172.
9. 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.
10. T. A. Henziger, Z. Manna, and A. Pnueli, "Temporal Proof Methodologies for Real-Time Systems," in Proceedings of the 18th ACM Symposium on Principles of Programming Languages, 1991, pp. 353-366.
11. M. S. Jaffe, N. G. Leveson, M. P. E. Heimdahl, and B. E. Melhart, "Software Requirements Analysis for Real-Time Process-Control Systems," IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991, pp. 241-258.
12. F. Jahanian and A. K.-L. Mok, "Safety Analysis of Timing Properties in Real-Time Systems," IEEE Transactions on Software Engineering, Vol. SE-12, Sept 1986, pp. 890-904.
13. J. Kelly, J. S. Sherif, and J. Hops, "An Analysis of Defect Densities Found During Software Inspections," Journal of Systems Software, Vol. 17, 1992, pp. 111-117.
14. N. G. Leveson, "Software Safety in Embedded Computer Systems," Communications of the ACM, Vol. 34, No. 2, Feb 1991, pp. 35-46.
15. R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," Proceedings of the IEEE International Symposium on Requirements Engineering, Jan 1993, pp. 126-133.
16. R. Lutz and J. S. K. Wong, "Detecting Unsafe Error Recovery Schedules," IEEE Transactions on Software Engineering, Vol, 18, No. 8, Aug 1992, pp. 749-760.
17. N. Lynch and H. Attiya, "Using Mappings to Prove Timing Properties," MIT/LCS/TM-412.b, Dec 1989.
18. P. G. Neumann, "The Computer-Related Risk of the Year: Weak Links and Correlated Events," in Proceedings of the Sixth Annual Conference on Computer Assurance. NIST/IEEE, 1991, pp. 5-8.
19. R. R. Razouk and M. M. Gorlick, "A Real-Time Interval Logic for Reasoning About Executions of Real-Time Programs," in SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, Dec 1989, pp. 10-19.
20. J. Rushby and F. von Henke, "Formal Verification of Algorithms for Critical Systems," in SIGSOFT '91 Software for Critical Systems, Dec 1991, pp. 1-15.
21. J. M. Wing, "A Specifier's Introduction to Formal Methods," Computer, Vol. 23, Sept 1990, pp. 8-26.