|
Authors: | Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, Rolf Ernst, Juergen Teich |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | Scheduling Hardware/Software Systems Using Symbolic Techniques |
Year: | 1999 |
Month: | May |
Pub-Key: | STZET99 |
Book Titel: | Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES `99) |
Pages: | 173-177 |
Keywords: | SMC IDD FunState |
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. |
Remarks: | Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES `99), Rome, Italy, pages 173-177, May 3-5, 1999 |
Location: | Rome, Italy |
Resources: | [BibTeX] [Paper as PDF] |