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.