The EURO-MILS Project

EURO-MILS: Secure European virtualisation for trustworthy applications in critical domains.

EURO-MILS is a three-year joint research project that has started on October 1, 2012. It has received funding from the European Union’s Seventh Framework Programme. 

The main outcomes of the EURO-MILS project are to develop market relevant technologies and concepts for virtualization of heterogeneous embedded systems and the formal verification for these systems as part of rigorous cross-European security certification:

• Trustworthy foundations based on the MILS approach, architecture, and applications
• A European MILS virtualization platform and its usage
• High assurance backed by the “Common Criteria for Information Technology Security” standard
• A true cross-European certification 

The role of SYSGO within this project is to provide the foundation of the strategic initiative of EURO-MILS with its Safe & Secure Virtualization RTOS PikeOS. PikeOS is MILS compliant and already used in some market segments requiring safety and security but the EURO-MILS project will expand its suitability to an even broader range of applications.

The project involves the following partners:

Airbus, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, JEMM Research, Open Universeit Nederland, OpenSynergy GmbH, SYSGO, Technikon Forschungs- und Planungsgesellschaft mbH, Thales Communications & Security, T-Systems International GmbH, Universiteit Gent, University of Paris-Sud.  

For more information please go to EURO-MILS.