Abstract:
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previous component models that hardwire the coordination behavior either explicitly in the components or implicitly in the underlying model of computation, modal processes decouple component functionality and coordination protocols. Retargetability is achieved through the synthesis of distributed mode managers, which abstract away low-level synchronization and control communication details that would otherwise be exposed to the component designer. This paper presents an algorithm for the synthesis and optimization of distributed coordination controllers by computing an optimal projection of the global state space onto each processor. It not only minimizes interprocessor communication traffic for coordination but also reduces controller complexity by minimizing replication. 1.
Citations
|
562
|
The Esterel synchronous programming language: Design, semantics, implementation
– Berry, Gonthier
- 1992
|
|
286
|
Synchronous data flow
– Lee, Messerschmitt
- 1987
|
|
165
|
Introduction to Algorithms
– Corman, Leiserson, et al.
- 1990
|
|
97
|
Reconciling Environment Integration and Software Evolution
– Sullivan, Notkin
- 1992
|
|
76
|
Interface-based design
– Rowson, Sangiovanni–Vincentelli
- 1997
|
|
71
|
Design of embedded systems: Formal models, validation, and synthesis
– Edwards, Lavagno, et al.
- 1997
|
|
40
|
A Language Framework for Multi-Object Coordination
– Frølund, Agha
- 1993
|
|
39
|
A Language Framework for Multi-Object Coordination
– Frlund, Agha
- 1993
|
|
13
|
On Statecharts with overlapping
– Harel, Kahana
- 1992
|
|
13
|
A comparison of statechart variants
– Beek
- 1994
|
|
12
|
Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems
– Chou, Borriello
- 1998
|
|
3
|
Control Composition and Synthesis of Distributed Real-Time Embedded Systems
– Chou
- 1998
|
|
3
|
Control generation for embedded systems based on composition of modal processes
– Chou, Hines, et al.
- 1998
|
|
2
|
Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cells
– Aggarwal, Mitra, et al.
- 1994
|
|
1
|
ipChinook: an integrated development environment for IP-based design of distributed embedded systems
– Chou, Ortega, et al.
- 1999
|
|
1
|
Specification and description language
– 100
- 1989
|
