Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español es
CORDIS - Resultados de investigaciones de la UE
CORDIS
CORDIS Newsletter CORDIS Newsletter
Contenido archivado el 2024-04-19

Provably Correct Systems

Objetivo

PROCOS aims to aid the dissemination of results of the existing PROCOS II project. The long term objective of the Working Group is to contribute to radical improvement in standards of professional practice in the design and implementation of information technology products, involving both hardware and software. The first target for improvement is in the area of safetey critical application; but we believe that much of the same technology will eventually spin off to improve quality and reduce life cycle costs of other products in widespread use.

Topics of interest to members of the Working Group include theories and methodology to handle the following: (1) Requirements capture and analysis; (2) system specification and design; (3) programming language processing and compilation; (4) machine hardware, including multiprogramming kernels; (5) implementation in hardware down to gate level.

ACTIVITIES

The PROCOS Working Group is closely associated with the existing PROCOS II Basic Research project (7071). Joint workshops will be held during the lifetime of that project, approximately every 6 months at PROCOS project sites in Denmark, Germany and the UK. The major event for the Working Group will be an open School and Symposium organised jointly with the existing Formal Techniques in Real-Time and Fault-Tolerant Systems series, to be held 19-23 September 1994 at Scheswig near Kiel, Germany. The group also supports the Z User Meeting series of workshops.

POTENTIAL

The Working Group will seek a simplification of the technology produced by the PROCOS project to make it truly useful for engineers in an industrial setting. The ultimate aim is a more industrially oriented project following on from the PROCOS II project, including a subset of partners on the Working Group. We hope to be influential in the area of European and international standards, particularly for safety-critical systems.

Ámbito científico (EuroSciVoc)

Programa(s)

Tema(s)

Datos no disponibles

Convocatoria de propuestas

Datos no disponibles

Régimen de financiación

Datos no disponibles

Coordinador

University of Oxford
Aportación de la UE
Sin datos
Dirección
Wellington Square
OX1 3QD Oxford
Reino Unido
Coste total
Sin datos

Participantes (23)

Descargar Descargar el contenido de la página

Última actualización: 21 Junio 1994

Permalink: https://cordis.europa.eu/project/id/8694/es

European Union, 2026