Abstract
In this chapter, a novel design and analysis methodology for simulation-based determination of non-functional properties of a system design, like performance, power consumption, and temperature is proposed. For simulation acceleration and handling of complexity issues, the design flow includes automated abstraction of component functionality. Specified platform attributes as dynamic power management and formally modeled temporal input stimuli are automatically transformed to non-functional SystemC models. The framework implements the ability for automated online and offline analysis of non-functional System-on-Chip properties.
This work was partially supported by the BMBF project AIS under grant 01M3083G and the DFG project ASOC under grant RO 1030/14-1 and 2.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
T. Austin, E. Larson, and D. Ernst. Simplescalar: an infrastructure for computer system modeling. Computer, 35(2):59–67, 2002.
R.I. Bahar, D. Hammerstrom, J. Harlow, W.H. Joiner Jr., C. Lau, D. Marculescu, A. Orailoglu, and M. Pedram. Architectures for silicon nanoelectronics and beyond. Computer, 40(1):25–33, 2007.
L. Benini, A. Bogliolo, and G.D. Micheli. A survey of design techniques for system-level dynamic power management. In Readings in Hardware/Software Co-design, pages 231–248, 2002.
L. Benini, R. Hodgson, and P. Siegel. System-level power estimation and optimization. In ISLPED ’98: Proceedings of the 1998 International Symposium on Low Power Electronics and Design, pages 173–178. Assoc. Comput. Mach., New York, 1998.
J. Bryans, H. Bowman, and J. Derrick. Model checking stochastic automata. ACM Trans. Comput. Logic, 4(4):452–492, 2003.
S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proceedings of DATE, Munich, 2003.
A. Donlin. Transaction level modeling: flows and use models. In CODES+ISSS ’04. Assoc. Comput. Mach., New York, 2004.
W. Huang, K. Sankaranarayanan, R. Ribando, M. Stan, and K. Skadron. An improved block-based thermal model in HotSpot 4.0 with granularity considerations. Technical report, University of Virginia, Dept. of Computer Science, April 2007.
International Technology Roadmap for Semiconductors. 2007.
M. Krause, O. Bringmann, and W. Rosenstiel. Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems. Des. Autom. Embed. Syst., 10(4):229–251, 2007.
M. Loghi, F. Angiolini, D. Bertozzi, L. Benini, and R. Zafalon. Analyzing on-chip communication in a MPSoC environment. In DATE ’04: Proceedings of the Conference on Design, Automation and Test in Europe, 2004.
A. Löffler. Modeling and Transformation of Temporal Environment Models. Study thesis, University of Karlsruhe, 2008.
S. Manolache, P. Eles, and Z. Peng. Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embed. Comput. Syst., 3(4):706–735, 2004.
R. Marculescu and A. Nandi. Probabilistic application modeling for system-level performance analysis. In DATE ’01: Proceedings of the Conference on Design, Automation and Test in Europe, pages 572–579. IEEE Press, Piscataway, 2001.
M.A. Marsan, G. Conte, and G. Balbo. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2(2):93–122, 1984.
J.W. McPherson. Reliability challenges for 45 nm and beyond. In DAC, 2006.
M.J. Moran, H.N. Shapiro, B.R. Munson, and D.P. DeWitt. Introduction to Thermal Systems Engineering: Thermodynamics, Fluid Mechanics, and Heat Transfer. Wiley, New York, 2002.
W. Müller, W. Rosenstiel, and J. Ruf, editors. SystemC: Methodologies and Applications. Kluwer Academic, Norwell, 2003.
G. Paci, P. Marchal, F. Poletti, and L. Benini. Exploring temperature-aware design in low-power MPSoCs. In DATE ’06: Proceedings of the Conference on Design, Automation and Test in Europe, 2006.
A. Viehl, M. Schwarz, O. Bringmann, and W. Rosenstiel. Probabilistic performance risk analysis at system-level. In CODES+ISSS ’07, 2007.
P. Pop, P. Eles, Z. Peng, and T. Pop. Analysis and optimization of distributed real-time embedded systems. In DAC ’04: Proceedings of the 41st Annual Conference on Design Automation, pages 593–625. Assoc. Comput. Mach., New York, 2004.
Q. Qiu, Q. Wu, and M. Pedram. Dynamic power management of complex systems using generalized stochastic petri nets. In DAC ’00: Proceedings of the 37th Conference on Design Automation, pages 352–356. Assoc. Comput. Mach., New York, 2000.
M. Radetzki and R.S. Khaligh. Accuracy-adaptive simulation of transaction level models. In Proceedings of DATE, Munich, 2008.
R. Rao, S. Vrudhula, and D.N. Rakhmatov. Battery modeling for energy-aware system design. Computer, 36(12):77–87, 2003.
K. Richter, D. Ziegenbein, M. Jersak, and R. Ernst. Model composition for scheduling analysis in platform design. In Proceedings 39th Design Automation Conference DAC, 2002.
S. Schliecker, M. Ivers, and R. Ernst. Integrated analysis of communicating tasks in MPSoCs. In CODES+ISSS ’06. Assoc. Comput. Mach., New York, 2006.
J. Schnerr, O. Bringmann, A. Viehl, and W. Rosenstiel. High-performance timing simulation of embedded software. In DAC ’08: Proceedings of the 45th Annual Conference on Design Automation, pages 290–295. Assoc. Comput. Mach., New York, 2008.
L. Shang and R.P. Dick. Thermal crisis: challenges and potential solutions. In IEEE Potentials, 2006.
A. Siebenborn, A. Viehl, O. Bringmann, and W. Rosenstiel. Control-flow aware communication and conflict analysis of parallel processes. In Proceedings of the 12th Asia and South Pacific Design Automation Conference ASP-DAC 2007, Yokohama, Japan, 2007.
A. Viehl, M. Schwarz, O. Bringmann, and W. Rosenstiel. A hybrid approach for system-level design evaluation. In IESS, pages 165–178, 2007.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Viehl, A., Sander, B., Bringmann, O., Rosenstiel, W. (2009). Analysis of Non-functional Properties of MPSoC Designs. In: Radetzki, M. (eds) Languages for Embedded Systems and their Applications. Lecture Notes in Electrical Engineering, vol 36. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9714-0_20
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9714-0_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9713-3
Online ISBN: 978-1-4020-9714-0
eBook Packages: EngineeringEngineering (R0)