RS is a reactive synchronous programming language suited to the implementation of the control part of reactive systems. The RS source programs are compiled to finite automata, which are very fast at execution time. This paper describes: (1) the distribution of the RS language, (2) the design of an MDX kernel that implements the communication facilities for the distributed automata, and (3) the implementation of the resulting distributed model using the C language.
|