What is TRADES
- TRADES is a model-based engineering methodology for supporting the design and assessment of systems from a security perspecteive.
The TEADES metamodel
- system-composition-related elements
- threat-analysis-related elements
- risk-management-related elements
Eclipse Modeling Framework
- An Eclipse-based modeling framework and code generation facility for building tools and other applications based on a structured data model.
Ecore
- the core metamodel at the heart of EMF. It allows expressing other models by leveraging its constucts.
AADL
- Architecture Analysis and Design Language
VERDICT
Two capabilities
1
2
- Model-based Architecture Analysis and Synthesis
- Cyber-Resiliency Verifier