Distributed MILS for Dependable Information and Communication Infrastructures

Project Information

D-MILS

Grant agreement ID: 318772

Project closed

Start date 1 November 2012

End date 31 October 2015

Funded under

• Specific Programme "Cooperation": Information and communication technologies

Total cost € 3 842 243,00

EU contribution € 2 850 000,00

Coordinated by

The Open Group Limited
United Kingdom

Other documents

• 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