Figure: Work part interdependencies and responsibilities.
Oxford is in charge of overall technical coordination and
Figure 
shows the main work parts of the project.
The workplan for ProCoS II is structured around the research
areas discussed in this section.
The project aims to develop a suite of techniques and mathematical theories which give a coherent approach to development of complex heterogeneous systems. Introduction of a common or universal model based on a Z calculus [29] would support the synthesis of a variety of design paradigms at the hardware, software and system levels. It starts with descriptions of all potential observable components of embedded safety-critical systems. A collection of system constructs will be defined on the subsets of observations, and their algebraic properties are then explored to give an algebraic semantics to a family of languages.
The universal model acts as a basis of the mathematical theory which connects various development activities; it has to support the coherent transition from requirement analysis down to hardware implementation. The universal model is also used to combine and coordinate those specific models adopted in different sites; each of which has to preserve the refinement ordering and the algebraic laws and must not introduce any extra observable components. As a result those models can be embedded into the universal model such that the satisfaction relation among two adjacent levels is consistent with the refinement order defined in the universal model.
Levels of interest to be modelled on this project, together with selected published material produced so far during both phases of the project, include: