Obiettivo
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.
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.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
92126 Montrouge
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.