Assessment of software risks with model-based reasoning

Author

Hewett, Rattikorn

Author_Institution

Dept. of Comput. Sci., Texas Tech Univ., USA

Volume

4

fYear

2005

fDate

10-12 Oct. 2005

Firstpage

3238

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2005 IEEE International Conference on

Print_ISBN

0-7803-9298-1

Type

conf

DOI

10.1109/ICSMC.2005.1571645

Filename

1571645