Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation

Schedulability analysis techniques that are well understood within the real-time scheduling community are applied to the analysis of recurrent real-time workloads that are modeled using the synchronous data-flow graph (SDFG) model. An enhancement to the standard SDFG model is proposed, that permits the specification of a real-time latency constraint between a specified input and a specified output of an SDFG. A technique is derived for transforming such an enhanced SDFG to a collection of traditional 3-parameter sporadic tasks, thereby allowing for the analysis of systems of SDFG tasks using the methods and algorithms that have previously been developed within the real-time scheduling community for the analysis of systems of such sporadic tasks. The applicability of this approach is illustrated by applying prior results from real-time scheduling theory to construct an exact preemptive uniprocessor schedulability test for collections of recurrent processes that are each represented using the enhanced SDFG model.

[1]  Sander Stuijk,et al.  Latency Minimization for Synchronous Data Flow Graphs , 2007 .

[2]  Todor Stefanov,et al.  Managing latency in embedded streaming applications under hard-real-time scheduling , 2012, CODES+ISSS '12.

[3]  Alix Munier Kordon,et al.  Preemptive scheduling of dependent periodic tasks modeled by synchronous dataflow graphs , 2016, RTNS.

[4]  Wang Yi,et al.  Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model , 2016, Ada-Europe.

[5]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[6]  Firew Siyoum,et al.  Worst-case temporal analysis of real-time dynamic streaming applications , 2014 .

[7]  Michael L. Dertouzos,et al.  Control Robotics: The Procedural Control of Physical Processes , 1974, IFIP Congress.

[8]  Wang Yi,et al.  Graph-based models for real-time workload: a survey , 2015, Real-Time Systems.

[9]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[10]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[11]  Luís Miguel Pinho,et al.  Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs , 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[12]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[13]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[14]  Thierry Gautier,et al.  Earliest-deadline first scheduling of multiple independent dataflow graphs , 2014, 2014 IEEE Workshop on Signal Processing Systems (SiPS).

[15]  Aloysius K. Mok,et al.  Improvement in feasibility testing for real-time tasks , 1996, Real-Time Systems.

[16]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[17]  Wang Yi,et al.  The Digraph Real-Time Task Model , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[18]  Alix Munier Kordon,et al.  Computing latency of a real-time system modeled by Synchronous Dataflow Graph , 2016, RTNS '16.

[19]  Martin Stigge.  Real-Time Workload Models : Expressiveness vs. Analysis Efficiency , 2014 .

[20]  Todor Stefanov,et al.  Hard-real-time scheduling of data-dependent tasks in embedded streaming applications , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[21]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[22]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[23]  Alan Burns,et al.  Schedulability Analysis for Real-Time Systems with EDF Scheduling , 2009, IEEE Transactions on Computers.

[24]  Sanjoy K. Baruah,et al.  Algorithms for Determining the Demand-Based Load of a Sporadic Task System , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[25]  Edward Ashford Lee.  A coupled hardware and software architecture for programmable digital signal processors (synchronous data flow) , 1986 .