Assessment of software risks with model-based reasoning

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations


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 languageEnglish
Pages (from-to)3238-3243
Number of pages6
JournalConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 2005
EventIEEE Systems, Man and Cybernetics Society, Proceedings - 2005 International Conference on Systems, Man and Cybernetics - Waikoloa, HI, United States
Duration: Oct 10 2005Oct 12 2005


  • Knowledge-based systems
  • Risk assessment
  • Safety and dependability
  • Safety-critical systems


Dive into the research topics of 'Assessment of software risks with model-based reasoning'. Together they form a unique fingerprint.

Cite this