Objectif
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.
Champ scientifique
Appel à propositions
Data not availableRégime de financement
CSC - Cost-sharing contractsCoordinateur
92126 Montrouge
France