An assurance case language for architecture models
Resolute instantiates those rules based on the architectural model and searches for a complete assurance case. The rules are specified in a Prolog-like logical language, and the architectural model is specified in AADL.
An assurance case is a structured argument, often represented with a graphical interface, that presents and supports claims about a system's behavior. The ...
Sep 16, 2014 · Our solution is a framework for automatically generating assurance cases based on 1) a system model specified in an architectural design ...
An assurance case is a structured argument, often represented with a graphical interface, that presents and supports claims about a system's behavior. The ...
This work argues that the rigor of these automatically generated assurance cases exceeds those of traditional assurance case arguments because of their more ...
Nov 21, 2024 · PDF | Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case.
Sep 16, 2014 · ABSTRACT. Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case.
Resolute: An assurance case language for architecture models · Computer Science and Engineering · University of Minnesota.
Our solution is a framework for automatically generating assurance cases based on 1) a system model specified in an architectural design language, 2) a set of ...
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Michael W. Whalen Resolute: an assurance case language for architecture models. HILT, 2014.