Cel
Real time software for control applications may exhibit misbehaviours during the validation phase as well as in operation or during maintenance. Software developers must then quickly address the bug issues, while getting into very complex architectures. The ATASDAS project aims at building a toolbox, which is based on the "pencil and paper" approach used by experts in dependability analysis. This tool will greatly automate dependability analysis, implementing heuristics and algorithms of graph theory, in order to obtain the following attributes at a much faster pace than the "pencil and paper" approach:
- The software architecture;
- The call graph of each parallel processing steps built into the software;
- The data dependency graph based on the critical inputs of each parallel processing;
- The data dependency graph generating the critical outputs of each parallel processing;
- The data flow graph of the software of each parallel processing;
- The data share between each parallel processing
- Appropriate metrics describing the analysed software both at component level and at system level, i.e. the call graph depth, the number of components, the input and output statistics per component, etc.
The ATASDAS tool will work with any source code written in current real time software languages (C, C++, Ada, Modula 2), in compliance with any of the major standards dealing with software dependability.
This static analysis approach, which makes sense when it deals with the preliminary steps of a target analysis, will also provide some key information about the relevant "real time information" needed for analysis dealing with real time, deterministic, synchronous systems (through the call graph and dependency graphs). The ATASDAS software tool will help real time software project managers and their quality counterpart to speed up the first analysis of failing source codes, without having the important prior background, which experts have acquired in dealing with pre Real time software for control applications may exhibit misbehaviours during the validation phase as well as in operation or during maintenance. Software developers must then quickly address the bug issues, while getting into very complex architectures. The ATASDAS project aims at building a toolbox, which is based on the "pencil and paper" approach used by experts in dependability analysis. This tool will greatly automate dependability analysis, implementing heuristics and algorithms of graph theory, in order to obtain the following attributes at a much faster pace than the "pencil and paper" approach:
- The software architecture;
- The call graph of each parallel processing steps built into the software;
- The data dependency graph based on the critical inputs of each parallel processing;
- The data dependency graph generating the critical outputs of each parallel processing;
- The data flow graph of the software of each parallel processing;
- The data share between each parallel processing
- Appropriate metrics describing the analysed software both at component level and at system level, i.e. the call graph depth, the number of components, the input and output statistics per component, etc.
The ATASDAS tool will work with any source code written in current real time software languages (C, C++, Ada, Modula 2), in compliance with any of the major standards dealing with software dependability.
This static analysis approach, which makes sense when it deals with the preliminary steps of a target analysis, will also provide some key information about the relevant "real time information" needed for analysis dealing with real time, deterministic, synchronous systems (through the call graph and dependency graphs). The ATASDAS software tool will help real time software project managers and their quality counterpart to speed up the first analysis of failing source codes, without having the important prior background, which experts have acquired in dealing with pre
OBJECTIVES
The ATASDAS project has six operational objectives:
- Build a prototype of the ATASDAS software tool based on specifications of the industrial partners;
- Validate the use of the tool by the quality departments of two participating medical software houses;
- Validate the use of the tool by the dependability expert groups of two participating quality software companies;
- Measure productivity gains using the tool in the target analysis phase of complex dependability analysis;
- Develop interfaces of the tool with existing downstream software reliability tools.
DESCRIPTION OF WORK
ATASDAS will develop a tool for quick and automatic building of a knowledge database from the source code of an existing real time software application. The information in the database will give a first opinion on how and where the application might fail in order to correct or improve it and/or to pre-evaluate its safety level. The main benefit of the ATASDAS tool is to automate the first steps of a dependability analysis and therefore to shorten the amount of time needed to handle the initial part of the source code static analysis phase. ATASDAS elaborates an identity card of software and its components, so that the source code static analyses (path analysis, boundary analysis, symbolic execution) will be performed more efficiently. ATASDAS also allows identifying the target of analysis when building the functional model needed for each safety analysis such as FMEA (Failure Mode and Effect Analysis) or a fault tree analysis.
Moreover, ATASDAS integrates its own project version management in order to be able to treat several versions of a same source code of a project and to support multi-users.
While facing most of the main languages used in the industrial field (C/C++, Ada, Modula-2?) and the related standards (IEC 61508-3, CENELEC prEN50128 , IEC 880, DO-178B / ED-12B, ECSS-E40, GAM-T17 ), ATASDAS intends to address a large number of interacting components in a short time, say 200 components or 20.000 lines of codes investigated per day.
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.
- nauki przyrodnicze informatyka bazy danych
- nauki społeczne ekonomia i biznes ekonomia ekonomia produkcji produktywność
- nauki przyrodnicze matematyka matematyka czysta matematyka dyskretna teoria grafów
- nauki przyrodnicze informatyka sztuczna inteligencja programowanie heurystyczne
- nauki przyrodnicze informatyka oprogramowanie aplikacje komputerowe
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
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
4031 LIEGE (ANGLEUR)
Belgia
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.