Citation:Requirements for High Assurance Systems Workshop Essen, Germany
Abstract:
This position paper suggests the use of a quantitative risk-based model to help support reeasoning and decision making that spans many of the critical properties such as security, safety, survivability, fault tolerance, and real-time.