Objective 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. Fields of science natural sciencescomputer and information sciencesdatabases Programme(s) FP2-ESPRIT 2 - European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator INSTITUTE FOR ANVENDT DATATEKNIK EU contribution No data Address FORSKERPARKEN, 10 5230 ODENSE Denmark See on map Total cost No data Participants (9) Sort alphabetically Sort by EU Contribution Expand all Collapse all COMMISSARIAT A L'ENERGIE ATOMIQUE France EU contribution No data Address Rue de la Federation 31-33 75015 PARIS See on map Total cost No data Ente per le Nuove Tecnologie, l'Energia e l'Ambiente (ENEA) Italy EU contribution No data Address Viale Regina Margherita 125 00148 Roma See on map Total cost No data MARI Applied Technologies Ltd United Kingdom EU contribution No data Address Boldon Business Park Witney Way NE35 9PE Boldon See on map Total cost No data Politecnico di Milano Italy EU contribution No data Address Piazza Leonardo da Vinci 32 20133 Milano See on map Total cost No data RAUTARUUKKI NEW TECHNOLOGY Finland EU contribution No data Address , 217 90101 OULU See on map Total cost No data Synergie Informatique et Développement France EU contribution No data Address 12 bis rue des Pavillons 92804 Puteaux See on map Total cost No data TECHNICAL RESEARCH CENTER OF FINLAND Finland EU contribution No data Address KAITOVAYLA, 1201 90571 OULU See on map Total cost No data TELEFONICA Spain EU contribution No data Address EMILIO VARGAS, 6 28043 MADRID See on map Total cost No data UNIVERSITAT POLITECNICA DE MADRID Spain EU contribution No data Address CAMPUS DE MONTEGANCEDO 28660 MADRID See on map Total cost No data