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

COEMS

Financiado

Cerrado

Continuous Observation of Embedded Multicore Systems

The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS (Continuous Observation of Embedded Multicore System... ver más

30/04/2020

UZL

4M€

Presupuesto del proyecto: 4M€

Líder del proyecto

UNIVERSITAET zu LUEBECK 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 6 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-04-30

ICT-10-2016: Software Technologies

I+D

Cerrada hace 8 años

0% 100%

Información adicional privada

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

6 Participantes

UZL

810.04K€ | Lider

ACCEMIC TECHNOLOGIES GMBH

951.80K€ | Participante

AIRBUS DEFENCE AND SPACE GMB...

499.39K€ | Participante

HVL

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

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

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

MOGENTES Model based Generation of Tests for Dependable Embedded Syst... 4M€ Cerrado

CONCERTO Guaranteed Component Assembly with Round Trip Analysis for E... 10M€ Cerrado

COCONUT A Correct by Construction Workbench for Design and Verificat... 3M€ Cerrado

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

Duración del proyecto: 42 meses Fecha Inicio: 2016-10-12
Fecha Fin: 2020-04-30

Líder del proyecto

UNIVERSITAET zu LUEBECK 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 The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS (Continuous Observation of Embedded Multicore Systems) a novel observer platform with supporting verification methods for software systems is created. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the system’s actual behaviour without affecting it allowing new verification methods. An efficient real-time access and analysis as a critical element for operating safe systems will be developed and validated by COEMS. Moreover, a cross-layer programming approach supporting failure detection will be proposed. COEMS aims at shortening the development cycle by considerably increased test efficiency and effectivity, by increased debug efficiency (especially for non-deterministically occurring failures) and by supporting performance optimization. COEMS improves the reliability of delivered systems, enabling software developers to identify, understand, and remove software defects before release, as well as improving efficiency of software for multi/many-core computing systems in terms of performance, real-time behaviour, and energy consumption. The two Global Players Thales Group and Airbus Group, both active in safety-critical domains, will validate the COEMS approach by suitable demonstrators, i.e. testing and debugging of real-world multicore applications. In addition to these two domains, we will address the domains of safety-critical medical applications, automation and automotive industry, as well as the Internet of Things. Technologically, COEMS will provide the world-wide first comprehensive online observation approach that is non-intrusive allowing improved testing and debugging. Altogether, COEMS will define a new state-of-the-art for software systems development.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores