Ziel
The LAW project will perform a study to prove the feasibility of a workbench combining existing tools and new developments to enable efficient and economic analysis and assessment of legacy systems.
The objectives are to assess users requirements and to prove concepts by developing prototypes and demonstrating usability on selected case studies (also in terms of performance and scalability for industrial use).
The future LAW workbench will support maintenance and evolution of existing applications as well as certification and reuse of software.
This workbench will offer tools for source code analysis with various goals:
- Syntax and structure analysis to extract information and allow efficient search and navigation.
- Metrics measurement and programming standards checking to evaluate the quality of the software and contribute to its certification.
- Semantic analysis to help the understanding, validation or evolution of the application.
- Temporal analysis to highlight temporal characteristics of the software and deduce temporal constraints to support maintenance and migration.
In addition to the classical techniques providing information on the architecture of the application and the structure of the programming units, the user will be able to apply advanced techniques such as property synthesis, proof obligation generation, symbolic execution, weakest precondition computation, theorem proving and constraint satisfaction.
The most important feature of the LAW workbench will be the mixing of the above techniques in an integrated and user-friendly workbench.
The workbench will be used for all kinds of legacy systems. However it will be particularly useful for safety-critical applications for which compliance with standards and certification are essential.
The feasibility study will focus on simplification of algebraic expressions, symbolic execution, weakest precondition computation, theorem proving, property synthesis and behaviour generation. It will take into account C programs.
Prototypes will be used on case studies provided by the end-user partners to evaluate the efficiency of the approach and build demonstrations. Architecture, training and exploitation issues will also be tackled.
The project Consortium includes end-users partners (Aerospatiale Avions, Nuclear Electric), partners involved in the specification of algorithms and development of prototype (CEA, CEFRIEL, University of York) and Sema Group which will concentrate on the integration of tools and manage the project.
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.
- Naturwissenschaften Informatik und Informationswissenschaften Software
- Sozialwissenschaften Rechtswissenschaften
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
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.
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.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
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.
Koordinator
92126 Montrouge
Frankreich
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.