Evaluation of Safety-Critical Software

Communications of the ACM

Volumn 33, Issue 6, 1990, Pages 636-648

  Parnas, David L ^a   van Schouwen, A John ^a   Kwan, Shu Po ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CODES, SYMBOLIC--STANDARDS; COMPUTER METATHEORY--COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING--PROGRAM DOCUMENTATION; CONTROL SYSTEMS, DIGITAL--TESTING; DATA PROCESSING--DATA STRUCTURES;

CLEAN ROOM SOFTWARE DEVELOPMENT PROCESS; INDEPENDENT VERIFICATION AND VALIDATION (V&V); SAFETY-CRITICAL SOFTWARE TESTING; SOFTWARE STANDARDS;

COMPUTER SOFTWARE;

EID: 0025436318     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/78973.78974     Document Type: Article

References (11)

1. Britton, K., and Parnas, D. A-7E software module guide. NRL Memo. Rep. 4702, December 1981.
2. Clements, P., Faulk, S., and Parnas, D. Interface specifications for the SCR (A-7E) application data types module. NRL Rep. 8734, August 23, 1983.
3. Currit, P.A., Dyer, M., and Mills, H.D. Certifying the reliability of software. IEEE Trans. Softw. Eng. SE-12, 1 (Jan. 1986).
4. Heninger, K. Specifying software requirements for complex systems: New techniques and their applications. IEEE Trans. Softw. Eng. SE-6, (Jan. 1980), 2-13.
5. Hester, S.D., Parnas, D.L., and Utter, D.F. Using documentation as a software design medium. Bell Syst. Tech. J. 60, 8 (Oct. 1981), 1941-1977.
6. Knight, J.C., and Leveson, N.G. An experimental evaluation of the assumption of independence in multi-version programming. IEEE Trans. Softw. Eng. SE-12, 1 (Jan. 1986), 96-109.
7. Knight, J.C., and Leveson, N.G. An empirical study of failure probabilities in multi-version software. Rep.
8. Leveson, N. Software safety: Why, what and how. ACM Comp. Surveys 18, 2 (June 1986), 125-163.
9. Mills, H.D. Engineering discipline for software procurement. COMPASS ‘87-Computer Assurance, June 29-July 3, 1987. Georgetown University, Washington, D.C.
10. Mills, H.D. The new math of computer programming. Commun. ACM 18, 1 (Jan. 1975), 43-48.
11. Mills, H.D., Basili, V.R., Gannon, J.D., and Hamlet, R.G. Principles of Computer Programming-A Mathematical Approach. Allyn and Bacon, Inc., 1987.