Skip to main content

Incremental Prototyping Technology for Embedded Real-Time Systems

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.

Coordinator

INSTITUTE FOR ANVENDT DATATEKNIK
Address
Forskerparken, 10
5230 Odense
Denmark

Participants (9)

COMMISSARIAT A L'ENERGIE ATOMIQUE
France
Address
Rue De La Federation 31-33
75015 Paris
Ente per le Nuove Tecnologie, l'Energia e l'Ambiente (ENEA)
Italy
Address
Viale Regina Margherita 125
00148 Roma
MARI Applied Technologies Ltd
United Kingdom
Address
Boldon Business Park Witney Way
NE35 9PE Boldon
Politecnico di Milano
Italy
Address
Piazza Leonardo Da Vinci 32
20133 Milano
RAUTARUUKKI NEW TECHNOLOGY
Finland
Address
, 217
90101 Oulu
Synergie Informatique et Développement
France
Address
12 Bis Rue Des Pavillons
92804 Puteaux
TECHNICAL RESEARCH CENTER OF FINLAND
Finland
Address
Kaitovayla, 1201
90571 Oulu
TELEFONICA
Spain
Address
Emilio Vargas, 6
28043 Madrid
UNIVERSITAT POLITECNICA DE MADRID
Spain
Address
Campus De Montegancedo
28660 Madrid