An Approach to Modeling Software Safety in Safety-Critical Systems
Source: Science Publications
The notion of software safety was first mentioned in the Mil-Std-1574A which required analysis of software to identify and eliminate software errors relating to safety critical commands and control functions of space and missile systems. Since then, the role of software has becoming increasingly important and is being used in many critical applications, such as avionics, vehicle control systems, medical systems, manufacturing, power systems and sensor networks. A safety-critical system is one that has the potential to cause accidents. Software is hazardous if it can cause a hazard, i.e., cause other components to become hazardous or if it is used to control a hazard.