Peter G. Neumann. Illustrative risks to the public in the use of computer systems and related technology. ACM Software Engineering Notes, 17(1):23--32, January 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....last decade, such systems have come under more and more scrutiny as computers pervade all areas of our lives, especially in embedded applications. The software currently used in computers has itself become so complex that it is not trustworthy and has caused human injury and death as a result. [108] provides a list of incidents that is updated annually.Upuntil relatively recently it has not been considered feasible to use formal techniques to verify such software in an industrial setting [61] Now that some case studies and examples of real use are available, formal methods are becoming more ....

NEUMANN, P.G.: `Illustrative risks to the public in the use of computer systems and related technology', ACM SIGSOFT Software Engineering Notes,January 1992, 16, (1), pp. 23--32

....traffic control, banking, and nuclear reactor control are all applications that fit into this category. Moreover, there are many, well documented instances where problems in hardware and or software have in fact caused system failures resulting in loss of life or substantial economic disruptions [Neu91] Distributed systems, where a collection of processors are connected by a network with no physically shared memory, are often used as a basis for providing highly dependable computing services. One reason for this is that many critical applications are process control situations in which the ....

P.G. Neumann. Illustrative risks to the public in the use of computer systems and related technology. Software Engineering Notes, 16(1):2--9, Jan 1991.

....on the use of computers, and especially on the software in them. Deaths due to software have occurred (e.g. the Therac 25 radiotherapy machine, where the dosage editor was poorly designed [24] For one of the most comprehensive lists of the problems brought about by the use of computers, see [32], that has been updated annually, and the associated electronic RISKS newsgroup and mailing list from which the list is derived. The industrial use of formal methods in safetycritical systems is on this increase, and it is generally accepted that formal methods have potential benefits and are ....

Neumann, P.G.: Illustrative risks to the public in the use of computer systems and related technology, ACM SIGSOFT Software Engineering Notes, January 1992, 17, (1), pp. 23--32

....the last decade, such systems have come under more and more scrutiny as computers pervade all areas of our lives, especially in embedded applications. The software currently used in computers has itself become so complex that it is not trustworthy and has caused human injury and death as a result. [108] provides a list of incidents that is updated annually. Up until relatively recently it has not been considered feasible to use formal techniques to verify such software in an industrial setting [61] Now that some case studies and examples of real use are available, formal methods are becoming ....

NEUMANN, P.G.: `Illustrative risks to the public in the use of computer systems and related technology', ACM SIGSOFT Software Engineering Notes, January 1992, 16, (1), pp. 23--32

....traffic control, banking, and nuclear reactor control are all applications that fit into this category. Moreover, there are many, well documented instances where problems in hardware and or software have in fact caused system failures resulting in loss of life or substantial economic disruptions [Neum91]. Fault tolerant services such as group multicast and membership are important abstractions that help simplify the development of distributed systems with this type of fault tolerance requirements. Unfortunately, these protocols are often very complicated in their own right, which makes their ....

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems and Related Technology. Software Engineering Notes 16, 1 (Jan. 1991), 2-9.

....Methods Research Program NASA Langley Research Center has been developing techniques for the design and validation of flight critical systems for over two decades. Although much progress has been made in developing methods to accommodate physical failures, design flaws remain a serious problem [1, 2, 3, 4, 5, 6, 7]. A 1991 report by the National Center For Advanced Technologies 1 iden 1 A technical council funded by the Aerospace Industries Association of America (AIA) that represents the major U.S. aerospace companies engaged in the research, development and manufacture of aircraft, missiles and space ....

Peter G. Neumann, "Illustrative risks to the public in the use of computer systems and related technology", ACM Software Engineering Notes, vol. 19, pp. 16--29, Jan. 1994.

No context found.

Peter G. Neumann, Illustrative Risks to the Public in the Use of Computer Systems and Related Technology. [Attached]

No context found.

Peter G. Neumann. Illustrative risks to the public in the use of computer systems and related technology. ACM Software Engineering Notes, 17(1):23--32, January 1992.

No context found.

P. G. Neumann (compiler), "Illustrative Risks to the Public in the Use of Computer Systems and Related Technology," ACM Software Eng. Notes, vol. 16, no. 1, Jan. 1991, pp. 2--9. 250

No context found.

P.G. Neumann, "Illustrative Risks to the Public in the Use of Computer Systems and Related Technology," http://www.csl.sri.com/users/neumann/illustrative.html.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC