Control generation for embedded systems based on composition of modal processes

• Published in: Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design pp. 46 - 53
• Main Authors: Chou, Pai, Hines, Ken, Partidge, Kurt, Borriello, Gaetano
• Format: Conference Proceeding Journal Article
• Language: English
• Published: New York, NY, USA ACM 01-11-1998
• Series: ACM Conferences
• Subjects: Applied computing > Physical sciences and engineering > Engineering; Computing methodologies > Concurrent computing methodologies > Concurrent programming languages; Mathematics of computing > Mathematical software; Software and its engineering > Software notations and tools > General programming languages > Language types; Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages
• ISBN: 1581130082; 9781581130089
• ISSN: 1092-3152
• DOI: 10.1145/288548.288559

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 tailoring the 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 first describes a kernel-language representation for the high-level composition operators; it also presents a synthesis algorithm for the mode manager, the runtime code that maintains control information coherence within and between distributed processors.