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
