Resolute

Overview

As a language and tool for developing architectural assurance cases, Resolute utilizes user specified rules for constructing assurance cases and providing an architectural model. Using the architectural model, Resolute will instantiate these rules and search for a complete assurance case. The architectural model is specified in AADL and rules are specified in a Prolog-like logical language.

Resolute is part of the BriefCASE toolchain. To explore and launch this tool within the full workflow, return to the BriefCASE page.

Links

Acknowledgements
Explore within BriefCASE Framework
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.