Distributed Implementation of a Ccs-like Programming Language for Embedded Systems

We introduce a programming language for embedded systems. The language is based on the process algebra pmc which like ccs has concurrent composition of processes and synchronous point-to-point communication. Determinism and distributability are desirable, but contradictory properties. The programming language therefore contains operators that allow for both local deterministic concurrency and global non-deterministic concurrency. We give a model for a class of distributed platforms, and give a translation of pmc programs into this model. Although the pmc language allows for a limited (but useful) form of mixed input and output guarded choice, the implementation uses an eecient protocol for implementing synchronous communication by asynchronous message passing. The implementation is shown to have the property of being locally deterministic and being able to detect real-time constraint violations. The translation does not introduce neither live-nor deadlocks.