{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:36:02Z","timestamp":1725532562150},"publisher-location":"Dordrecht","reference-count":30,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402097133"},{"type":"electronic","value":"9781402097140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4020-9714-0_20","type":"book-chapter","created":{"date-parts":[[2009,5,22]],"date-time":"2009-05-22T09:44:14Z","timestamp":1242985454000},"page":"309-324","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of Non-functional Properties of MPSoC Designs"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Viehl","sequence":"first","affiliation":[]},{"given":"Bj\u00f6rn","family":"Sander","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Bringmann","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/2.982917","volume":"35","author":"T. Austin","year":"2002","unstructured":"T. Austin, E. Larson, and D. Ernst. Simplescalar: an infrastructure for computer system modeling. Computer, 35(2):59\u201367, 2002.","journal-title":"Computer"},{"issue":"1","key":"20_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2007.7","volume":"40","author":"R.I. Bahar","year":"2007","unstructured":"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\u201333, 2007.","journal-title":"Computer"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"L.\u00a0Benini, A.\u00a0Bogliolo, and G.D. Micheli. A\u00a0survey of design techniques for system-level dynamic power management. In Readings in Hardware\/Software Co-design, pages 231\u2013248, 2002.","DOI":"10.1016\/B978-155860702-6\/50020-X"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/280756.280881","volume-title":"ISLPED \u201998: Proceedings of the 1998 International Symposium on Low Power Electronics and Design","author":"L. Benini","year":"1998","unstructured":"L. Benini, R. Hodgson, and P. Siegel. System-level power estimation and optimization. In ISLPED \u201998: Proceedings of the 1998 International Symposium on Low Power Electronics and Design, pages 173\u2013178. Assoc. Comput. Mach., New York, 1998."},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/937555.937558","volume":"4","author":"J. Bryans","year":"2003","unstructured":"J. Bryans, H. Bowman, and J. Derrick. Model checking stochastic automata. ACM Trans. Comput. Logic, 4(4):452\u2013492, 2003.","journal-title":"ACM Trans. Comput. Logic"},{"key":"20_CR6","unstructured":"S.\u00a0Chakraborty, S.\u00a0K\u00fcnzli, and L.\u00a0Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proceedings of DATE, Munich, 2003."},{"key":"20_CR7","volume-title":"CODES+ISSS \u201904","author":"A. Donlin","year":"2004","unstructured":"A.\u00a0Donlin. Transaction level modeling: flows and use models. In CODES+ISSS \u201904. Assoc. Comput. Mach., New York, 2004."},{"key":"20_CR8","unstructured":"W.\u00a0Huang, K.\u00a0Sankaranarayanan, R.\u00a0Ribando, M.\u00a0Stan, and K.\u00a0Skadron. An improved block-based thermal model in HotSpot 4.0 with granularity considerations. Technical report, University of Virginia, Dept. of Computer Science, April 2007."},{"key":"20_CR9","unstructured":"International Technology Roadmap for Semiconductors. 2007."},{"issue":"4","key":"20_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10617-006-0590-8","volume":"10","author":"M. Krause","year":"2007","unstructured":"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\u2013251, 2007.","journal-title":"Des. Autom. Embed. Syst."},{"key":"20_CR11","unstructured":"M.\u00a0Loghi, F.\u00a0Angiolini, D.\u00a0Bertozzi, L.\u00a0Benini, and R.\u00a0Zafalon. Analyzing on-chip communication in a MPSoC environment. In DATE \u201904: Proceedings of the Conference on Design, Automation and Test in Europe, 2004."},{"key":"20_CR12","unstructured":"A.\u00a0L\u00f6ffler. Modeling and Transformation of Temporal Environment Models. Study thesis, University of Karlsruhe, 2008."},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/1027794.1027797","volume":"3","author":"S. Manolache","year":"2004","unstructured":"S. Manolache, P. Eles, and Z. Peng. Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embed. Comput. Syst., 3(4):706\u2013735, 2004.","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1109\/DATE.2001.915081","volume-title":"DATE \u201901: Proceedings of the Conference on Design, Automation and Test in Europe","author":"R. Marculescu","year":"2001","unstructured":"R. Marculescu and A. Nandi. Probabilistic application modeling for system-level performance analysis. In DATE \u201901: Proceedings of the Conference on Design, Automation and Test in Europe, pages 572\u2013579. IEEE Press, Piscataway, 2001."},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"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\u2013122, 1984.","journal-title":"ACM Trans. Comput. Syst."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"J.W. McPherson. Reliability challenges for 45\u00a0nm and beyond. In DAC, 2006.","DOI":"10.1145\/1146909.1146959"},{"key":"20_CR17","volume-title":"Introduction to Thermal Systems Engineering: Thermodynamics, Fluid Mechanics, and Heat Transfer","author":"M.J. Moran","year":"2002","unstructured":"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."},{"volume-title":"SystemC: Methodologies and Applications","year":"2003","key":"20_CR18","unstructured":"W. M\u00fcller, W. Rosenstiel, and J. Ruf, editors. SystemC: Methodologies and Applications. Kluwer Academic, Norwell, 2003."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"G.\u00a0Paci, P.\u00a0Marchal, F.\u00a0Poletti, and L.\u00a0Benini. Exploring temperature-aware design in low-power MPSoCs. In DATE \u201906: Proceedings of the Conference on Design, Automation and Test in Europe, 2006.","DOI":"10.1109\/DATE.2006.243741"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"A.\u00a0Viehl, M.\u00a0Schwarz, O.\u00a0Bringmann, and W.\u00a0Rosenstiel. Probabilistic performance risk analysis at system-level. In CODES+ISSS \u201907, 2007.","DOI":"10.1145\/1289816.1289862"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/996566.1142984","volume-title":"DAC \u201904: Proceedings of the 41st Annual Conference on Design Automation","author":"P. Pop","year":"2004","unstructured":"P. Pop, P. Eles, Z. Peng, and T. Pop. Analysis and optimization of distributed real-time embedded systems. In DAC \u201904: Proceedings of the 41st Annual Conference on Design Automation, pages 593\u2013625. Assoc. Comput. Mach., New York, 2004."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/337292.337438","volume-title":"DAC \u201900: Proceedings of the 37th Conference on Design Automation","author":"Q. Qiu","year":"2000","unstructured":"Q. Qiu, Q. Wu, and M. Pedram. Dynamic power management of complex systems using generalized stochastic petri nets. In DAC \u201900: Proceedings of the 37th Conference on Design Automation, pages 352\u2013356. Assoc. Comput. Mach., New York, 2000."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"M.\u00a0Radetzki and R.S. Khaligh. Accuracy-adaptive simulation of transaction level models. In Proceedings of DATE, Munich, 2008.","DOI":"10.1145\/1403375.1403566"},{"issue":"12","key":"20_CR24","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/MC.2003.1250886","volume":"36","author":"R. Rao","year":"2003","unstructured":"R. Rao, S. Vrudhula, and D.N. Rakhmatov. Battery modeling for energy-aware system design. Computer, 36(12):77\u201387, 2003.","journal-title":"Computer"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"K.\u00a0Richter, D.\u00a0Ziegenbein, M.\u00a0Jersak, and R.\u00a0Ernst. Model composition for scheduling analysis in platform design. In Proceedings 39th Design Automation Conference DAC, 2002.","DOI":"10.1145\/513918.513993"},{"key":"20_CR26","volume-title":"CODES+ISSS \u201906","author":"S. Schliecker","year":"2006","unstructured":"S. Schliecker, M. Ivers, and R. Ernst. Integrated analysis of communicating tasks in MPSoCs. In CODES+ISSS \u201906. Assoc. Comput. Mach., New York, 2006."},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/1391469.1391543","volume-title":"DAC \u201908: Proceedings of the 45th Annual Conference on Design Automation","author":"J. Schnerr","year":"2008","unstructured":"J. Schnerr, O. Bringmann, A. Viehl, and W. Rosenstiel. High-performance timing simulation of embedded software. In DAC \u201908: Proceedings of the 45th Annual Conference on Design Automation, pages 290\u2013295. Assoc. Comput. Mach., New York, 2008."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"L.\u00a0Shang and R.P. Dick. Thermal crisis: challenges and potential solutions. In IEEE Potentials, 2006.","DOI":"10.1109\/MP.2006.1692283"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"A.\u00a0Siebenborn, A.\u00a0Viehl, O.\u00a0Bringmann, and W.\u00a0Rosenstiel. 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.","DOI":"10.1109\/ASPDAC.2007.357788"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"A.\u00a0Viehl, M.\u00a0Schwarz, O.\u00a0Bringmann, and W.\u00a0Rosenstiel. A hybrid approach for system-level design evaluation. In IESS, pages 165\u2013178, 2007.","DOI":"10.1007\/978-0-387-72258-0_15"}],"container-title":["Lecture Notes in Electrical Engineering","Languages for Embedded Systems and their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9714-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T04:47:47Z","timestamp":1684990067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9714-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781402097133","9781402097140"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9714-0_20","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2009]]}}}