Incremental Prototyping Technology for Embedded Real-Time Systems

Informations projet

IPTES

N° de convention de subvention: 7811

Projet clôturé

Date de début 1 Avril 1993

Date de fin 30 Septembre 1993

Financé au titre de

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

Coût total € 0,00

Contribution de l’UE Aucune donnée

Coordonné par

INSTITUTE FOR ANVENDT DATATEKNIK
Denmark

Objectif

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

Thème(s)

Data not available

Appel à propositions

Data not available

Régime de financement

Data not available

Coordinateur

INSTITUTE FOR ANVENDT DATATEKNIK

• Contribution de l’UE: Aucune donnée
• Adresse: FORSKERPARKEN, 10 ; 5230 ODENSE ; Danemark
• Coût total: Aucune donnée

Participants (9)

COMMISSARIAT A L'ENERGIE ATOMIQUE

France

• Contribution de l’UE: Aucune donnée
• Adresse: Rue de la Federation 31-33 ; 75015 PARIS
• Coût total: Aucune donnée

Ente per le Nuove Tecnologie, l'Energia e l'Ambiente (ENEA)

Italie

• Contribution de l’UE: Aucune donnée
• Adresse: Viale Regina Margherita 125 ; 00148 Roma
• Coût total: Aucune donnée

MARI Applied Technologies Ltd

Royaume-Uni

• Contribution de l’UE: Aucune donnée
• Adresse: Boldon Business Park Witney Way ; NE35 9PE Boldon
• Coût total: Aucune donnée

Politecnico di Milano

Italie

• Contribution de l’UE: Aucune donnée
• Adresse: Piazza Leonardo da Vinci 32 ; 20133 Milano
• Coût total: Aucune donnée

RAUTARUUKKI NEW TECHNOLOGY

Finlande

• Contribution de l’UE: Aucune donnée
• Adresse: , 217 ; 90101 OULU
• Coût total: Aucune donnée

Synergie Informatique et Développement

France

• Contribution de l’UE: Aucune donnée
• Adresse: 12 bis rue des Pavillons ; 92804 Puteaux
• Coût total: Aucune donnée

TECHNICAL RESEARCH CENTER OF FINLAND

Finlande

• Contribution de l’UE: Aucune donnée
• Adresse: KAITOVAYLA, 1201 ; 90571 OULU
• Coût total: Aucune donnée

TELEFONICA

Espagne

• Contribution de l’UE: Aucune donnée
• Adresse: EMILIO VARGAS, 6 ; 28043 MADRID
• Coût total: Aucune donnée

UNIVERSITAT POLITECNICA DE MADRID

Espagne

• Contribution de l’UE: Aucune donnée
• Adresse: CAMPUS DE MONTEGANCEDO ; 28660 MADRID
• Coût total: Aucune donnée