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

SAFE

Financiado

Cerrado

Safety Analysis of Concurrent Systems

Software faults that evade testing can have serious consequences, not sparing economic damages or human losses. Recent developments towards multi-core processors have led to the increased usage of concurrency to utilize the hardwa... ver más

30/09/2022

RWTH AACHEN

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... 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 2022-09-30

ERC-2020-POC: Call for proposals for ERC Proof of...

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.

2 Participantes

RWTH AACHEN

150.00K€ | Lider

DRACE GEOCISA

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

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

BES-2016-077136 TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 93K€ Cerrado

ProTest Property based Testing 4M€ Cerrado

TIN2016-81699-ERC ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C... 75K€ Cerrado

VeSPA Verification and Specification through Progress Abstractions 195K€ Cerrado

TIN2012-38137-C02-02 TECNICAS ESCALABLES PARA LA VALIDACION DE APLICACIONES CONCU... 112K€ Cerrado

Duración del proyecto: 19 meses Fecha Inicio: 2021-02-15
Fecha Fin: 2022-09-30

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

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

Descripción del proyecto Software faults that evade testing can have serious consequences, not sparing economic damages or human losses. Recent developments towards multi-core processors have led to the increased usage of concurrency to utilize the hardware's full potential. While helping to make software ever more capable, this further complicates the already laborious and time-consuming challenge of software testing. Not only tremendously increasing the computational effort needed to automatically find concurrency bugs, such errors prove to be especially tricky to find and fix even for professional software developers. Yet, currently the market does not provide a satisfying solution to addresses this challenge. The PoC project SAFE, however, offers a comprehensive, rigorous, and automated methodology for systematically finding errors in concurrent software. Based on state-of-the-art technology, an academic prototype developed as part of the ERC CoG SYMBIOSYS project has established the algorithmic applicability of the core methodology, already finding a number of bugs in real-world concurrent software. The project includes 5 tasks: (1) To establish the technical requirements for transitioning the prototype into a product, the required engineering tasks will be defined. (2) To complete core features and laying technical groundwork for commercialization, the technology will be engineered to serve a wider range of software. (3) To secure the exploitation strategy through a consolidated IP position, the legal framework for license agreements and IPR strategy will be laid. (4) To raise awareness for SAFE, the market niche to be targeted will be identified by completing a market analysis, including an account of the competitive landscape. (5) To validate commercial feasibility and create a business plan for exploitation beyond SAFE, various exploitation strategies will be evaluated, such as the foundation of a Softw.-as-a-Service spin-off; resulting in a business plan and a feasibility report.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores