Communicating Sequential Processes in Ptolemy II
by Neil Smyth
Technical Memorandum UCB/ERL M98/70
Electronics Research Laboratory, Berkeley, CA 94720
December 15, 1998
The Communicating Sequential Processes (CSP) domain in Ptolemy II models a system as a network of processes communicating with messages through unidirectional channels. The communication between processes is rendezvous based: both the reading and writing processes block until the other side is ready to communicate. This model of computation is non-deterministic and is also highly concurrent due to the nature of the model. This report gives an overview of the semantics of the model of computation of the CSP domain, the algorithms and software infrastructure used in implementing the domain, and some applications. In particular, applications for the CSP domain include resource management and high level system modeling early in the design cycle. Resource management is often required when modeling embedded systems, and to further support this, a notion of time has been added to the model of computation used in the domain.
Send comments to Edward A. Lee at eal at eecs berkeley edu .