Obiettivo
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/(si apre in una nuova finestra)
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- ingegneria e tecnologia ingegneria elettrica, ingegneria elettronica, ingegneria informatica ingegneria elettronica sistemi di controllo
- scienze sociali sociologia relazioni industriali automazione
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
5230 Odense M
Danimarca
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.