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. Consequently, processes cannot be reused in a new system without tailoringthe code to deal with the new system's control information. The modal process framework provides a high-level way to specify the coherence of replicated control information independently of the behavior of the processes. Thus multiple processes can be composed without internal tailoring and without suffering from errors common in lower-level specification styles. This paper serves two purposes: to describe the synthesis of the mode manager, the runtime code that maintains control information coherence and to describe the semantics of modal process interaction.

• Type: Conference
• Year: 1998
• Where: ICCAD
• Authors: Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Borriello
• Keywords: Control Information, Hardware, ICCAD 1998, Modal Process, Modal Process Framework