MADES
Model-based methods and tools for Avionics andnsurveillance embeddeD SystEmS
| Coordinatore | TXT E-SOLUTIONS SPA
Organization address
address: Via Frigia 27 contact info |
| Nazionalità Coordinatore | Italy [IT] |
| Totale costo | 3˙623˙934 € |
| EC contributo | 2˙450˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2009-4 |
| Funding Scheme | CP |
| Anno di inizio | 2010 |
| Periodo (anno-mese-giorno) | 2010-02-01 - 2012-07-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
TXT E-SOLUTIONS SPA
Organization address
address: Via Frigia 27 contact info |
IT (Milano) | coordinator | 0.00 |
| 2 |
EADS DEUTSCHLAND GMBH
Organization address
address: Willy-Messerschmitt-Strasse contact info |
DE (OTTOBRUNN) | participant | 0.00 |
| 3 |
POLITECNICO DI MILANO
Organization address
address: PIAZZA LEONARDO DA VINCI contact info |
IT (MILANO) | participant | 0.00 |
| 4 |
SOFTEAM
Organization address
address: Avenue Victor Hugo contact info |
FR (PARIS) | participant | 0.00 |
| 5 |
UNIVERSITY OF YORK
Organization address
address: HESLINGTON HALL contact info |
UK (YORK) | participant | 0.00 |
| 6 |
X/OPEN COMPANY LIMITED
Organization address
address: THAMES TOWER 37-45 STATION ROAD contact info |
UK (READING, BERKSHIRE) | 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)
MADES aims to develop the elements of a full-fledged model-driven approach for the design, validation, simulation, and code generation of complex embedded systems to improve the current practice in the field.nThe proposal covers all the phases of the development process: from design to code generation, validation and deployment. Design activities will exploit a dedicated language developed on top of the OMG standard MARTE (Modeling and Analysis of Real-time and Embedded systems), and foster the reuse of components by annotating them with properties and constraints to ease their selection and enforce overall consistency. Validation activities will comprise the verification of key properties of designed artifacts and of the transformations used throughout the development process, and also the closed-loop simulation of the entire system. Code generation will address both conventional programming languages (e.g., C) and hardware description languages (e.g., VHDL), and will adopt compile-time virtualization techniques to smooth the impact of the diverse elements of modern hardware architectures and cope with their increasing complexity.nAll these aspects will be fully supported by prototype tools integrated in a single framework, and will be thoroughly validated on real-life case studies in the surveillance and avionic domains. The project also aims to develop a handbook to provide detailed guidelines on how to use MADES tools in the development of embedded systems and promote their adoption.