{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:51Z","timestamp":1750306671821,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Project PowerEval"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2014,6]]},"abstract":"<jats:p>\n            Modeling and evaluating nonfunctional properties such as performance, power, and reliability of embedded systems are tasks of utmost importance. In this article, we introduce M\n            <jats:sc>AESTRO<\/jats:sc>\n            , a methodology for the modeling and evaluation of nonfunctional properties and embedded firmware of MPSoC architecture components at the Electronic System Level (ESL). In contrast to existing design flows that provide predefined performance models, M\n            <jats:sc>AESTRO<\/jats:sc>\n            defines a flexible approach that allows to define virtual prototypes that can be easily customized and extended to evaluate multiple nonfunctional properties of interest at different levels of abstraction. In M\n            <jats:sc>AESTRO<\/jats:sc>\n            , a design is composed purely from actor-oriented models. This enables typical ESL features such as automatic design space exploration and synthesizability of HW and SW components, typically missing in very general design flows. Unique to M\n            <jats:sc>AESTRO<\/jats:sc>\n            is the separation and coordination of the interaction between application functionality, firmware, and performance models for the evaluation of nonfunctional properties, and their complex interactions within a single Model-of-Computation (MoC). The main advantages of M\n            <jats:sc>AESTRO<\/jats:sc>\n            are: (I) Extensible modeling of interdependent nonfunctional properties of heterogeneous MPSoC components; (II) high flexibility to investigate the appropriate trade-off between modeling effort and accuracy of nonfunctional property evaluators; (III) a holistic approach for modeling application functionality as well as firmware affecting the evaluation of nonfunctional properties. Regarding (II), we present a mobile baseband processor platform use-case, executing a GSM paging application. To demonstrate (I) and (III), we present the modeling of a complex ESL processor virtual prototype, running a soft real-time application and equipped with both a power and reliability manager.\n          <\/jats:p>","DOI":"10.1145\/2594481","type":"journal-article","created":{"date-parts":[[2014,6,17]],"date-time":"2014-06-17T12:38:13Z","timestamp":1403008693000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["MAESTRO\u2014 Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs"],"prefix":"10.1145","volume":"19","author":[{"given":"Rafael","family":"Rosales","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Glass","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Wang","sequence":"additional","affiliation":[{"name":"Intel Mobile Communications, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[{"name":"Intel Mobile Communications, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"Hasholzner","sequence":"additional","affiliation":[{"name":"Intel Mobile Communications, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,23]]},"reference":[{"unstructured":"3GPP. 2012. LTE-advanced. http:\/\/www.3gpp.org\/lte-advanced.  3GPP. 2012. LTE-advanced. http:\/\/www.3gpp.org\/lte-advanced.","key":"e_1_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1145\/384197.384210"},{"volume-title":"Hardware-Software Co-Design of Embedded Systems: The POLIS Approach","author":"Balarin F.","unstructured":"F. Balarin . 1997. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach . Springer . F. Balarin. 1997. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Springer.","key":"e_1_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1109\/MC.2003.1193228"},{"unstructured":"Cofluent Design. 2011. CoFluent studio. http:\/\/www.cofluentdesign.com\/index.php\/cofluent-studio.  Cofluent Design. 2011. CoFluent studio. http:\/\/www.cofluentdesign.com\/index.php\/cofluent-studio.","key":"e_1_2_1_5_1"},{"volume-title":"Proceedings of A Next-Generation Design Framework for Platform-based Design Conference (DVCon'07)","author":"Davare A.","unstructured":"A. Davare , D. Densmore , T. Meyerowitz , A. Pinto , A. Sangiovanni-Vincentelli , G. Yang , H. Zeng , and Q. Zhu . 2007. A next-generation design framework for platform-based design . In Proceedings of A Next-Generation Design Framework for Platform-based Design Conference (DVCon'07) . A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu. 2007. A next-generation design framework for platform-based design. In Proceedings of A Next-Generation Design Framework for Platform-based Design Conference (DVCon'07).","key":"e_1_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1145\/949344.949360"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1109\/JPROC.2011.2160929"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1109\/24.159800"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1155\/2007\/82123"},{"volume-title":"Proceedings of the Forum on Design Languages (FDL'06)","author":"Falk J.","unstructured":"J. Falk , C. Haubelt , and J. Teich . 2006. Efficient representation and simulation of model-based designs in systemC . In Proceedings of the Forum on Design Languages (FDL'06) . 129--134. J. Falk, C. Haubelt, and J. Teich. 2006. Efficient representation and simulation of model-based designs in systemC. In Proceedings of the Forum on Design Languages (FDL'06). 129--134.","key":"e_1_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.1145\/129630.376083"},{"unstructured":"S. Graf M. Streubuhr M. Glass and J. Teich. 2011. Analyzing automotive networks using virtual prototypes. In GMM-Fachbericht 69: Automotive meets Electronics. 10--15. https:\/\/www12.informatik.uni-erlangen.de\/publications\/pub2011\/GSGT11.pdf.  S. Graf M. Streubuhr M. Glass and J. Teich. 2011. Analyzing automotive networks using virtual prototypes. In GMM-Fachbericht 69: Automotive meets Electronics. 10--15. https:\/\/www12.informatik.uni-erlangen.de\/publications\/pub2011\/GSGT11.pdf.","key":"e_1_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1145\/1255456.1255461"},{"key":"e_1_2_1_15_1","volume-title":"Scientific Computing: An Introductory Survey","author":"Heath M. T.","year":"2002","unstructured":"M. T. Heath . 2002 . Scientific Computing: An Introductory Survey . McGraw-Hill . M. T. Heath. 2002. Scientific Computing: An Introductory Survey. McGraw-Hill."},{"unstructured":"IEC 62380. 2004. Reliability data handbook: Universal model for reliability prediction of electronics components pcbs and equipment. Tech rep. http:\/\/ab-div-bdi-bl-blm.web.cern.ch\/ab-div-bdi-bl-blm\/RAMS\/iec-tr-62380.e.pdf.  IEC 62380. 2004. Reliability data handbook: Universal model for reliability prediction of electronics components pcbs and equipment. Tech rep. http:\/\/ab-div-bdi-bl-blm.web.cern.ch\/ab-div-bdi-bl-blm\/RAMS\/iec-tr-62380.e.pdf.","key":"e_1_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1145\/1455229.1455230"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_19_1","volume-title":"Van Der Wolf","author":"Kienhuis B.","year":"1997","unstructured":"B. Kienhuis , K. Deprettere , and P. Van Der Wolf . 1997 . A method to construct reconfigurable simulators from architecture templates. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download&quest;doi=10.1.1.47.8494&rep= rep1&type=pdf. B. Kienhuis, K. Deprettere, and P. Van Der Wolf. 1997. A method to construct reconfigurable simulators from architecture templates. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download&quest;doi=10.1.1.47.8494&rep= rep1&type=pdf."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference (DATE'06)","volume":"1","author":"Kiinzli S.","unstructured":"S. Kiinzli , F. Poletti , L. Benini , and L. Thiele . 2006. Combining simulation and formal methods for system-level performance analysis . In Proceedings of the Design, Automation and Test in Europe Conference (DATE'06) , vol. 1 . 1--6. S. Kiinzli, F. Poletti, L. Benini, and L. Thiele. 2006. Combining simulation and formal methods for system-level performance analysis. In Proceedings of the Design, Automation and Test in Europe Conference (DATE'06), vol. 1. 1--6."},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","DOI":"10.1145\/778553.778557"},{"doi-asserted-by":"publisher","key":"e_1_2_1_22_1","DOI":"10.1109\/43.736561"},{"doi-asserted-by":"publisher","key":"e_1_2_1_23_1","DOI":"10.1007\/s00165-004-0043-8"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.1145\/1669112.1669172"},{"volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE'09)","author":"Lukasiewycz M.","unstructured":"M. Lukasiewycz , M. Streubuhr , M. Glass , C. Haubelt , and J. Teich . 2009. Combined system synthesis and communication architecture exploration for MPSoCs . In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE'09) . 472--477. M. Lukasiewycz, M. Streubuhr, M. Glass, C. Haubelt, and J. Teich. 2009. Combined system synthesis and communication architecture exploration for MPSoCs. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE'09). 472--477.","key":"e_1_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_26_1","DOI":"10.1147\/rd.62.0200"},{"doi-asserted-by":"crossref","unstructured":"Z.\n      Manna\n     and \n      A.\n      Pnueli\n  . \n  1993\n  . Verifying hybrid systems. In Hybrid Systems R. Grossman A. Nerode A. Ravn and H. Rischel Eds. Lecture Notes in Computer Science vol. \n  736 Springer 4--35.   Z. Manna and A. Pnueli. 1993. Verifying hybrid systems. In Hybrid Systems R. Grossman A. Nerode A. Ravn and H. Rischel Eds. Lecture Notes in Computer Science vol. 736 Springer 4--35.","key":"e_1_2_1_27_1","DOI":"10.1007\/3-540-57318-6_22"},{"doi-asserted-by":"publisher","key":"e_1_2_1_28_1","DOI":"10.1145\/1255456.1255470"},{"unstructured":"Mirabilis Design Inc. 2008. Visual sim. http:\/\/www.mirabilisdesign.com\/new\/visualsim\/.  Mirabilis Design Inc. 2008. Visual sim. http:\/\/www.mirabilisdesign.com\/new\/visualsim\/.","key":"e_1_2_1_29_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_30_1","DOI":"10.1145\/1391469.1391615"},{"doi-asserted-by":"publisher","key":"e_1_2_1_31_1","DOI":"10.1016\/S0065-2458(08)60208-9"},{"doi-asserted-by":"publisher","key":"e_1_2_1_32_1","DOI":"10.1109\/TVLSI.2010.2057520"},{"volume-title":"Proceedings of the Forum on Specification Design Languages (FDL'09)","author":"Streubuhr M.","unstructured":"M. Streubuhr , J. Gladigau , C. Haubelt , and J. Teich . 2009. Efficient approximately-timed performance modeling for architectural exploration of MPSoCs . In Proceedings of the Forum on Specification Design Languages (FDL'09) . 1--6. M. Streubuhr, J. Gladigau, C. Haubelt, and J. Teich. 2009. Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. In Proceedings of the Forum on Specification Design Languages (FDL'09). 1--6.","key":"e_1_2_1_33_1"},{"volume-title":"Proceedings of the Forum on Specification and Design Languages (FDL'11)","author":"Streubuhr M.","unstructured":"M. Streubuhr , R. Rosales , R. Hasholzner , C. Haubelt , and J. Teich . 2011. ESL power and performance estimation for heterogeneous MPSoCs using systemc . In Proceedings of the Forum on Specification and Design Languages (FDL'11) . 1--8. M. Streubuhr, R. Rosales, R. Hasholzner, C. Haubelt, and J. Teich. 2011. ESL power and performance estimation for heterogeneous MPSoCs using systemc. In Proceedings of the Forum on Specification and Design Languages (FDL'11). 1--8.","key":"e_1_2_1_34_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_35_1","DOI":"10.1109\/JPROC.2011.2182009"},{"unstructured":"Webyog. 2011. Visifire. http:\/\/code.google.com\/p\/visifire\/.  Webyog. 2011. Visifire. http:\/\/code.google.com\/p\/visifire\/.","key":"e_1_2_1_36_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_37_1","DOI":"10.1007\/978-3-642-28293-5_4"},{"doi-asserted-by":"publisher","key":"e_1_2_1_38_1","DOI":"10.1109\/RTAS.2006.36"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594481","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:52Z","timestamp":1750230052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["10.1145\/2594481"],"URL":"https:\/\/doi.org\/10.1145\/2594481","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2013-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}