Automated Assurance Case Environment

Tool and framework for automating and streamlining the creation, validation, and assessment of assurance cases. It has 4 core components: 

(1) the Evidence Manager which can process, aggregate, and curate evidence from many sources within the DevSecOps; 

(2) the pattern library, which is a collection of assurance patterns that incorporates a knowledge base of re-usable and modular patterns; 

(3) the AC creation & assessment component, based on foundations from formal methods, automatically create, and validate the assurance case and estimate the associated risks based on the evidence; 

(4) the Eval Tool, which is a developed-from-scratch user interface designed to be used by various decision makers for navigating, browsing, and exploring the status and details of the assurance case and the associated evidence.