2014 14th International Conference on Application of Concurrency to System Design 2014
DOI: 10.1109/acsd.2014.13
|View full text |Cite
|
Sign up to set email alerts
|

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Abstract: Synchronous dataow (SDF) graphs are a widely used formalism for modelling, analysing and realising streaming applications, both on a single processor and a multiprocessing context. Ecient schedules are necessary to obtain maximal throughput with the optimum energy consumption in such a way that the number of resources used to run these applications is kept as low a possible. This paper presents an approach of scheduling SDF graphs using a proven formalism for timed systems called timed automata (TA). TA holds … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
27
0

Year Published

2015
2015
2020
2020

Publication Types

Select...
3
2
2

Relationship

2
5

Authors

Journals

citations
Cited by 13 publications
(27 citation statements)
references
References 29 publications
0
27
0
Order By: Relevance
“…Nevertheless, it does not consider a shared communication resource. A more recent work [21] followed the same path of our work, presenting a translation of single SDFGs to timed-automata templates in order to analyse their behavior using model-checking. In contrast to our work, they focused on finding a maximal throughput on a given number of processors.…”
Section: Rt Analysis Of Sdfgsmentioning
confidence: 91%
“…Nevertheless, it does not consider a shared communication resource. A more recent work [21] followed the same path of our work, presenting a translation of single SDFGs to timed-automata templates in order to analyse their behavior using model-checking. In contrast to our work, they focused on finding a maximal throughput on a given number of processors.…”
Section: Rt Analysis Of Sdfgsmentioning
confidence: 91%
“…According to different processing purposes baseband digital signal processing can be divided into three parts, which are digital frontend, modem, and codec. The current popular wireless communication standards, such as WLAN, WiMAX, etc., are data-stream dominant and has synchronous data flow characteristic in digital processing [15][16]. …”
Section: Related Workmentioning
confidence: 99%
“…In [1], a modeling approach to find the maximal throughput for the problem of scheduling of SDFGs by converting the graph into a Timed Automata [2] model is presented. In contrast to our approach, it relies on a transformation of dataflow models to other models of computation for the analysis.…”
Section: Related Workmentioning
confidence: 99%
“…In this paper 1 we present a modeling approach based on Scenario-Aware Dataflow (SADF) that provides a single, compact and formal model of the system which reflects the complete state-space for all binding and scheduling options of an application to be mapped on a given platform. Our approach allows for the modeling of both application and platform constraints, keeping all deterministic behavior of the application within static dataflow graphs and model explicitly the different choices of scheduling and binding decisions in a Finite-State Machine.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation