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

VASSAL

Financiado

Cerrado

Verification and Analysis for Safety and Security of Applications in Life

VASSAL project focuses on leveraging the scientific excellence and innovation capacity of the consortium in the field of software engineering to support safety and security of digitised economies and societies. The key objective i... ver más

31/05/2027

BRNO UNIVERSITY OF...

Presupuesto desconocido

Líder del proyecto

VYSOKE UCENI TECHNICKE V BRNE 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 HORIZON EUROPE notifico la concesión del proyecto el día 2024-06-01

HORIZON-WIDERA-2023-ACCESS-02-02: Twinning Green Deal ExpectedOutcome:For the first time this Twinning call adopts a partially directional approach allowi...

Innovación

Cerrada hace 1 año

0% 100%

Información adicional privada

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

Participantes

BRNO UNIVERSITY OF TECHNOLOG...

Lider

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

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

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

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Net... 2M€ Cerrado

EIN2019-102930 RESILIENCIA UNIFICADA PARA SISTEMAS INFORMATICOS 9K€ Cerrado

TIN2015-67522-C3-1-R TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CO... 90K€ Cerrado

Duración del proyecto: 35 meses Fecha Inicio: 2024-06-01
Fecha Fin: 2027-05-31

Líder del proyecto

VYSOKE UCENI TECHNICKE V BRNE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

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

Descripción del proyecto VASSAL project focuses on leveraging the scientific excellence and innovation capacity of the consortium in the field of software engineering to support safety and security of digitised economies and societies. The key objective is to bring together expertise of the consortium in specific domains to enhance and create a new knowledge for robust and resilient SW engineering through scientific strategy combining model-based design, formal methods and economics for source-codes and systems. As SW becomes more complex, ensuring its safety and security (vulnerabilities free) becomes increasingly challenging and vital, not only in safety-critical systems but across various operation systems and IoT as well. Formal methods and model-based design are taking an increasingly significant role, building upon its already widespread use in safety-critical applications, such as automotive or aerospace. As basic building blocks in engineering process, they enable to build robust and resilient SW and HW systems (security-/safe-by-design) ensuring the reliability and correctness, leveraging cybersecurity, and improving the development life-cycle, that lead to savings in operational costs of systems. The economic assessment and implications of advanced SW engineering tools are not commonly available. VASSAL will deliver a rare opportunity to explore and document the potential benefits of and challenges in deployment in order to leverage the awareness and make inroads to broader exploitation by end-users (especially SMEs) in segments, where these issues are being overlooked due to the alleged non-returnability of the investment.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores