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 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.

Programme(s)

• FP3-ESPRIT 3 - Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

Data not available

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