Performance analysis for complex embedded applications

Most existing performance analysis techniques for multi-processor systems with dynamic scheduling assume simple task dependencies. In realistic system, task dependencies are often complex, including multirate data dependencies, multiple activating inputs and cyclic dependencies or conditional communication. In this paper, we focus on the calculation of activation timing in the presence of such dependencies. These calculations have been integrated into a system-level performance analysis framework for heterogeneous architectures. Using a larger example, we demonstrate the use of this novel performance analysis for verifying all timing constraints, and for rapid design-space exploration and system optimisation.

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

[2]  Petru Eles,et al.  Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems , 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

[3]  Rolf Ernst,et al.  Context-aware performance analysis for efficient embedded system design , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[4]  Desmond P. Taylor,et al.  A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The SingleNode Case , 2007 .

[5]  Colin J. Fidge,et al.  Real-Time Schedulability Tests for Preemptive Multitasking , 2004, Real-Time Systems.

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

[7]  Yuan Xie,et al.  Allocation and scheduling of conditional task graph in hardware/software co-synthesis , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[8]  Dirk Ziegenbein,et al.  A compositional approach to embedded system design , 2002 .

[9]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[10]  Rolf Ernst,et al.  Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

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

[12]  Rolf Ernst,et al.  Scheduling analysis integration for heterogeneous multiprocessor SoC , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[13]  Lothar Thiele,et al.  Chapter 4 – Design Space Exploration of Network Processor Architectures , 2003 .

[14]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[15]  Klaus Gresser,et al.  Echtzeitnachweis ereignisgesteuerter Realzeitsysteme , 1993 .

[16]  H. E. Lokay.  IEEE "Fellow" , 1981 .

[17]  Luciano Lavagno,et al.  Formal Models for Embedded System Design , 2000, IEEE Des. Test Comput..

[18]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the single node case , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[19]  Rolf Ernst,et al.  A Formal Approach to MpSoC Performance Verification , 2003, Computer.

[20]  Marek Jersak,et al.  Compositional performance analysis for complex embedded applications , 2004 .

[21]  Wayne H. Wolf,et al.  Performance estimation for real-time distributed embedded systems , 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.

[22]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[23]  Petru Eles,et al.  Scheduling of conditional process graphs for the synthesis of embedded systems , 1998, DATE.

[24]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[25]  W. Tindell.  AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS , 1994 .

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

[27]  Jürgen Teich,et al.  SPI - a system model for heterogeneously specified embedded systems , 2002, IEEE Trans. Very Large Scale Integr. Syst..