25 Sep 2013

EC invests millions of Euros to boost critical systems safety

European Commission-supported project - The Distributed MILS for Dependable Information and Communication Infrastructures (D-MILS) - is to invest nearly €4 million to develop a scalable architecture that automates the verification of critical distributed systems and promises to boost system dependability.

The project is being managed by IT standards and certifications body, The Open Group, and aims to deliver a supplier-independent architecture that will include newly designed components that promise added predictability and reliability crucial to critical distributed applications.

The project will also deliver new tools to increase improve productivity, system verification costs, and lower costs for maintenance.

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.

However, 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.

According to David Lounsbury, Chief Technical Officer, The Open Group, the project will support systems architects, developers, integrators, operators, and particularly the organizations and people that depend on for 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.

“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," he says. "This will enable more complex systems to be developed for critical applications that must meet rigorous requirements for security and dependability”.

Critical applications for the project include Automotive and Aerospace, as well as emerging domains such as Cloud Computing and Big Data analytics.

The D-MILS consortium includes: Fondazione Bruno Kessler, Université Joseph Fourier, RWTH Aachen University and University of York.

Key suppliers of technologies for the project include LynuxWorks, TTTech, Frequentis and fortiss.

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.

Most popular news in Telecoms & networks

Talari expands SD-WAN platform for hosted apps service-chaining
du trials Nokia software defined access networks
G+D Mobile Security & Senet partner to strengthen LoRaWAN security
PowerVR offers lowest bandwidth Neural Network solution
ZTE releases CO re-architecting white paper

All news in this channel | All news


Share this page


Want more like this? Register for our newsletter






Too good to be true - the cost of counterfeit electronics and how to avoid them Miguel Fernandez | Avnet EMEA
Too good to be true - the cost of counterfeit electronics and how to avoid them
The issue of counterfeit electronic components is one that has troubles the electronics industry - using them can have some major issues, everything from being removed from a preferred suppliers list to a reduction in quality.
Training
Online - Transmission Lines, S-Parameters & Smith Chart
Understand these essential concepts without complex mathematics

More training courses

Whitepapers
LTE Advanced Pro and Road to 5G
Chapter 1 of the new book by Dahlman et al on the latest cellular developments and current 5G status. Get this free download.

More whitepapers










Radio-Electronics.com is operated and owned by Adrio Communications Ltd and edited by Ian Poole. All information is © Adrio Communications Ltd and may not be copied except for individual personal use. This includes copying material in whatever form into website pages. While every effort is made to ensure the accuracy of the information on Radio-Electronics.com, no liability is accepted for any consequences of using it. This site uses cookies. By using this site, these terms including the use of cookies are accepted. More explanation can be found in our Privacy Policy