Cel
The aim of the UseGat project is to demonstrate the suitability and viability of combining structured and formal methods, in particular SA/RT and VDM, to develop real large-scale applications.
UseGat focuses on measuring the initial investment needed to incorporate such a technology in an industrial environment and its effect on the quality and costs. The results of this assessment will be re-deployed and disseminated to practitioners.
The combination of formal and structured methods is proposed to reduce the barriers and risks in technology transfer of the formal methods. We advocate "validation through animation" as a way of introducing formal methods to industry in a stepwise manner. This makes it possible to bring testing activities forward to the specification phase of the development life-cycle. This avoids the barriers of using formal methods for verification of specifications which are recognised to be a major obstacle in the uptake of formal methods.
In UseGat the IDERS SDA tool will be customised to support the Hatley & Pirbhai SA/RT graphical notation and the textual formal language VDM-SL.
The project has a planned duration of 18 months. The UseGat project has links to a number of CEC projects, in particular the Esprit projects IPTES (5570 and 7811) and IDERS (8593).
The target industrial user is Ansaldo Trasporti, a leading Italian company in the field of railway control traffic systems. IFAD plays the role of technology provider, adapting the tools to the specific requirements that will arise during the project. ENEA plays the role of local supporter and will capture the specific needs from the end user. The end user will be trained by ENEA and IFAD, and ENEA will provide day-to-day assistance in the development of the real-life application. Ansaldo Trasporti will specify and implement a real-life application related to a railway signalling system.
The expected results from the UseGat project are:
- For Ansaldo Trasporti the introduction of a new technology into the organisation to help increase its market share of dependable products. It is expected that in case of a successful project the technology will be re-deployed in different applications at ATR as well as promoted to other organisations in the security-critical sector.
- For ENEA the dissemination of the new technology to Italian industries.
- For IFAD demonstration of the usefulness of its leading-edge technology, dissemination of results to European enterprises and deployment of its tools world-wide..
http://www.ifad.dk/(odnośnik otworzy się w nowym oknie)
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.
Projekt nie został jeszcze sklasyfikowany według klasyfikacji EuroSciVoc.
Wskaż dziedziny nauki, które twoim zdaniem są najbardziej istotne z punktu widzenia tego projektu i pomóż nam usprawnić naszą usługę klasyfikacji.
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
5230 Odense M
Dania
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.