Scheduling Hardware/Software Systems Using Symbolic Techniques

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Ernst R, Strehl K, Teich J, Thiele L, Ziegenbein D
Titel Sammelwerk: Hardware/Software Codesign - Proceedings of the International Workshop
Verlag: IEEE
Jahr der Veröffentlichung: 1999
Tagungsband: Proc. CODES'99, the 7th Int. Workshop on Hardware/Software Co-Design
Seitenbereich: 173-177


Abstract


In this paper, a scheduling method for heterogeneous embedded systems is developed. At first, an internal representation model called FunState is presented which enables the explicit representation of non-determinism and scheduling using a combination of functions and state machines. The new scheduling method is able to deal with mixed data/control flow specifications and takes into account different mechanisms of non-determinism as occurring in the design of embedded systems. Constraints imposed by other already implemented components are respected. The scheduling approach avoids the explicit enumeration of execution paths by using symbolic techniques and guarantees to find a deadlock-free and bounded schedule if one exists. The generated schedule consists of statically scheduled basic blocks which are dynamically called at run time.



FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Einrichtungen weiterer Autorinnen und Autoren

Eidgenössische Technische Hochschule Zürich (ETHZ) / Swiss Federal Institute of Technology in Zurich
Technische Universität Braunschweig


Zitierweisen

APA:
Ernst, R., Strehl, K., Teich, J., Thiele, L., & Ziegenbein, D. (1999). Scheduling Hardware/Software Systems Using Symbolic Techniques. In Proc. CODES'99, the 7th Int. Workshop on Hardware/Software Co-Design (pp. 173-177). Rome, IT: IEEE.

MLA:
Ernst, Rolf, et al. "Scheduling Hardware/Software Systems Using Symbolic Techniques." Proceedings of the 7th Int. Workshop on Hardware/Software Co-Design,, Rome IEEE, 1999. 173-177.

BibTeX: 

Zuletzt aktualisiert 2018-09-08 um 21:24