Incremental Prototyping Technology for Embedded Real-Time Systems

Información del proyecto

IPTES

Identificador del acuerdo de subvención: 7811

Proyecto cerrado

Fecha de inicio 1 Abril 1993

Fecha de finalización 30 Septiembre 1993

Financiado con arreglo a

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

Coste total € 0,00

Aportación de la UE Sin datos

Coordinado por

INSTITUTE FOR ANVENDT DATATEKNIK
Denmark

Objetivo

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.

Programa(s)

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

Tema(s)

Data not available

Convocatoria de propuestas

Data not available

Régimen de financiación

Data not available

Coordinador

INSTITUTE FOR ANVENDT DATATEKNIK

• Aportación de la UE: Sin datos
• Dirección: FORSKERPARKEN, 10 ; 5230 ODENSE ; Dinamarca
• Coste total: Sin datos

Participantes (9)

COMMISSARIAT A L'ENERGIE ATOMIQUE

Francia

• Aportación de la UE: Sin datos
• Dirección: Rue de la Federation 31-33 ; 75015 PARIS
• Coste total: Sin datos

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

Italia

• Aportación de la UE: Sin datos
• Dirección: Viale Regina Margherita 125 ; 00148 Roma
• Coste total: Sin datos

MARI Applied Technologies Ltd

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: Boldon Business Park Witney Way ; NE35 9PE Boldon
• Coste total: Sin datos

Politecnico di Milano

Italia

• Aportación de la UE: Sin datos
• Dirección: Piazza Leonardo da Vinci 32 ; 20133 Milano
• Coste total: Sin datos

RAUTARUUKKI NEW TECHNOLOGY

Finlandia

• Aportación de la UE: Sin datos
• Dirección: , 217 ; 90101 OULU
• Coste total: Sin datos

Synergie Informatique et Développement

Francia

• Aportación de la UE: Sin datos
• Dirección: 12 bis rue des Pavillons ; 92804 Puteaux
• Coste total: Sin datos

TECHNICAL RESEARCH CENTER OF FINLAND

Finlandia

• Aportación de la UE: Sin datos
• Dirección: KAITOVAYLA, 1201 ; 90571 OULU
• Coste total: Sin datos

TELEFONICA

España

• Aportación de la UE: Sin datos
• Dirección: EMILIO VARGAS, 6 ; 28043 MADRID
• Coste total: Sin datos

UNIVERSITAT POLITECNICA DE MADRID

España

• Aportación de la UE: Sin datos
• Dirección: CAMPUS DE MONTEGANCEDO ; 28660 MADRID
• Coste total: Sin datos