Obiettivo
Incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. The technology of incremental prototyping addresses the development needs of large, distributed and multi-supplier embedded real-time systems. As a technical basis, the semi-formal graphical notation SA/RT, the formal graphical high-level Petri nets, the formal textual language VDM-SL and the object-oriented paradigm have been harnessed.
The concept of incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. Incremental prototyping technology will address the development needs of large, distributed and multisupplier embedded real time systems.
An incremental prototyping technology for embedded real time systems (IPTES) database or document system has been set up. This system aims to be a standard and could eventually be used by other ESPRIT projects. Project results have been made available to the industry and research communities and a number of articles for international conferences have been produced and published. In addition, dissemination on a local basis has been undertaken. The platform on which the precompetitive IPTES toolset will be implemented has been defined having been chosen after investigating the short term and medium term requirements of such a platform. A preliminary overall design of the IPTES toolset has been made and the design identifies the different tool components and their interconnection and purpose, and specifies and organization of components in layers. Methodological guidelines for the use of Boehm's spiral life cycle model are being developed and the executable models to be supported in the IPTES toolset have been defined. The implementation of IPTES toolset has been initiated with the computation of a first prototype of the IPTES Meta-IV (VDM) interpreter and implementation of the logical model animator has been initiated. The machine level of the IPTES architecture is defined as are the internal execution mechanisms to support the execution of distributed, heterogeneous prototypes. The run time adaptation mechanisms which also enable the execution of models where parts are represented by target code have been defined. Furthermore, the implementation of a run time adaptation system and the development of demonstrator applications have been initiated.
The methodology developed and the supporting tools have been evaluated in a number of case studies for selected safety-critical, real-time process control applications in industry.
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.
È 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.
Dati non disponibili
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.
Dati non disponibili
Coordinatore
5230 ODENSE
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.