Special Feature A Survey of Methods of Achieving Reliable Software

1 February 1977

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 10 (2) , 44-53
https://doi.org/10.1109/c-m.1977.217647

Abstract

As organizations become more dependent on computers, they become more sensitive to computer system failures. The importance of computer reliability in realtime control systems (e.g., communications systems^8,15and traffic control systems) has been recognized for some time. Many computer users are now becoming aware that they accomplish more on systems which seldom crash because of malfunctions than on systems which run very rapidly (and correctly) between frequent crashes. Consequently, increasing emphasis is being placed by users and vendors on the reliability of the total system, and particularly the system software. A notable example of this is the emphasis placed by IBM on reliability concerns in the design and implementation of OS/VS2 Release 2.^35,36

Keywords

This publication has 16 references indexed in Scilit:

Virtual Machine Technology: A Bridge From Large Mainframes To Networks Of Small Computers
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
In defense of program testing or correctness proofs considered harmful
ACM SIGPLAN Notices, 1976
A computer network monitoring system
IEEE Transactions on Software Engineering, 1975
Advanced function extended with tightly-coupled multiprocessing
IBM Systems Journal, 1974
Testing a multiprogramming system
Software: Practice and Experience, 1973
Proving the adequacy of protection in an operating system
Published by Association for Computing Machinery (ACM) ,1973
Functional structure of IBM virtual storage operating systems, Part II: OS/VS2-2 concepts and philosophies
IBM Systems Journal, 1973
Administration and Maintenance Plan
Bell System Technical Journal, 1969
The structure of the “THE”-multiprogramming system
Communications of the ACM, 1968
No. 1 ESS Maintenance Plan
Bell System Technical Journal, 1964