Resolint

Overview

Resolint is a lightweight linter tool used to check compliance of Architecture Analysis and Design Language (AADL) models. The tool provides a language to specify style guide rule sets using the AADL annex capability. Results of analysis are used in a companion tool called Resolute as evidence in a system assurance case.

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

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.