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

PROARTIS

Financiado

Cerrado

Probabilistically Analysable Real Time Systems

There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real-Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new funct... ver más

31/07/2013

BARCELONA SUPERCOM...

3M€

Presupuesto del proyecto: 3M€

Líder del proyecto

BARCELONA SUPERCOMPUTING CENTERCENTRO NACIONA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 118M€

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

Ver 5 Participantes

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

0% 69% 100%

Información adicional privada

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

5 Participantes

BARCELONA SUPERCOMPUTING CEN...

0.00€ | Lider

AIRBUS OPERATIONS

N.D. | Participante

UNIPD

N.D. | Participante

RAPITA

N.D. | Participante

Proyectos interesantes

PROXIMA

Software

Electronics

7M€ Cerrado

CONCERTO

Software

Embedded System...

10M€ Cerrado

Hastlayer

Software

Electronics

71K€ Cerrado

MULTICUBE

Embedded System...

Software

3M€ Cerrado

COEMS

Software

Embedded System...

4M€ Cerrado

NanoStreams

Software

Electronics

5M€ Cerrado

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

Líder del proyecto

BARCELONA SUPERCOMPUTING CENTERCENTRO NACIONA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 118M€

Presupuesto del proyecto 3M€

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

Descripción del proyecto There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real-Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new functionality demands can only be delivered by more complex software and aggressive hardware acceleration features like memory hierarchies and multicore processors. However, these greatly increase system complexity, making it much more difficult to analyse applications for their temporal behaviour. Another key problem of CRTE systems is the need to prove that they operate correctly, satisfying all temporal constraints. The current generation of platforms, despite being based on comparatively simple and old processor technologies, are already extremely difficult to analyse for their temporal behaviour, and resulting errors in operation, cost EU industries billions of Euros annually in warranty and post-production costs.<br/>The PROARTIS thesis is that the timing behaviour of systems that use advanced hardware features like multicore CPUs and complex memory hierarchies can be analysed effectively by probabilistic timing analysis techniques that reduce the risk of temporal pathological cases to quantifiably negligible levels. Preliminary research results in cache replacement policies by members of the PROARTIS consortium strongly support this claim. PROARTIS defines new hardware and software architecture paradigms based on the concept of randomisation that, with minimal changes to current processes and methods, guarantee timing behaviours that can be analysed with probabilistic techniques. PROARTIS uses a holistic approach in which probabilistic analysis extends from hardware design, compiler and real time operating system to applications. On top of this platform, we will build probabilistic timing analysis methods based on current commercial tools. We will validate our approach via an industrial case study.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores