Mapping a Mascot 3 design into Occam

Mascot is the MOD preferred software design method for embedded software systems. It has been widely used, both with and without toolsets, for the design of software written in Pascal and CORAL 66. A report of a study funded by RSRE proposed how to implement Mascot 3 systems using Ada. The paper builds on that study to propose a mapping to allow Mascot 3 to be used with Occam. The proposed method is easy to use without a toolset and appears to produce efficient Occam programs