The Functional Specification of OCCAM Programs for Time Critical Applications

This paper addresses the fundamental requirement that real–time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner’s job shop is given using this language. This is then transformed in a structured way into an occam implementation. The temporal properties specified are then used to derive working constraints on the implementation. In conclusion, work on the extensions to the PAISLey environment to include the transputer scheduler, and the inclusion of PAISLey into a CASE system are outlined.