Ziel
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/(öffnet in neuem Fenster)
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Elektrotechnik Steuerungssysteme
- Sozialwissenschaften Soziologie industrielle Beziehungen Automatisierung
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
5230 Odense M
Dänemark
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.