Title :
Representation of process mode correlation for scheduling
Author :
Ziegenbein, D. ; Richter, K. ; Ernst, R. ; Teich, J. ; Thiele, L.
Author_Institution :
Tech. Univ. Braunschweig, Germany
Abstract :
The specification of embedded systems very often contains a mixture of different models of computation. In particular the data flow and control flow associated to the transformative and reactive domains, respectively are tightly coupled. The paper considers classes of applications that feature communicating processes whose functions depend on a finite set of computation modes. The change between these modes is synchronized by data communication. An approach is presented to model the correlation of process modes and to fully utilize this information for scheduling. A modeling example shows the optimization potential of the new approach.
Keywords :
data communication; embedded systems; formal specification; optimisation; scheduling; communicating processes; computation; control flow; data communication; data flow; embedded systems specification; optimization; process mode correlation; scheduling; Communication system control; Computational modeling; Data communication; Delay; Embedded computing; Embedded system; Encoding; Permission; Processor scheduling; Switches;
Conference_Titel :
Computer-Aided Design, 1998. ICCAD 98. Digest of Technical Papers. 1998 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
1-58113-008-2
DOI :
10.1109/ICCAD.1998.144244