Home

DARPA: Cyber Assured Systems Engineering (CASE) - VERDICT Project

Documentation to support Release 1.0.0

Contract # N6600118C4006

General Electric Research

August 14, 2020

Prepared by

Michael Durling, GE Research Heber Herencia-zapana, GE Research John Interrante, GE Research Baoluo (Paul) Meng, GE Research Abha Moitra, GE Research Kit Siu, GE Research Vidhya Tekken Valapil, GE Research

Daniel Prince, GE Aviation Systems

Cesare Tinelli, University of Iowa Omar Chowdhury, University of Iowa Daniel Larraz, University of Iowa Moosa Yahyazadeh, University of Iowa Fareed Arif, University of Iowa

Summary

Workflow

Model Building

[Introduction of Illustrative Example] (https://github.com/ge-high-assurance/VERDICT/wiki/Illustrative-Example)

Model Based Architecture Analysis & Synthesis

Cyber Resiliency Verifier

Appendix A: AADL Modeling Tutorial