{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:09:33Z","timestamp":1771700973151,"version":"3.50.1"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:p>Modern real-time streaming applications are increasingly implemented on multiprocessor systems-on-chip (MPSoC). The implementation, as well as the verification of real-time applications executing on MPSoCs, are difficult tasks, however. A major challenge is the performance analysis of MPSoCs, which is required for early design space exploration and final system verification. Simulation-based methods are not well-suited for this purpose, due to long runtimes and non-exhaustive corner-case coverage. To overcome these limitations, formal performance analysis methods that provide guarantees for meeting real-time constraints have been developed. Embedding formal performance analysis into the MPSoC design cycle requires the generation of a faithful analysis model and its calibration with the system-specific parameters. In this article, a design flow that automates these steps is presented. In particular, we integrate modular performance analysis (MPA) into the distributed operation layer (DOL) MPSoC programming environment. The result is an MPSoC software design flow that allows for automatically generating the system implementation, together with an analysis model for system verification.<\/jats:p>","DOI":"10.1145\/2146417.2146425","type":"journal-article","created":{"date-parts":[[2012,4,3]],"date-time":"2012-04-03T14:56:22Z","timestamp":1333464982000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications"],"prefix":"10.1145","volume":"11","author":[{"given":"Kai","family":"Huang","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Haid","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iuliana","family":"Bacivarov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Keller","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,5]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-005-6648-1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.675637"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). 190--195","author":"Chakraborty S.","unstructured":"Chakraborty , S. , K\u00fcnzli , S. , and Thiele , L . 2003. A general framework for analyzing system properties in platform-based embedded system design . In Proceedings of the Design, Automation and Test in Europe (DATE). 190--195 . Chakraborty, S., K\u00fcnzli, S., and Thiele, L. 2003. A general framework for analyzing system properties in platform-based embedded system design. In Proceedings of the Design, Automation and Test in Europe (DATE). 190--195."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/871910.871923"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the International Conference on Systems, Architectures, Modeling and Simulation (IC-SAMOS). 92--99","author":"Haid W.","unstructured":"Haid , W. , Keller , M. , Huang , K. , Bacivarov , I. , and Thiele , L . 2009. Generation and calibration of compositional performance analysis models for multiprocessor systems . In Proceedings of the International Conference on Systems, Architectures, Modeling and Simulation (IC-SAMOS). 92--99 . Haid, W., Keller, M., Huang, K., Bacivarov, I., and Thiele, L. 2009. Generation and calibration of compositional performance analysis models for multiprocessor systems. In Proceedings of the International Conference on Systems, Architectures, Modeling and Simulation (IC-SAMOS). 92--99."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289860"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"e_1_2_1_11_1","first-page":"1","article-title":"Performance analysis for complex embedded systems","volume":"1","author":"Jersak M.","year":"2005","unstructured":"Jersak , M. , Richter , K. , and Ernst , R. 2005 . Performance analysis for complex embedded systems . Int. J. Embedd. Syst. 1 , 1 -- 2 , 33--49. Jersak, M., Richter, K., and Ernst, R. 2005. Performance analysis for complex embedded systems. Int. J. Embedd. Syst. 1, 1--2, 33--49.","journal-title":"Int. J. Embedd. Syst."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450083"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1148882.1148891"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the IFIP Congress. 471--475","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress. 471--475 . Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress. 471--475."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151077"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). 236--241","author":"K\u00fcnzli S.","unstructured":"K\u00fcnzli , S. , Poletti , F. , Benini , L. , and Thiele , L . 2006. Combining simulation and formal methods for system-level performance analysis . In Proceedings of the Design, Automation and Test in Europe (DATE). 236--241 . K\u00fcnzli, S., Poletti, F., Benini, L., and Thiele, L. 2006. Combining simulation and formal methods for system-level performance analysis. In Proceedings of the Design, Automation and Test in Europe (DATE). 236--241."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.924830"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9055-1"},{"key":"e_1_2_1_19_1","volume-title":"Lecture Notes in Computer Science","volume":"2050","author":"Le Boudec J.-Y.","unstructured":"Le Boudec , J.-Y. and Thiran , P . 2001. Network Calculus\u2014A Theory of Deterministic Queuing Systems for the Internet . Lecture Notes in Computer Science , vol. 2050 . Springer-Verlag, Berlin, Germany. Le Boudec, J.-Y. and Thiran, P. 2001. Network Calculus\u2014A Theory of Deterministic Queuing Systems for the Internet. Lecture Notes in Computer Science, vol. 2050. Springer-Verlag, Berlin, Germany."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). 1040--1045","author":"Maxiaguine A.","unstructured":"Maxiaguine , A. , K\u00fcnzli , S. , and Thiele , L . 2004. Workload characterization model for tasks with variable execution demand . In Proceedings of the Design, Automation and Test in Europe (DATE). 1040--1045 . Maxiaguine, A., K\u00fcnzli, S., and Thiele, L. 2004. Workload characterization model for tasks with variable execution demand. In Proceedings of the Design, Automation and Test in Europe (DATE). 1040--1045."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176297"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.51"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755895"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9015-1"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.881717"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.16"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-007-0085-2"},{"key":"e_1_2_1_30_1","unstructured":"RTEMS Steering Committee. 2010. RTEMS. http:\/\/www.rtems.com.  RTEMS Steering Committee. 2010. RTEMS. http:\/\/www.rtems.com."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629353"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 11th International Conference on Compiler Construction. 179--196","author":"Thies W.","unstructured":"Thies , W. , Karczmarek , M. , and Amarasinghe , S . 2002. StreamIt: A language for streaming applications . In Proceedings of the 11th International Conference on Compiler Construction. 179--196 . Thies, W., Karczmarek, M., and Amarasinghe, S. 2002. StreamIt: A language for streaming applications. In Proceedings of the 11th International Conference on Compiler Construction. 179--196."},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). 242--247","author":"Viehl A.","unstructured":"Viehl , A. , Sch\u00f6nwald , T. , Bringmann , O. , and Rosenstiehl , W . 2006. Formal performance analysis and simulation of UML\/SysML models for ESL design . In Proceedings of the Design, Automation and Test in Europe (DATE). 242--247 . Viehl, A., Sch\u00f6nwald, T., Bringmann, O., and Rosenstiehl, W. 2006. Formal performance analysis and simulation of UML\/SysML models for ESL design. In Proceedings of the Design, Automation and Test in Europe (DATE). 242--247."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.23"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118417"},{"key":"e_1_2_1_37_1","unstructured":"Wandeler E. and Thiele L. 2006c. Real-Time Calculus (RTC) toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox.  Wandeler E. and Thiele L. 2006c. Real-Time Calculus (RTC) toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_2_1_40_1","series-title":"Lecture Notes in Computer Science","volume-title":"From annotated software designs (UML SPT\/MARTE) to model formalisms","author":"Woodside M.","unstructured":"Woodside , M. 2007. From annotated software designs (UML SPT\/MARTE) to model formalisms . Lecture Notes in Computer Science , vol. 4486 . Springer-Verlag, Berlin , Germany , 429--467. Woodside, M. 2007. From annotated software designs (UML SPT\/MARTE) to model formalisms. Lecture Notes in Computer Science, vol. 4486. Springer-Verlag, Berlin, Germany, 429--467."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146417.2146425","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2146417.2146425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:02Z","timestamp":1750243922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146417.2146425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1145\/2146417.2146425"],"URL":"https:\/\/doi.org\/10.1145\/2146417.2146425","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3]]},"assertion":[{"value":"2009-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-04-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}