D-MILS
Distributed MILS for Dependable Information and Communication Infrastructures
| Coordinatore | X/OPEN COMPANY LIMITED
Organization address
address: Avenue du Parc de Woluwe 56 contact info |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 3˙842˙243 € |
| EC contributo | 2˙850˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2011-8 |
| Funding Scheme | CP |
| Anno di inizio | 2012 |
| Periodo (anno-mese-giorno) | 2012-11-01 - 2015-10-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
X/OPEN COMPANY LIMITED
Organization address
address: Avenue du Parc de Woluwe 56 contact info |
UK (Brussels) | coordinator | 0.00 |
| 2 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: RUE MICHEL -ANGE contact info |
FR (PARIS) | participant | 0.00 |
| 3 |
FONDAZIONE BRUNO KESSLER
Organization address
address: VIA SANTA CROCE contact info |
IT (TRENTO) | participant | 0.00 |
| 4 |
FORTISS GMBH
Organization address
address: BOLTZMANNSTRASSE contact info |
DE (GARCHING) | participant | 0.00 |
| 5 |
FREQUENTIS AG
Organization address
address: Innovationsstrasse contact info |
AT (WIEN) | participant | 0.00 |
| 6 |
LYNUXWORKS SARL
Organization address
address: RUE PIERRE CURIE contact info |
FR (ST CYR L ECOLE) | participant | 0.00 |
| 7 |
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Organization address
address: Templergraben contact info |
DE (AACHEN) | participant | 0.00 |
| 8 |
TTTECH COMPUTERTECHNIK AG
Organization address
address: SCHONBRUNNER STRASSE contact info |
AT (WIEN) | participant | 0.00 |
| 9 |
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
Organization address
address: Avenue Centrale, Domaine Universitaire contact info |
FR (GRENOBLE) | participant | 0.00 |
| 10 |
UNIVERSITY OF YORK
Organization address
address: HESLINGTON HALL contact info |
UK (YORK) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
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.nnMILS 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.nnDistributed 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.nnAutomated 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.nnResults 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.