CITADEL

European H2020, 2016-2019

CITADEL will build on the MILS technology accomplishments of D-MILS and Euro-MILS, and perform
the research and development necessary to create adaptive MILS systems. We propose to use adaptive MILS in new
and evolving adaptive systems contexts having strategic focus within the EU, such as Critical Infrastructures and the
Internet of Things, where adaptability is a crucial ingredient for the safety and security of future systems, and where
the rigorous construction and verification made possible by MILS holds particular promise.