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

TOROS

Financiado

Cerrado

A Theory Oriented Real Time Operating System for Temporally Sound Cyber Physical...

A Theory Oriented Real Time Operating System for Temporally Sound Cyber Physical Systems "The TOROS project targets the challenge of implementing safety-critical cyber-physical systems (CPSs) on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner. While... ver más

31/12/2023

MPG

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

MAXPLANCKGESELLSCHAFT ZUR FORDERUNG DER WISSE... 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 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2023-12-31

ERC-2018-STG: ERC Starting Grant

I+D

Cerrada hace 7 años

0% 100% 100%

Información adicional privada

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

2 Participantes

MPG

1.50M€ | Lider

RICH XIBERTA

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

SafeSecS Abstractions for Safe and Secure HW SW Systems 2M€ Cerrado

CUSTOMER Customizable Embedded Real Time Systems Challenges and Ke... 2M€ Cerrado

TIN2011-28567-C03-03 HI-PARTES: HIGH-INTEGRITY PARTITIONED EMBEDDED SYSTEMS 198K€ Cerrado

PropRT Property Based Modulable Timing Analysis and Optimization fo... 2M€ Cerrado

PROXIMA Probabilistic real time control of mixed criticality multic... 7M€ Cerrado

UP2DATE Intelligent software UPDATE technologies for safe and secure... 4M€ Cerrado

Duración del proyecto: 64 meses Fecha Inicio: 2018-08-10
Fecha Fin: 2023-12-31

Líder del proyecto

MAXPLANCKGESELLSCHAFT ZUR FORDERUNG DER WISSE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

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

Descripción del proyecto "The TOROS project targets the challenge of implementing safety-critical cyber-physical systems (CPSs) on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner. While today it is in principle possible to construct a CPS in a temporally sound way, in practice this rarely happens because, with the current real-time foundations, the prerequisite investments in time, expertise, and resources are prohibitive. This situation is caused in large parts by three fundamental shortcomings in the design of state-of-the-art real-time operating systems (RTOSs) and the applicable timing analyses: (i) current RTOSs expose primarily low-level mechanisms that suffer from accidental unpredictability, i.e., mechanisms that require too much expertise to be used and composed in a temporally sound way; (ii) most analyses rely on idealized worst-case execution-time assumptions that realistically cannot be satisfied on commodity multicore platforms; and (iii) the available real-time theory depends on often complex and tedious proofs, and cannot always be trusted to be sound. As a result, formal timing analysis is rarely relied upon in the certification of CPSs in reality, and instead the use of ad-hoc, unsound ""safety margins"" prevails. The TOROS project seeks to close this gap by moving the RTOS closer to analysis, the analysis closer to reality, and by ensuring that the analysis can be trusted. Specifically, the TOROS project will 1. introduce a radically new, theory-oriented RTOS that by design ensures that the temporal behavior of any workload can be analyzed (even if the application developer is unaware of the relevant theory), 2. develop a matching novel timing analysis that allows for below-worst-case provisioning with analytically sound safety margins that yields meaningful probabilistic response-time guarantees, and 3. mechanize and verify all supporting timing analysis with the Coq proof assistant."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores