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

COCONUT

Financiado

Cerrado

A Correct by Construction Workbench for Design and Verification of Embedded Syst...

A Correct by Construction Workbench for Design and Verification of Embedded Systems Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving pr... ver más

30/06/2010

UNIVR

3M€

Presupuesto del proyecto: 3M€

Líder del proyecto

UNIVERSITA DEGLI STUDI DI VERONA 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 8 Participantes

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

0% 76% 100%

Información adicional privada

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

8 Participantes

UNIVR

0.00€ | Lider

UPB

N.D. | Participante

CEA

N.D. | Participante

SOUTHAMPTON

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

DYNAGALS Formal design methods for globally asynchronous locally sync... 112K€ Cerrado

DESTECS Design Support and Tooling for Embedded Control Software 4M€ Cerrado

CESAR Cost-Efficient Methods and Processes for Safety Relevant Emb... 58M€ Cerrado

CESAR Cost Efficient Methods and Processes for Safety Relevant Emb... 58M€ Cerrado

INVEST inVEST Foundations for a Shift from Verification to Synthes... 1M€ Cerrado

MADNESS Methods for predictAble Design of heterogeNeous Embedded Sys... 3M€ Cerrado

Líder del proyecto

UNIVERSITA DEGLI STUDI DI VERONA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 3M€

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

Descripción del proyecto Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties. The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation. In particular, it is intended to propose a modelling and verification flow to enhance and speed-up embedded platform design and configuration with particular regard to application fields related to mixed continuous/discrete models, like for example networked multimedia and sensor network managing. In this context, the main activities of COCONUT will be related to the definition of innovative methodologies and tools to: - define and validate properties that represent the design specification; - automatically synthesize properties into code; - map models between hybrid and discrete domains; - provide correct-by-construction abstraction/refinement processes; - perform post-refinement verification. Such activities will be implemented in a set of tools working on more that one abstraction level whose correctness will be formally proved.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores