On hard real-time scheduling of cyclo-static dataflow and its application in system-level design

Leiden Repository

On hard real-time scheduling of cyclo-static dataflow and its application in system-level design

Title: On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Author: Bamakhrama, Mohamed Ahmed Mohamed
Publisher: Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University
Issue Date: 2014-03-12
Keywords: Real-time systems
Streaming programs
System-level design
Scheduling analysis
Design automation
Cyclo-static dataflow
Abstract: This dissertation addresses the problem of designing hard real-time streaming systems running a set of parallel streaming programs in an automated way such that the programs provably meet their timing requirements. A scheduling framework is proposed with which it is analytically proven that any streaming program, modeled as an acyclic Cyclo-Static Dataflow (CSDF) graph, can be executed as a set of real-time periodic tasks. The proposed framework computes the parameters of the periodic tasks corresponding to the graph actors and the minimum buffer sizes of the communication channels such that a valid periodic schedule is guaranteed to exist. In order to demonstrate the effectiveness of the proposed scheduling framework, a system-level design flow that incorporates the scheduling framework is proposed. This proposed design flow accepts, as input, algorithmic sequential specifications of streaming programs, and then applies a set of systematic and automated steps that produce, as output, the final system implementation, which provably meets the timing requirements of the programs. The final system implementation consists of the parallelized versions of the input streaming programs together with the hardware needed to run them. The proposed scheduling framework and design flow are evaluated through a set of experiments. These experiments illustrate the effectiveness of the proposed scheduling framework and design flow.
Description: Promoter: Ed F. Deprettere, Co-promoter: Todor P. Stefanov
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Bamakhrama, M.A.M., 2014, Doctoral thesis, Leiden University
ISBN: 9789090280325
Handle: http://hdl.handle.net/1887/24481
 

Files in this item

Description Size View
application/pdf Full text 1.209Mb View/Open
application/pdf Cover 124.6Kb View/Open
application/pdf Title page_Contents_List of figures_List of tables 472.5Kb View/Open
application/pdf Chapter 1 Introduction 516.5Kb View/Open
application/pdf Chapter 2 616.2Kb View/Open
application/pdf Chapter 3 466.4Kb View/Open
application/pdf Chapter 4 642.6Kb View/Open
application/pdf Chapter 5 459.5Kb View/Open
application/pdf Chapter 6 Evuluation and results 542.5Kb View/Open
application/pdf Chapter 7 Summary and future work 332.6Kb View/Open
application/pdf Curriculum Vitae_List of publications 315.1Kb View/Open
application/pdf Summary in Dutch 260.7Kb View/Open
application/pdf Acknowledgements 162.7Kb View/Open
application/pdf Propositions 216.0Kb View/Open

This item appears in the following Collection(s)