Projektbeschreibung
Fehlersuche in paralleler Software
Ob beim Mobilfunk oder in der Luftfahrt – ein Großteil der heute genutzten Software läuft parallel. Die Fehlerbehebung bei paralleler Software stellt jedoch noch immer eine große Herausforderung dar. Fehler sind nicht nur schwer zu finden, sie lassen sich auch kaum beheben. Daher wird das EU-finanzierte Projekt SAFE eine umfassende, rigorose und automatisierte Methode für die systematische Fehlersuche in paralleler Software entwickeln. Dabei wird es vor allem die technischen Voraussetzungen für die Umwandlung des Prototyps in ein Produkt schaffen, die Kernfunktionen vervollständigen und den technischen Grundstein für die Kommerzialisierung legen. Darüber hinaus wird die Technologie so angepasst, dass zahlreiche Softwareprodukte davon profitieren können.
Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
ERC-POC - Proof of Concept Grant
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) ERC-2020-PoC
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenGastgebende Einrichtung
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
52062 Aachen
Deutschland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.