DocumentCode :
2226991
Title :
Application of CSP to the development of sequence control mechanisms
Author :
Tsujigado, Makoto
Author_Institution :
Hakuoh Univ., Tochigi, Japan
fYear :
1993
fDate :
15-19 Nov 1993
Firstpage :
2115
Abstract :
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
Keywords :
algebra; concurrent engineering; control engineering; control engineering computing; Ada; algebra; communicating sequential processes; concurrently working components; deadlock absence; process composition calculation; sequence control mechanisms; silo system; Algebra; System recovery;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on
Conference_Location :
Maui, HI
Print_ISBN :
0-7803-0891-3
Type :
conf
DOI :
10.1109/IECON.1993.339403
Filename :
339403
Link To Document :
بازگشت