Objectif
The objective of the INFORMA project is to satisfy the urgent needs of integrating currently used standard technologies among them and with formal methods within a common framework. In the resulting environment, current standard methods and tools will cooperate with each other and benefit from the use of formal methods to improve the whole development cycle and increase the quality of the final product. In this way, it will be possible to reduce development costs as well as to increase the reliability of the final product.
Standard techniques will be fully integrated in a common framework and enhanced with animation and analysis capabilities. Animation, and analysis of ISO-PLC models will be based on a formal model, namely high-level timed Petri nets (HLTPNs) and HLTPNs will be derived automatically from ISO-PLC specifications. Integration with the specifications of the analogue embedding given by Matlab/Simulink will be provided by interfacing the kernel formal model with Matlab/Simulink "externals". VDM++ will be suitably connected to ISO-PLC by means of the HLTPN kernel model. C++ and C code will be automatically generated from both VDM++ and the HLTPNs derived from ISO-PLC. The VDM++ tool-set will be based on technology developed within the AFRODITE project. Technology from the IDERS project will be used to provide animation and verification capabilities based on the HLTPN formal kernel. Model checking technology will be applied to HLTPNs for formal proof of critical time-dependent properties.
The environments will be validated on two industrial applications:
- Ansaldo Industria will validate the INFORMA technology on an electrical drive controller that regulate the motor speed by injecting with high precision the current in motor coils through an electronic converter. The high dynamics of the controlled variables makes the controller extremely complex.
- Odense Steel Shipyard will evaluate the technology through the development of an embedded real-time automation control system using product models from its CAD environment. The system is used in the fabrication cells in the yard and involves digital as well as analogue controllers. It has very strong demands on safety and reliability far beyond the current practice.
The INFORMA integrated environment will be offered to the market as an add-on to Matlab/Simulink. Separate components (VDM++ and ISO-PLC toolboxes) will be also offered independently. The large use of international or de-facto standard techniques, i.e. ISO-PLC, VDM++, Matlab/Simulink increases the possibility of success of the new products and their potential market.
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.
- ingénierie et technologie génie électrique, génie électronique, génie de l’information ingénierie électronique système d’automatisation et de contrôle
- sciences sociales sociologie relations industrielles automatisation
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.