Model Based System Assurance Using the Structured Assurance Case Metamodel

Ran Wei, Tim P. Kelly, Xiaotian Dai +2

Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries…