Evaluation of safety-critical software

ABSTRACT

Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users.

REFERENCES

• 1: Britton, K., and Parnas, I). 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-TE) application data types module. NRL Rep. 8734, August 23, 1983.
• 3: P A Currit , M Dyer , H D Mills, Certifying the reliability of software, IEEE Transactions on Software Engineering, v.12 n.1, p.3-11, 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: J. C. Knight , N. G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming, IEEE Transactions on Software Engineering, v.12 n.1, p.96-109, Jan. 1986
• 7: Knight, J.C., and Leveson, N.G. An empirical study of failure probabilities in multi-version software. Rep.
• 8: Nancy G. Leveson, Software safety: why, what, and how, ACM Computing Surveys (CSUR), v.18 n.2, p.125-163, June 1986 [doi>10.1145/7474.7528]
• 9: Mills, H.D. Engineering discipline for software procurement. COM- PASS '87--Computer Assurance, June 29-July 3, 1987. Georgetown University, Washington, D.C.
• 10: Harlan D. Mills, The new math of computer programming, Communications of the ACM, v.18 n.1, p.43-48, Jan. 1975 [doi>10.1145/360569.360659]
• 11: Harlan D. Mills, Princples of Computer Programming, Allyn & Bacon, Inc., Needham Heights, MA, 1987
• 12: Michael Dyer, A formal approach to software error removal, Journal of Systems and Software, v.7 n.2, p.109-114, June 1, 1987 [doi>10.1016/0164-1212(87)90015-X]
• 13: Richard C. Linger , Bernard I. Witt , H. D. Mills, Structured Programming; Theory and Practice the Systems Programming Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
• 14: Parker, A., Heninger, K., Parnas, D., and Shore, J. Abstract interface specifications for the A-7E device interface module. NRL Memo. Rep. 4385, November 20, 1980.
• 15: David Lorge Parnas, Education for Computing Professionals, Computer, v.23 n.1, p.17-22, January 1990 [doi>10.1109/2.48796]
• 16: D L Parnas , P C Clements, A rational design process: How and why to fake it, IEEE Transactions on Software Engineering, v.12 n.2, p.251-257, Feb. 1986
• 17: Parnas, D.L., Heninger, K., Kallander, J., and Shore, J. Software requirements for the A-7E aircraft. NRL Rep. 3876, November 1978.
• 18: Parnas, D.L., and Wang, Y. The Trace assertion method of moduleinterface specification. Tech. Rep. 89-261, Queen's University, TRIO {Telecommunications Research Institute of Ontario). October 1989.
• 19: David L. Parnas , David M. Weiss, Active design reviews: principles and practices, Proceedings of the 8th international conference on Software engineering, p.132-136, August 28-30, 1985, London, England

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Reliability

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  J. Computer Applications
  J.7 COMPUTERS IN OTHER SYSTEMS
      Subjects: Real time

General Terms:
Design, Documentation, Human Factors, Measurement, Reliability