D-MILS is a Specific Targeted Research Project (STREP) of the Seventh Framework Programme for research and technological development (FP7) - the European Union's chief instrument for funding research over the period 2007 to 2013.


The D-MILS Project

Modern critical systems bear great responsibilities and face escalating challenges. Distributed systems for critical applications are costly and time-consuming to develop and to certify. Since there is little automated support for early assurance that a system faithfully implements its architectural design and satisfies its requirements, qualification testing and certification processes often reveal deficiencies that require costly late changes. MILS provides compositional system construction and assurance, leveraging individually developed and assured components to predict and assure the properties of composite systems. By providing a modular high-assurance platform and a framework for the certification of systems built on that platform, MILS reduces the cost and time for development, certification, and maintenance of dependable systems.

Distributed MILS relies on extensions to a MILS separation kernel and the addition of a MILS network subsystem using a hardware-based, time-triggered Ethernet “backplane”. It will be possible, for the first time, for an application architecture to seamlessly span multiple computer systems, with scalable deterministic operation over a set of nodes, opening many new practical application areas for MILS. Automated assistance, as being developed and applied in this project, is indispensable for the development and verification of dependable distributed systems. System architects, developers, integrators, installers, operators, and particularly the organizations and populations that depend on critical systems, will benefit from the resulting assurances that many of the sources of errors that lead to added cost and dangerous failures of critical systems can be eliminated.

Results of the Distributed MILS project will establish a common framework for critical system construction and certification, encouraging innovation among component and service suppliers, and leading to improved dependability while reducing the cost to develop, certify and deploy trustworthy critical systems in the EU.

D-MILS News Forum

Paper on Compositional Analysis Using Component-Oriented Interpolation

The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored byteam members Joost-Pieter Katoen and Thomas Noll, has been accepted at the…Continue

Started by Thomas Noll in Uncategorized 17 hours ago.

Paper on secBIP, a framework to study information flow security in component-based systems

The paper "Model-driven Information Flow Security for Component-Based Systems" by UJV/Verimag team members Najah Ben Said, Saddek Bensalem, Marius Bozga in collaboration with Takoua Abdellatif from…Continue

Started by Marius Bozga in Sample Title Apr 14.

Paper on compositional verification presented at TACAS 2014

The paper "Compositional Invariant Generation for Timed Systems" by UJF/Verimag team members Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga and Jacques Combaz has been…Continue

Tags: verification, compositional

Started by Marius Bozga in Sample Title Apr 14.

Presentation at the 2nd Secure Smart Grid Workshop

The paper "Architectural design for secure smart grids" was presented at the 2nd Secure Smart Grid Workshop. It presents how the D-MILS approach is applied to secure smart grid systems. The…Continue

Started by Jean Quilbeuf in Sample Title Mar 11.

D-MILS Presentation

D-MILS is partially funded by the European Commission under the 7th Framework Programme for Information and Communications Technologies.

Any opinions expressed on these pages are those of the author / organisation and do not necessarily reflect the views of the European Commission.


D-MILS Partners









© 2014   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service