Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
92126 Montrouge
Francja
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.