Skip to main content

Provably Correct Systems

Objective

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.

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

Data not available

Coordinator

University of Oxford
Address
Wellington Square
OX1 3QD Oxford
United Kingdom
 

Participants (23)

ABO AKADEMI UNIVERSITY
Finland
Address
Lemminkaisenkatu, 14
SF-20520 Turku
 
Christian-Albrechts-Universität Kiel
Germany
Address
Olshausenstraße 40-60
24118 Kiel
Computer General Electronic Design
United Kingdom
Address
20 Manvers Street
BA1 1PX Bath
 
DANSKE STATSBANER
Denmark
Address
Soelvgade, 40
1349 Copenhagen
 
DST DEUTSCHE SYSTEMTECHNIK GMBH
Germany
Address
Edison Straße 3
24145 Kiel
 
GEC Alsthom Transport SA
France
Address
38 Avenue Kleber
75016 Paris
 
GRAZ UNIVERSITY OF TECHNOLOGY
Austria
Address
Muenzgrabenstrasse, 11/2
8010 Graz
 
Instituttet for Anvendt Datateknik /Ifad
Denmark
Address
Forskerparken 10
5230 Odense M
 
Lloyds Register of Shipping
United Kingdom
Address
29 Wellesley Road
CR0 2AJ Croydon
 
National Physical Laboratory (NPL)
United Kingdom
Address
Queen's Road
TW11 0LW Teddington
 
POLITECNICO DI MILANO
Italy
Address
Piazza Leonardo Da Vinci 32
Milano
Philips GmbH
Germany
Address
Weisshausstraße 2
52066 Aachen
 
RHEINISCH WESTFÄLISCHER TECHNISCHER UEBERWACHUNGSVEREIN ANLAGENTECHNIK
Germany
Address
Richard Wagner Straße 5
45128 Essen
 
SWEDISH INSTITUTE OF COMPUTER SCIENCE
Sweden
Address
Isafjordsgatan, 22, 1263
S 164 28 Kista
 
TECHNICAL UNIVERSITY OF DENMARK
Denmark
Address
Building, 101
2800 Lyngby
 
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Address
Alexanderstraße 10
64283 Darmstadt
 
UNIVERSITY OF OLDENBURG
Germany
Address
Ammerlaender Heerstrasse 114/118
26129 Oldenburg
 
UNIVERSITY OF OSLO
Norway
Address
Blindern, 1080
0316 Oslo
 
UNIVERSITY OF TWENTE
Netherlands
Address
, 217
7500 AE Enschede
 
University of Cambridge
United Kingdom
Address
New Museums Site Pembroke Street
CB2 3QG Cambridge
 
University of York
United Kingdom
Address
Heslington -
YO1 5DD York
 
Universität Fridericana Karlsruhe (Technische Hochschule)
Germany
Address
Haid-und-neu-straße 10-14
76131 Karlsruhe
VERIMAG
France
Address

38041 Grenoble