Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

25361 Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
Home Policy Brochure Browse Search User Area Contact Help

Ahmad, W. and de Groote, E. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2014) Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014), 23-27 June 2014, Tunis, Tunisia. pp. 72-81. IEEE Computer Society. ISSN 1550-4808

Full text available as:


503 Kb
Open Access

Official URL:

Exported to Metis


Synchronous dataflow (SDF) graphs are a widely used formalism for modelling, analysing and realising streaming applications, both on a single processor and in a multiprocessing context. Efficient schedules are essential to obtain maximal throughput under the constraint of available resources. This paper presents an approach to schedule SDF graphs using a proven formalism of timed automata (TA). TA maintain a good balance between expressiveness and tractability, and are supported by powerful verification tools, e.g. UPPAAL. We describe a compositional translation of SDF graphs to TA, and perform analysis and verification in the UPPAAL state-of-the-art tool. This approach does not require the (exponential) transformation of SDF graphs to homogeneous SDF
graphs and helps to find schedules with a trade-off between the number of processors required and the throughput. It also allows quantitative model checking and verification of (preservation of) user-defined properties such as the absence of deadlocks, safety, liveness and throughput analysis. This translation also forms the basis for future work to extend this analysis of SDF graphs with new features such as stochastics, energy consumption and costs.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools, EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:SENSATION: Self Energy-supporting Autonomous Computation, POLCA: Programming Large Scale Heterogeneous Infrastructures
Uncontrolled Keywords:Dataflow, Scheduling, Timed Automata, Heterogeneous, Throughput,MPEG-4 decoder, MP3 playback
application,MP3 decoder, audio echo canceller
ID Code:25361
Deposited On:22 December 2014
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item