Application of CSP to the development of sequence control mechanisms

The CSP (communicating sequential processes) method is useful for the development of sequence control mechanisms. From the specifications in CSP, one can investigate the nature and workings of a sequence control mechanism by the process composition calculation or algebra, prove deadlock absence by the algebra, and find the most suitable module structures of the control programs. In this paper, specifications of a silo system with concurrently working components are described in CSP, the movements are investigated by process composition calculations, and the deadlock absence of the system is proved by the calculations. Based on the discussions, specifications of a silo system with two source silos, two measuring hoppers, a mixer, two conveyors and two destination silos are described in CSP, and the system is implemented in the programming language Ada. The author´s studies include the relation of CSP specifications to Ada programs