Title :
Assessment of software risks with model-based reasoning
Author :
Hewett, Rattikorn
Author_Institution :
Dept. of Comput. Sci., Texas Tech Univ., USA
Abstract :
Current techniques that specifically address risks associated with software are lacking. Although many risk assessment techniques have been successfully applied in various safety-related systems, they often omit detailed software properties or exclude application perspectives of an entire system. Furthermore, most existing tools require manual assessment of hazard analysis. This paper presents a model-based reasoning approach for assessment of software risks by employing knowledge models of software faults and the system in which the software is used along with reasoning mechanisms that allow automated qualitative inferences for hazard analysis. We give an example of a software controller for a reactor main feed water system to illustrate the approach.
Keywords :
knowledge based systems; model-based reasoning; risk management; safety-critical software; software fault tolerance; automated qualitative inference; knowledge model; knowledge-based system; model-based reasoning; reactor main feed water system; safety-critical system; software controller; software fault; software risk assessment; Application software; Automatic control; Control systems; Hazards; Inductors; Inference mechanisms; Risk analysis; Risk management; Software quality; Software safety; Risk assessment; knowledge-based systems; safety and dependability; safety-critical systems;
Conference_Titel :
Systems, Man and Cybernetics, 2005 IEEE International Conference on
Print_ISBN :
0-7803-9298-1
DOI :
10.1109/ICSMC.2005.1571645
