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

APARTS

Financiado

Cerrado

Advanced Program Analysis for Real Time Systems

The real-time performance of embedded software is often critical for the safety and quality of the software-controlled system. Recent research has made it possible to find safe bounds on the worst-case execution time (WCET) of a p... ver más

30/11/2014

MDU

193K€

Presupuesto del proyecto: 193K€

Líder del proyecto

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

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

Ver 2 Participantes

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

0% 100% 100%

Información adicional privada

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

2 Participantes

MDU

0.00€ | Lider

TOR

61.92K€ | Participante

Proyectos interesantes

COEMS

Software

Embedded System...

4M€ Cerrado

DESTECS

Embedded System...

Software

4M€ Cerrado

INVEST

Software

Embedded System...

1M€ Cerrado

ARGO

Software

Electronics

4M€ Cerrado

MOGENTES

Software

Embedded System...

4M€ Cerrado

INC-TU-2011-1804

Embedded System...

Software

127K€ 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

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

Presupuesto del proyecto 193K€

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

Descripción del proyecto The real-time performance of embedded software is often critical for the safety and quality of the software-controlled system. Recent research has made it possible to find safe bounds on the worst-case execution time (WCET) of a program by statically analysing the machine-code program. A crucial step is the analysis of the program's computations on integer data. For instance, the program flow usually depends on such computations. Current WCET tools often require program flow constraints to be provided manually, which is cumbersome and error-prone. Better analyses of integer computations would reduce the need for such manual intervention. Such analyses must be both precise and correct. The mathematical models for such analyses are usually formulated in terms of mathematical integers of unbounded size, while the program actually uses data stored in a fixed number of bits. This can lead to incorrect or imprecise results. We aim to improve WCET analysis by incorporating computation models that give bit-precise results reflecting the finite size of each variable and the possibility of overflow. Most current WCET-analysis tools analyse the possible values of each variable separately, commonly producing an interval of possible values for each variable. However, the behaviour of the program, and thus its WCET, often depend strongly on the relationship between variable values. Ignoring such relationships can make the analysis fail or give over-estimated WCET bounds. We aim to develop computation models that find and use such relationships, typically expressed as affine constraints between several variables. The end goal is WCET analysis with computation models that are both relational and bit-precise. We expect that this will increase the safety, precision, and level of automation of the analysis, and lead to WCET analysis tools that are easier to apply,

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores