A Unified Programming Model for Time- and Data-Driven Embedded Applications

Modern embedded systems encompass a fast increasing range of applications, spanning from automotive to multimedia, and industrial automation. To tackle the increasing design complexity, the model-based design paradigm promotes the use of Models of Computation (MoCs) to capture the essential application properties. Existing MoCs are split between the event/time-triggered paradigm and the data-driven paradigm. However, time and data are two inter-related dimensions that are essential for defining the correct application behavior. In this paper we advocate a unified MoC that integrates the notions of time and data while accounting for imperfect clocks. We present the formal properties of our model and show how the Synchronous Data Flow (SDF) MoC can be used to analyze the time performance guarantees.

[1]  Carlo Rossi,et al.  Giotto a time-triggered language for embedded programming , 2011 .

[2]  Sander Stuijk,et al.  Throughput Analysis of Synchronous Data Flow Graphs , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[3]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

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

[5]  Albert Benveniste,et al.  A unifying view of loosely time-triggered architectures , 2010, EMSOFT '10.

[6]  Sander Stuijk,et al.  Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications , 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

[7]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Pau Arumí,et al.  Time-triggered static schedulable dataflows for multimedia systems , 2009, Electronic Imaging.

[9]  Lino Guzzella,et al.  Discrete-Event Models , 2010 .

[10]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[11]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[12]  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.

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