ملخص: Software safety issues become important when computers are used to control real- time, safety- critical processes. This survey attempts to explain why there is a problem, what the problem is, and what is known about how to solve it. Since this is a relatively new software research area, emphasis is placed on delineating the outstanding issues and research topics.

لغة: إنجليزية