Hola,
Are you new here?

MADES

financed

Model based methods and tools for Avionics and nsurveillance embeddeD SystEmS

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.The proposal covers al... see more

31/07/2012

TXT ESOLUTIONS SPA

4M€

Project Budget: 4M€

Project leader

TXT ESOLUTIONS SPA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

PARTICIPATION DEPralty Sin fecha límite de participación.

Ver 6 Participantes

Financing granted El organismo FP7 notifico la concesión del proyecto The day 2012-07-31 We do not have the information of the call

0% 68% 100%

characteristics of the participant

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Private Information

No hay información privada compartida para este proyecto. Habla con el coordinador.

6 Participantes

TXT ESOLUTIONS SPA

0.00€ | Leader

AIRBUS DEFENCE AND SPACE GMB...

N.D. | participant

UNIVERSITY OF YORK

N.D. | participant

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Project leader

TXT ESOLUTIONS SPA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Project Budget 4M€

participation deadline Sin fecha límite de participación.

Project description 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.The 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.All 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.

Conecta tu I+D

Entra hoy

Forgot your password?

Financing

Companies

CTIs/Universidades

Projects

researchers