Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

CERTAINTY

Financiado

Cerrado

CErtification of Real Time Applications desIgNed for mixed criticaliTY

Pushed by economical and ecological stakes, embedded systems from the avionics, automotive and automation domains, featuring real-time, safety and critical capabilities have to face increasing performance needs that will no more b... ver más

31/10/2014

THALES

4M€

Presupuesto del proyecto: 4M€

Líder del proyecto

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

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 9 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2014-10-31 No tenemos la información de la convocatoria

0% 71% 100%

Información adicional privada

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

9 Participantes

THALES

0.00€ | Lider

ABSINT

N.D. | Participante

CNRS

N.D. | Participante

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

Proyectos interesantes

CUSTOMER Customizable Embedded Real Time Systems Challenges and Ke... 2M€ Cerrado

MASTECS Multicore Analysis Service and Tools for Embedded Critical S... 3M€ Cerrado

EMC2 Embedded Multi-Core Systems for Mixed Criticality Applicatio... 93M€ Cerrado

T-CREST Time predictable Multi Core Architecture for Embedded System... 4M€ Cerrado

EMC2 Embedded Multi Core Systems for Mixed Criticality Applicatio... 93M€ Cerrado

MultiPARTES Multi cores Partitioning for Trusted Embedded Systems 4M€ Cerrado

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 4M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Pushed by economical and ecological stakes, embedded systems from the avionics, automotive and automation domains, featuring real-time, safety and critical capabilities have to face increasing performance needs that will no more be satisfied by existing architectures based on single-cores. Current trends are to take benefit from multi-core processors high performance in replacing single-cores by multi-cores which raises predictability and isolation challenges for timing and mixed criticality aspects. This is mainly due to the inadequateness and inability of current approaches to effectively handle reliability and the cause of non-deterministic behaviour on multi-cores.Facing multi-core architectures' inevitable use, CERTAINTY will introduce a disruptive methodology for the design of complex critical applications allowing safety and time criticality aspects composition, taking into account unpredictability of shared resource availability as elements of the problem space, identify analysis methods and techniques supporting this new approach and demonstrate the applicability of these techniques through meaningful examples of complex control functions.New methodology and design tools, applicable in diverse industrial sectors, will be validated in an avionics application on a multi-core architecture: an existing Flight Management System will be analyzed using the CERTAINTY Methodology and Analysis Tools to specify which part could be at which critical level redesigned and composed according to the methodology. The system design will be evaluated to show that relevant safety requirements are met (i.e. ability to ensure partitioning/isolation, ability to provide a WCET, system determinism and incrementality), contributing to the certification process on new architecture generations. The major result will be a Proof of Concept of a design methodology, resultant Analysis Methodologies and associated synthesis tools: CERTAINTY Methodology and prototypes.The impact of CERTAINTY will be to contribute to the certification of mixed criticality applications on multi cores in more efficient and effective ways (performance improvement regarding strict temporal partitioning), and provide recommendations to standardization working groups preparing the way for new standards in this area.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores