Objectif
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/(s’ouvre dans une nouvelle fenêtre)
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Ce projet n'a pas encore été classé par EuroSciVoc.
Proposez les domaines scientifiques qui vous semblent les plus pertinents et aidez-nous à améliorer notre service de classification.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
5230 Odense M
Danemark
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.