On Hard Real-Time Scheduling of Cyclo-Static Dataflow and its Application in System-Level Design
نویسندگان
چکیده
PROEFSCHRIFT ter verkrijging van de graad van Doctor aan de Universiteit Leiden, op gezag van Rector Magniicus prof.mr. My prayer and my sacrifice and my life and my death are all for God, the Lord of the worlds.
منابع مشابه
On the hard-real-time scheduling of embedded streaming applications
In this paper, we consider the problem of hard-real-time (HRT) multiprocessor scheduling of embedded streaming applications modeled as acyclic dataflow graphs. Most of the hard-real-time scheduling theory for multiprocessor systems assumes independent periodic or sporadic tasks. Such a simple task model is not directly applicable to dataflow graphs, where nodes represent actors (i.e., tasks) an...
متن کاملCyclo-Dynamic Dataflow
In this paper we present cyclo-dynamic data flow (CDDF), a new data flow model for real time digital signal processing (DSP) applications. CDDF is an extension of cyclo-static dataflow (CSDF) [1,2] which keeps the interesting properties like analyzability and efficient compile time scheduling, while introducing data dependent control flow to improve the expressivity. The semantics are construct...
متن کاملModel-based Hardware Design for Image Processing Systems
Model-based design has been touted as the most viable design methodology of the future for the design of embedded hardware/software systems. Due to the large complexity of modern embedded systems, it is more and more error-prone to design systems without having a formal model to support and verify the application at design time. Also, formal models generally capture broad classes of application...
متن کاملConsistency Analysis of Reconfigurable Dataflow Specifications
Parameterized dataflow is a meta-modeling approach for incorporating dynamic reconfiguration capabilities into broad classes of dataflow-based design frameworks for digital signal processing (DSP). Through a novel formalization of dataflow parameterization, and a disciplined approach to specifying parameter reconfiguration, the parameterized dataflow framework provides for automated synthesis o...
متن کاملAnalyse d'Applications Flot de Données pour la Compilation Multiprocesseur
Embedded systems are hardware and software based equipment. They are subject to many constraints and must run without stopping. To define the behavior of these systems, dataflow programming models are often used. On one hand, this choice is motivated by the fact that dataflow models allow the description of cyclic behavior, which is needed for embedded systems ; secondly because the analysis of...
متن کامل