Ziel
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/(öffnet in neuem Fenster)
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
5230 Odense M
Dänemark
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.