• Facts:
    • Project name: Secure European virtualisation for trustworthy applications in critical domains
    • Project acronym: EURO-MILS
    • Project Coordinator: Technikon Forschungs- und Planungsgesellschaft mbH
    • Project start: October 2012
    • Project duration: 3 years

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement n° 318353


EURO-MILS Leaflet.pdf
476 KB


Project Partners:


Secure European virtualisation for trustworthy applications in critical domains

The mission of the EURO-MILS project is to develop a solution for virtualisation of heterogeneous resources and provide strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods.


Based on embedded systems, cyber-physical networks are part of our society, and gain wider spread and importance. Next generations of aircraft and cars will be tightly interconnected with each other, with the internet, and other infrastructures. The same holds for many industries and areas of our life such as healthcare, energy, finance, and mobile. Non-secured network devices can be hacked and exploited to affect their functionality, change control, or steal specific information. In order to provide secure and safe trustworthiness and exclude devastating, unauthorized use of critical systems, to control access in an organized and certifiable fashion, the EURO-MILS project is introducing into the European trustworthy ICT landscape a verified and design-validated MILS platform: a small virtualisation platform that offers the secure decomposition of complex embedded systems into independent components. As the aim is ambitious, our work is put onto very strong foundations:
  • The MILS approach in generally has already been tried and tested in the US.
  • The separation kernel to be used in the EURO-MILS project has undergone avionic certification and is deployed in commercial aircrafts.
  • EURO-MILS consortium members have high industry expertise and experience in computer-supported verification (“formal methods”) and assurance validation (“Common Criteria” certification).



  • To address the problem of trustworthiness, we introduce the certified MILS platform into the ecosystem of European trustworthy ICT. The EURO-MILS platform will
  • fit the technological, business, and legal environments
  • generate trust by design – the EURO-MILS platform will allow composition of complex trustworthy systems following the MILS approach
  • generate trust by high-assurance – the EURO-MILS platform will go through a computer-supported verification (“formal methods”) as well as a strong human validation (“Common Criteria” security standard certification)
  • be strongly aligned with European industrial needs and two prototypes in avionics and automotive will be co-developed to the MILS platform.



The EURO-MILS consortium consists of six leading European industrial companies, one leading European Research Company, four European SMEs, and three European universities. These fourteen project partners from five European Countries (Austria, Germany, Belgium, France, and Netherlands) form a complete chain stretching from basic research and service design, via applied research, independent assessment, up to end-user oriented service providers.
Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok Decline