Obiettivo 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/ Programma(i) FP4-ESPRIT 4 - Specific research and technological development programme in the field of information technologies, 1994-1998 Argomento(i) 1.1 - Software Intensive Systems Engineering Invito a presentare proposte Data not available Meccanismo di finanziamento CSC - Cost-sharing contracts Coordinatore Instituttet for Anvendt Datateknik /Ifad Contributo UE Nessun dato Indirizzo Forskerparken 10 5230 Odense M Danimarca Mostra sulla mappa Costo totale Nessun dato Partecipanti (2) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto Ansaldo Trasporti Italia Contributo UE Nessun dato Indirizzo Via Nuova Delle Brecce 260 80147 Napoli Mostra sulla mappa Costo totale Nessun dato Ente per le Nuove Tecnologie, L'energia E L'ambiente Italia Contributo UE Nessun dato Indirizzo Viale Regina Margherita 125 00198 Roma Mostra sulla mappa Costo totale Nessun dato
