Skip to main content
DeutschDE
European Commission logo print header
Inhalt archiviert am 2024-05-07

Legacy assessment workbench

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

Programm/Programme

Thema/Themen

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

CSC - Cost-sharing contracts

Koordinator

Sema Group SA
EU-Beitrag
Keine Daten
Adresse
16-20 rue Barbes
92126 Montrouge
Frankreich

Auf der Karte ansehen
Gesamtkosten
Keine Daten

Beteiligte (5)

Diese Seite teilen

Herunterladen

Letzte Aktualisierung: 6 Oktober 1999

Mein Booklet

Permalink: https://cordis.europa.eu/project/id/22117/de

European Union, 2024