Provably Correct Systems

PROCOS - 8694

Work Area: Theories for Concurrency and Real Time: Specification and Verification

Keywords programming methodology, safety-critical systems, specification languages, programming languages

Start Date: to be announced / Status: starting

[ participants / contact ]

Abstract The PROCOS Working Group is based around the PROCOS II project (7071) and aims to aid dissemination of the project's results. PROCOS aims to improve dependability, reduce timescales and cut development costs of construction for embedded systems, particularly in real-time and safety-critical applications. It uses and develops the results of basic research into fundamental properties of interactive systems. It aims to provide a scientific basis for future standards of practice in the development of embedded systems, from the elicitation and analysis of requirements through to the design and implementation of programs down to the compilation and execution on verified hardware.


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.


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.


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.

Further information about PROCOS is available from the PROCOS home page <URL:>.


Oxford University - UK
Computing Laboratory
11 Keble Road


Graz University of Technology A
DST Deutsche System Technik GmbH D
Forschungszentrum Informatik (Karlsruhe) D
Universität Kiel D
Universität Oldenburg D
Philips GmbH Forschungslaboratories D
RWTÜV Anlagentechnik D
Technische Hochschule Darmstadt D
Danish State Railways DK
Technical University of Denmark DK
GEC Alsthom F
Verimag F
Politecnico di Milano I
University of Twente NL
Swedish Institute for Computer Science S
Abo Akademi University SF
University of Cambridge UK
Lloyd's Register UK
National Physical Laboratory UK
Praxis Sustems plc UK
University of York UK


Jonathan Bowen
tel +44/865-273838
fax +44/865-273839

LTR synopses home page LTR work area index LTR acronym index LTR number index LTR Working Groups index
All synopses home page all acronyms index all numbers index

PROCOS - 8694, August 1994

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook