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

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

See on map

Participants (9)

COMMISSARIAT A L'ENERGIE ATOMIQUE
France
Address
Rue De La Federation 31-33
75015 Paris

See on map

Ente per le Nuove Tecnologie, l'Energia e l'Ambiente (ENEA)
Italy
Address
Viale Regina Margherita 125
00148 Roma

See on map

MARI Applied Technologies Ltd
United Kingdom
Address
Boldon Business Park Witney Way
NE35 9PE Boldon

See on map

Politecnico di Milano
Italy
Address
Piazza Leonardo Da Vinci 32
20133 Milano

See on map

RAUTARUUKKI NEW TECHNOLOGY
Finland
Address
, 217
90101 Oulu

See on map

Synergie Informatique et Développement
France
Address
12 Bis Rue Des Pavillons
92804 Puteaux

See on map

TECHNICAL RESEARCH CENTER OF FINLAND
Finland
Address
Kaitovayla, 1201
90571 Oulu

See on map

TELEFONICA
Spain
Address
Emilio Vargas, 6
28043 Madrid

See on map

UNIVERSITAT POLITECNICA DE MADRID
Spain
Address
Campus De Montegancedo
28660 Madrid

See on map