Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Overview

VERDICT analyzes systems at the architectural level with AADL, leveraging two back-end tools: Model Based Architecture Analysis and Synthesis (MBAAS) and Cyber Resiliency Verification (CRV). 

MBAAS analyzes a provided architecture, identifying cyber vulnerabilities and recommending appropriate defenses. AGREE can also be used with the VERDICT tool to refine the architecture model. 

CRV identifies vulnerabilities through formal analysis of an updated model. CRV enables earlier catching of design mistakes by providing analysis that includes behavioral details of architectural component models.

Links

Acknowledgements
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.