The €3.8m European D-MILS (distributed multiple independent levels of security) project aims to to develop a scalable architecture that automates the verification of critical distributed systems and substantially increases system dependability. This supplier-independent architecture will incorporate newly designed components that provide added predictability and reliability essential for critical distributed applications, along with new tools delivering improvements in developer productivity, system verification costs, and lower costs for maintenance.
MILS uses individually developed and assured components to predict and assure the properties of composite systems, which reduces the cost and time for development, certification, and maintenance of dependable systems. The Distributed MILS technologies being developed in the D-MILS project will make it possible to automate and substantially lower the certification costs for complex critical applications that operate across multiple systems in domains such as automotive and aerospace, as well as emerging domains such as cloud computing, IoT and ‘big data’ analytics.
Coordinated by The Open Group, the D-MILS consortium includes Fondazione Bruno Kessler, Université Joseph Fourier, RWTH Aachen University and University of York, each of which are renowned centers for research in technologies for security and dependability; leading suppliers of technologies for developing dependable systems LynuxWorks and TTTech; and suppliers of solutions for industry Frequentis and fortiss, both leading European providers of secure and dependable systems for automotive, manufacturing, and aerospace systems. The Open Group is directing the advanced research in the new technologies and tools that will enable MILS to be exploited for critical distributed systems applications where high levels of assurance and reliability are required by industry.
“The D-MILS project brings together experts addressing each of the technologies required for creating a distributed architecture that is predictable, dependable and fully certifiable for complex critical applications,” said David Lounsbury, Chief Technical Officer of The Open Group. “We’re confident the Distributed MILS Architecture will enable new applications to be developed that address the increasing complexities and distributed nature of critical systems in Avionics, Automotive, Communications and other related domains.”
The D-MILS project will address key technology areas including: High-level specifications in declarative languages; Top-to-Bottom automated support for architecture, design, and implementation artifacts; End-to-End from concept through deployment; Configurability of distribution; Compositional verification of dependability and security properties; and Integrated Assurance for Compositional System Certification.
The advancements are being driven by industrial requirements and will be validated with industrial applications being developed by partners in the project. The technologies are expected to dramatically change the way critical systems are designed providing important benefits in managing the complexity and improving the dependability of future critical systems.
“The results from the D-MILS project will support systems architects, developers, integrators, operators, and particularly the organizations and people that depend on critical systems, by providing greater assurance that many of the sources of errors that lead to added cost and dangerous failures of critical systems are eliminated” said Lounsbury. “The development results will mark the first time we will have an industry application architecture that can seamlessly span multiple computer systems with scalable deterministic operation. This will enable more complex systems to be developed for critical applications that must meet rigorous requirements for security and dependability”.
D-MILS is part of the 7th Framework Programme and will run through autumn 2015.
The technical storage or access is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user, or for the sole purpose of carrying out the transmission of a communication over an electronic communications network.
The technical storage or access is necessary for the legitimate purpose of storing preferences that are not requested by the subscriber or user.
The technical storage or access that is used exclusively for statistical purposes.The technical storage or access that is used exclusively for anonymous statistical purposes. Without a subpoena, voluntary compliance on the part of your Internet Service Provider, or additional records from a third party, information stored or retrieved for this purpose alone cannot usually be used to identify you.
The technical storage or access is required to create user profiles to send advertising, or to track the user on a website or across several websites for similar marketing purposes.