Descrizione del progetto
Trovare gli errori nel software concorrente
Dalla telefonia mobile all’aviazione, molto del software utilizzato al giorno d’oggi è di tipo concorrente. Una grande sfida tuttora irrisolta è rappresentata dal debug dei malfunzionamenti che si verificano durante l’esecuzione di questa tipologia di software. Questi errori non sono solo difficili da rilevare, ma anche complessi da correggere. Alla luce di tali premesse, il progetto SAFE, finanziato dall’UE, svilupperà una metodologia completa, rigorosa e automatizzata volta a rilevare in modo sistematico gli errori nel software concorrente. In particolare, il progetto stabilirà i requisiti a livello tecnico per effettuare la transizione del prototipo in un prodotto finale. Inoltre, SAFE porterà a termine le funzionalità chiave e completerà i preparativi tecnici per la commercializzazione, adattando la tecnologia ai requisiti di una vasta gamma di software.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
Parole chiave
Programma(i)
Invito a presentare proposte
(si apre in una nuova finestra) ERC-2020-PoC
Vedi altri progetti per questo bandoMeccanismo di finanziamento
ERC-POC -Istituzione ospitante
52062 Aachen
Germania