Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
5230 ODENSE
Dinamarca
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.