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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
OX1 3QD Oxford
United Kingdom
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
Participants (23)
SF-20520 TURKU
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
24118 Kiel
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
BA1 1PX Bath
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
1349 COPENHAGEN
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
24145 KIEL
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
75016 Paris
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
8010 GRAZ
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
5230 Odense M
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
CR0 2AJ Croydon
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
TW11 0LW Teddington
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
MILANO
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
52066 Aachen
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
45128 ESSEN
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
S 164 28 KISTA
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
2800 LYNGBY
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
64283 DARMSTADT
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
26129 OLDENBURG
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
0316 OSLO
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
7500 AE ENSCHEDE
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
CB2 3QG Cambridge
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
YO1 5DD York
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
76131 Karlsruhe
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.
38041 GRENOBLE
See on map
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.