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

XANDAR

Financiado

Cerrado

X by Construction Design framework for Engineering Autonomous Distributed Real...

X by Construction Design framework for Engineering Autonomous Distributed Real time Embedded Software Systems The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, deployment of safety-critical ES suffers from com... ver más

31/12/2023

KIT

5M€

Presupuesto del proyecto: 5M€

Líder del proyecto

KARLSRUHER INSTITUT FUER TECHNOLOGIE 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 9 Participantes

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

ICT-50-2020: Software Technologies

I+D

Cerrada hace 5 años

0% 100% 100%

Información adicional privada

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

9 Participantes

KIT

695.69K€ | Lider

IBER COMERCIO E INDUSTRIA

579.40K€ | Participante

BMW GROUP

1.03M€ | Participante

FENT INNOVATIVE SOFTWARE SOL...

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

AutoCPS Automated Synthesis of Cyber Physical Systems A Composition... 1M€ Cerrado

FuSy The world s first Full System Simulation tool to revolutioni... 3M€ Cerrado

CORPORA COntext-free model checking for Recursive PrObabilistic pRog... 184K€ Cerrado

SAFEXPLAIN SAFE AND EXPLAINABLE CRITICAL EMBEDDED SYSTEMS BASED ON AI 4M€ Cerrado

TIN2009-11326 REDE BAYESIANAS PARA LA DIAGNOSIS DE SISTEMAS HIBRIDOS 79K€ Cerrado

WhiteMech White Box Self Programming Mechanisms 2M€ Cerrado

Duración del proyecto: 40 meses Fecha Inicio: 2020-08-13
Fecha Fin: 2023-12-31

Líder del proyecto

KARLSRUHER INSTITUT FUER TECHNOLOGIE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 5M€

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

Descripción del proyecto The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, deployment of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems relying on Machine Learning (ML) and AI applications in combination with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are autonomous driving cars that are prone to various safety/security vulnerabilities. The XANDAR project is built to exactly match the goals defined within the ICT-50 Software Technologies. XANDAR will deliver a mature SW toolchain (from requirements capture down to the actual code integration on target including V&V) fulfilling the needs of the industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage novel automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel real-time, safety-, and security-by-Construction (X-by-Construction) paradigm. For the first time, XbC-guided code generation for non-deterministic ML/AI applications will be combined with novel runtime monitors to ensure fail-operation in the presence of runtime faults and security exploitations. The project provides a consortium covering the full spectrum of ES and software engineering. XANDAR will be validated by an automotive OEM (BMW) and the German Aerospace Center (DLR). Leading European SMEs and enterprises such as Vector, AVN, and fentISS as well as successful academic partners will contribute their diverse knowhow in Model-Driven Engineering, Software Systems and V&V, multicore architectures, code generation, and security enforcements from higher-level behavioral models to actual runnables.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores