Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis

ABSTRACT

In this paper we integrate two established approaches to formal multiprocessor performance analysis, namely Synchronous Dataflow Graphs and Compositional Performance Analysis. Both make different trade-offs between precision and applicability. We show how the strengths of both can be combined to achieve a very precise and adaptive model. We couple these models of completely different paradigms by relying on load descriptions of event streams. The results show a superior performance analysis quality.

REFERENCES

• 1: F. Bacelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity. John Wiley & Sons, Inc., 1992.
• 2: Wan-Teh Chang , Soonhoi Ha , Edward A. Lee, Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow, Journal of VLSI Signal Processing Systems, v.15 n.1-2, p.127-144, Jan. 1997
• 3: A. Dasdan and R. Gupta. Faster maximum and minimum mean cycle alogrithms for system performance analysis. IEEE Transactions on Computer-Aided Design, 17(10):889--899, October 1998.
• 4: A. Ghamarian, M. Geilen, S. Stuijk, T. Basten, A. Moonen, M. Bekooij, B. Theelen, and M. Mousavi. Throughput analysis of synchronous data flow graphs. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2006.
• 5: R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System level performance analysis - the symta/s approach. In IEE Proceedings Computers and Digital Techniques, 2005.
• 6: Simon Künzli , Francesco Poletti , Luca Benini , Lothar Thiele, Combining simulation and formal methods for system-level performance analysis, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany
• 7: E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75(9), 1987.
• 8: A. Moonen, M. Bekooij, and J. van Meerbergen. Timing analysis model for network based multiprocessor systems. In Proceedings of the 5th progress symposium on embedded systems, pages 122--130, Octobre 2004.
• 9: K. Richter. Compositional Scheduling Analysis Using Standard Event Models. PhD thesis, Technical University of Braunschweig, 2004.
• 10: Sundararajan Sriram , Shuvra S. Bhattacharyya, Embedded Multiprocessors: Scheduling and Synchronization, Marcel Dekker, Inc., New York, NY, 2000
• 11: S. Stein. Embedding a data flow-based real-time performance analysis into an event-model based multiprocessor evaluation technique. Master's thesis, Technical University of Braunschweig, January 2006.
• 12: L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systeme. In Proc. IEEE International Conference on Circuits and Systems, 2000.