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.
Original language | English |
---|---|
Pages (from-to) | 3238-3243 |
Number of pages | 6 |
Journal | Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics |
Volume | 4 |
State | Published - 2005 |
Event | IEEE Systems, Man and Cybernetics Society, Proceedings - 2005 International Conference on Systems, Man and Cybernetics - Waikoloa, HI, United States Duration: Oct 10 2005 → Oct 12 2005 |
Keywords
- Knowledge-based systems
- Risk assessment
- Safety and dependability
- Safety-critical systems