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

SYMELS

Financiado

Cerrado

Symbol Elimination in Reliable System Engineering

We are living in a world that is increasingly run by software. Daily activities, such as online banking, mobile communications and air traffic use, are controlled by software. This software is growing in size and functionality, bu... ver más

30/11/2020

TU WIEN

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN 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 2020-11-30

ERC-2018-PoC: ERC Proof of Concept Grant Scope:Objectives

I+D

Cerrada hace 7 años

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

2 Participantes

TU WIEN

150.00K€ | Lider

ERCROS

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

Duración del proyecto: 22 meses Fecha Inicio: 2019-01-21
Fecha Fin: 2020-11-30

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN 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 We are living in a world that is increasingly run by software. Daily activities, such as online banking, mobile communications and air traffic use, are controlled by software. This software is growing in size and functionality, but its reliability is hardly improving. We are getting used to the fact that that computer systems are error-prone and insecure. To (re)gain the trust of end-users in software and Web services, formal automated reasoning is one of the main investments made by ICT companies in preventing software errors. To improve in this area, one should answer some important questions, such as - Which methods in automated reasoning are the most appropriate for proving software error-free? - What needs to be done to apply research in automated reasoning to large-scale code bases? Our SYMELS project aims at answering these questions by bringing our symbol elimination method to the ICT market. The key innovation brought in by SYMELS is the ability to automatically generate and prove first-order properties of software that prevent programmers from introducing errors while making changes in this software. Our initial results show that symbol elimination can be a breakthrough method: e.g. when testing programs manipulating computer memory it was able to prove that over 80% of test cases are guaranteed to have the expected behavior. Most of these test problems were coming from industry, where similar proofs required very costly human work. Analyzing such programs requires reasoning about program properties in full first-order logic. No other method can reason about such properties with the same accuracy and expressiveness as SYMELS. For the proof-of-concept, SYMELS gives ICT customers and investors a tool-supported methodology for ensuring continuous growth in software functionality, thus increasing software reliability and user's trust in software technologies.

Conecta tu I+D

Entra hoy

¿Olvidó su contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores