Title :
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
Author :
Ahmad, Waheed ; de Groote, Robert ; Hölzenspies, Philip K. F. ; Stoelinga, Mariëlle ; van de Pol, Jaco
Author_Institution :
Univ. of Twente, Enschede, Netherlands
Abstract :
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.
Keywords :
automata theory; data flow graphs; formal verification; scheduling; homogeneous SDF graphs; quantitative model checking; quantitative model verification; resource-constrained optimal scheduling; synchronous dataflow graphs; timed automata; user-defined properties; Automata; Clocks; Schedules; System recovery; Throughput; Topology; Vectors; Heterogenous Systems; Multiprocessors; Scheduling; Synchronous Dataflow Graphs; Throughput Analysis; Timed Automata;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2014 14th International Conference on
Conference_Location :
Tunis La Marsa
DOI :
10.1109/ACSD.2014.13