Control generation for embedded systems based on composition of modal processes

In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conse-quently, processes cannot be reused in a new system with-out tailoring the code to deal with the new system’s control information. The modal process framework [5] provides a high-level way to specify the coherence of replicated con-trol information independently of the behavior of the pro-cesses. Thus multiple processes can be composed without internal tailoring and without suffering from errors common in lower-level specification styles. This paper first describes a kernel-language representation for the high-level composi-tion operators; it also presents a synthesis algorithm for the mode manager, the runtime code that maintains control in-formation coherence within and between distributed proces-sors.