Scheduling Hardware/Software Systems Using Symbolic Techniques

Ernst R, Strehl K, Teich J, Thiele L, Ziegenbein D (1999)


Publication Type: Conference contribution

Publication year: 1999

Publisher: IEEE

Edited Volumes: Hardware/Software Codesign - Proceedings of the International Workshop

Pages Range: 173-177

Conference Proceedings Title: Proc. CODES'99, the 7th Int. Workshop on Hardware/Software Co-Design

Event location: Rome IT

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.

Authors with CRIS profile

Involved external institutions

How to cite

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: Download