Objective
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/(opens in new window)
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- engineering and technology electrical engineering, electronic engineering, information engineering electronic engineering control systems
- social sciences sociology industrial relations automation
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
5230 Odense M
Denmark
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.