Objetivo
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/(se abrirá en una nueva ventana)
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Este proyecto aún no se ha clasificado con EuroSciVoc.
Sugiera los ámbitos científicos que considere más relevantes y ayúdenos a mejorar nuestro servicio de clasificación.
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
5230 Odense M
Dinamarca
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.