A quantitative risk-based model for reasoning over critical system properties
Martin S. Feather · 2002
The workshop description lists security, safety, survivability, fault-tolerant, and real-time as included among the critical properties that may be required of high assurance systems. Each of these is an active area of ongoing research. It is a daunting challenge to develop systems that satisfy several of them at once, yet there is a pressing need to do so for many high assurance systems. This position paper suggests the use of a quantitative risk-based model to help in such situations. The aim is to support reasoning and decision making that spans many of these critical properties. The potential benefits include prioritization of the challenges that high assurance system development efforts face, ability to identify solutions to match the challenges, identification of the areas of weakness where further research is warranted, and improved understanding of the strengths and weaknesses of a particular system.