Targeting safety-related errors during software requirements analysis

Journal of Systems and Software

Volumn 34, Issue 3, 1996, Pages 223-230

  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

COMPUTER HARDWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR CORRECTION; INTERFACES (COMPUTER); PROCESS CONTROL; PROGRAM DEBUGGING; SPACECRAFT; SYSTEM PROGRAM DOCUMENTATION; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

SAFETY CHECKLIST; SAFETY RELATED ERRORS; SOFTWARE ERRORS; SOFTWARE REQUIREMENTS ANALYSIS; SYSTEM INTERFACE; SYSTEM SAFETY;

SOFTWARE ENGINEERING;

EID: 0030231447     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00077-1     Document Type: Article

References (21)

1. ANSI/IEEE Standard Glossary of Software Engineering Terminology, IEEE, New York, 1983.
2. Cullyer, J., Safety-Critical Control Systems, Comp. Control Eng. J., 2, 202-210 (1991).
3. Davis, A. M., Software Requirements, Analysis and Specification. Prentice-Hall, Englewood Cliffs, New Jersey, 1990.
4. Doolan, E. P., Experience with Fagan's Inspection Method, Software Pract. Exp. 22, 173-182 (1992).
5. Franklin, M. K., and Gabrelian, A., A transformational method for verifying safety properties in real-time systems, in Proceedings of the Real-Time Systems Symposium, 1989, pp. 112-123.
6. Ghezzi, C., Mandrioli, D., Morasca, S., and M. Pezzè, A Unified High-Level Petri Net Formalism for Time-Critical Systems, IEEE Trans. Software Eng. 17, 160-172 (1991).
7. Gray, E. M., and Thayer, R. H., Requirements, in Aerospace Software Engineering: A Collection of Concepts (C. Anderson and M. Dorfman, eds.), AIAA, Washington, D.C., 1991, pp. 89-121.
8. Henzinger, T. A., Manna, Z., and Pnueli, A., Temporal proof methodologies for real-time systems, in Proceedings of the 18th ACM Symposium on Principles of Programming Languages, 1991, pp. 353-366.
9. Jaffe, M. S., Leveson, N. G., Heimdahl, M. P. E., and Melhart, B. E., Software Requirements Analysis for Real-Time Process-Control Systems, IEEE Trans. Software Eng. 17, 241-258 (1991).
10. Jahanian, F., and Mok, A. K.-L., Safety Analysis of Timing Properties in Real-Time Systems, IEEE Trans. Software Eng. SE-12, 890-904 (1986).
11. Jet Propulsion Laboratory, S/W Development Formal Inspections Course, Version H, D-8925, Software Product Assurance, Sect. 522, Jet Propulsion Laboratory, 1992.
12. Kelly, J., Sherif, J. S., and Hops, J., An Analysis of Defect Densities Found During Software Inspections, J. Syst. Software 17, 111-117 (1992).
13. Ladkin, P. B., and Vogt, F. H., eds., Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, TR-90-060, International Computer Science Institute, Berkeley, California, 1990.
14. Leveson, N. G., Software Safety in Embedded Computer Systems, Comm. ACM 34(2) 35-46 (1991).
15. Lutz, R., Analyzing software requirements errors in safety-critical, embedded systems, in Proceedings of the IEEE International Symposium on Requirements Engineering, 1993, pp. 126-133.
16. Lutz, R., and Wong, J. S. K., Detecting Unsafe Error Recovery Schedules, IEEE Trans. Software Eng. 18, 749-760 (1992).
17. Lynch, N., and Attiya, H., Using Mappings to Prove Timing Properties, Laboratory for Computer Science, MIT, Cambridge, MA, Technical Report MIT/LCS/TM-412.b, 1989.
18. Neumann, P. G., 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. Razouk, R. R., and Gorlick, M. M., A real-time interval logic for reasoning about executions of real-time programs, in SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, 1989, pp. 10-19.
20. Rushby, J., Formal Methods and Digital Systems Validation for Airborne Systems, SRI International, Menlo Park, CA, CSL Technical Report SRI-CSL-93-07, 1993.
21. Wing, J. M., A Specifier's Introduction to Formal Methods, Computer 23, 8-26 (September 1990).