Training presentations describing many of the components developed in the CITADEL project are provided below as an introduction to the new technologies for protecting critical infrastructures.

Introduction to CITADEL

MILS architectural approach

Software Modeling and Verification

CITADEL Platform Architecture

Modeling, Specification and Verification Tools

Communications monitoring

State monitoring


CITADEL configuration and reconfiguration synthesis

Adaptation Engine

CITADEL context awareness

Adaptive MILS Evidential Tool Bus

Assurance Cases

Certification readiness strategy

Model based adaptation

Configuring communications monitoring

State monitoring configuration

Project Partners