Distributed MILS for Dependable Information and Communication Infrastructures

Informazioni relative al progetto

D-MILS

ID dell’accordo di sovvenzione: 318772

Progetto chiuso

Data di avvio 1 Novembre 2012

Data di completamento 31 Ottobre 2015

Finanziato da

• Specific Programme "Cooperation": Information and communication technologies

Costo totale

€ 3 842 243,00

Contributo UE

€ 2 850 000,00

Coordinato da

The Open Group Limited
United Kingdom

Altri documenti

• Industrial evaluation of distributed MILS for Frequentis Voice Service
• Integration of formal evidence and expression in MILS assurance case
• Compositional verification techniques and tools for distributed MILS - part 2
• Industrial evaluation of distributed MILS for smart microgrids
• D5.2 MILS Platform Configuration compiler