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

COMMICS

Financiado

Cerrado

Complexity Management for Mixed Criticality Systems

Over the last decades we observed a tremendous increase in the number and variety of requirements on distributed systems following the growth of application areas they are used in and are emerging to. Furthermore, the integration... ver más

31/05/2012

TTTECH COMPUTERTEC...

221K€

Presupuesto del proyecto: 221K€

Líder del proyecto

TTTECH COMPUTERTECHNIK AG 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.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2012-05-31 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.

1 Participantes

TTTECH COMPUTERTECHNIK AG

0.00€ | Lider

Proyectos interesantes

RACE

Software

Data Science

2M€ Cerrado

TIN2015-67661-P

Software

Data Science

116K€ Cerrado

DataVerif

Software

Data Science

372K€ Cerrado

SC-square

Software

Data Science

500K€ Cerrado

TIN2009-14562-C05-01

Software

Data Science

189K€ Cerrado

Matryoshka

Software

Data Science

1M€ 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

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

TRL 4-5

Presupuesto del proyecto 221K€

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

Descripción del proyecto Over the last decades we observed a tremendous increase in the number and variety of requirements on distributed systems following the growth of application areas they are used in and are emerging to. Furthermore, the integration of different applications with different criticality characteristics into a single system, poses a new research challenge to satisfy a multitude of these requirements at the same point in time. In this world of ever growing complexity, there is a demanding need for powerful methods and tools, to support the development and deployment of future distributed systems. Fitting in, computer science has developed theories and remarkable tools that are able to deal with systems of vast complexity as for example model-checkers, interactive theorem provers, or solvers for satisfiability modulo theories (SMT). The main research objective of this research fellowship is the management of complexity via the application of these formal methods to arising problems in distributed systems of mixed-criticality. Such problems are for example computer aided analysis and verification, correct configuration, and computer aided development of generic services. By establishing a deep understanding on the principles of the existing formal methods this research fellowship aims to efficiently apply formal methods to challenging industrial applications of mixed-criticality and to give feedback from these studies to the developments in computer science. Following advanced training in formal methods, the research studies will be carried out in the context of TTEthernet, a novel communication infrastructure that extends the Time-Triggered Architecture with mixed-criticality communication services. The core of TTEthernet is a fault-tolerant synchronization strategy that establishes a synchronized timebase between critical nodes, which is then used to guarantee that the dataflow between these critical nodes is isolated from other, non-critical or low-critical dataflow.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores