{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:30Z","timestamp":1774801830952,"version":"3.50.1"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"1s","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100001128","name":"General Motors Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100001128","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002519","name":"United Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002519","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:p>\n            <jats:italic>Cyber-Physical Systems<\/jats:italic>\n            are integrations of computation and physical processes and as such, will be increasingly relevant to industry and people. The complexity of designing CPS resides in their heterogeneity. Heterogeneity manifest itself in modeling their functionality as well as in the implementation platforms that include a multiplicity of components such as microprocessors, signal processors, peripherals, memories, sensors and actuators often integrated on a single chip or on a small package such as a multi-chip module. We need a methodology, tools and environments where heterogeneity can be dealt with at all levels of abstraction and where different tools can be integrated. We present here Platform-Based Design as the CPS methodology of choice and\n            <jats:sc>metro<\/jats:sc>\n            II, a design environment that supports it. We present the metamodeling approach followed in\n            <jats:sc>metro<\/jats:sc>\n            II, how to couple the functionality and implementation platforms of CPS, and the simulation technology that supports the analysis of CPS and of their implementation. We also present examples of use and the integration of\n            <jats:sc>metro<\/jats:sc>\n            II with another popular design environment developed at Verimag, BIP.\n          <\/jats:p>","DOI":"10.1145\/2435227.2435245","type":"journal-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T13:34:23Z","timestamp":1363700063000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["<scp>metro<\/scp>\n            II"],"prefix":"10.1145","volume":"12","author":[{"given":"Abhijit","family":"Davare","sequence":"first","affiliation":[{"name":"Intel Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Densmore","sequence":"additional","affiliation":[{"name":"Boston University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liangpeng","family":"Guo","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[{"name":"University of Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alena","family":"Simalatsar","sequence":"additional","affiliation":[{"name":"\u00c9cole Polythechnique F\u00e9d\u00e9rale de Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"University of California, Riverside, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,21]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"3rd Generation Partnership Project. 2004. General universal mobile telecommunications system (UMTS) architecture (release 6). Technical Specification TS 23.101 3GPP.  3 rd Generation Partnership Project. 2004. General universal mobile telecommunications system (UMTS) architecture (release 6). Technical Specification TS 23.101 3GPP."},{"key":"e_1_2_1_2_1","volume-title":"System Level Design with Rosetta","author":"Alexander P.","unstructured":"Alexander , P. 2006. System Level Design with Rosetta . Elsevier . Alexander, P. 2006. System Level Design with Rosetta. Elsevier."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/384197.384210"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/271072"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36190-1_7"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.895792"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487909"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1468075.1468121"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879049"},{"key":"e_1_2_1_12_1","volume-title":"H. Z","author":"Brooks C.","year":"2005","unstructured":"Brooks , C. , Lee , E. , Liu , X. , Neuendorffer , S. , Zhao , Y. , and (eds.), H. Z . 2005 . Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). Tech. rep. UCB\/ERL M05\/21, University of California , Berkeley. Brooks, C., Lee, E., Liu, X., Neuendorffer, S., Zhao, Y., and (eds.), H. Z. 2005. Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). Tech. rep. UCB\/ERL M05\/21, University of California, Berkeley."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2043741"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESSDERC.2002.194867"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings DVCon. 239--245","author":"Davare A.","unstructured":"Davare , A. , Densmore , D. , Meyerowitz , T. , Pinto , A. , Sangiovanni-Vincentelli , A. , Yang , G. , Zeng , H. , and Zhu , Q . 2007. A next-generation design framework for platform-based design . In Proceedings DVCon. 239--245 . Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zeng, H., and Zhu, Q. 2007. A next-generation design framework for platform-based design. In Proceedings DVCon. 239--245."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1131481.1131691"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"e_1_2_1_19_1","unstructured":"Gr\u00f6tker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Publishers Norwell MA.   Gr\u00f6tker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Publishers Norwell MA."},{"key":"e_1_2_1_20_1","volume-title":"Modeling Embedded Systems and SOC's: Concurrency and Time in Models of Computation","author":"Jantsch A.","unstructured":"Jantsch , A. 2003. Modeling Embedded Systems and SOC's: Concurrency and Time in Models of Computation . Morgan Kaufmann Publishers . Jantsch, A. 2003. Modeling Embedded Systems and SOC's: Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the IFIP Congress 74","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress 74 . J. L. Rosenfeld, Ed., 471--475. Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74. J. L. Rosenfeld, Ed., 471--475."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2003.1194792"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/778553.778557"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_26_1","volume-title":"EWD: A metamodeling driven customizable multi-MoC system modeling environment. FERMAT Tech. rep. 2004-20, Virginia Tech.","author":"Mathaikutty D.","year":"2004","unstructured":"Mathaikutty , D. , Patel , H. , and Shukla , S . 2004 a. EWD: A metamodeling driven customizable multi-MoC system modeling environment. FERMAT Tech. rep. 2004-20, Virginia Tech. Mathaikutty, D., Patel, H., and Shukla, S. 2004a. EWD: A metamodeling driven customizable multi-MoC system modeling environment. FERMAT Tech. rep. 2004-20, Virginia Tech."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the Forum on Specification and Design Languages (FDL'04)","author":"Mathaikutty D. A.","unstructured":"Mathaikutty , D. A. , Patel , H. , and Shukla , S . 2004b. A functional programming framework of heterogeneous model of computation for system design . In Proceedings of the Forum on Specification and Design Languages (FDL'04) . Mathaikutty, D. A., Patel, H., and Shukla, S. 2004b. A functional programming framework of heterogeneous model of computation for system design. In Proceedings of the Forum on Specification and Design Languages (FDL'04)."},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Mathaikutty D. A. Patel H. D. Shukla S. K. and Jantsch A. 2006. UMoC&plus;&plus;: A C&plus;&plus;-based multi-MoC modeling environment. In Application of Specification and Design Languages for SoCs - Selected Paper from FDL 2005 A. Vachoux Ed. Springer 115--130.  Mathaikutty D. A. Patel H. D. Shukla S. K. and Jantsch A. 2006. UMoC&plus;&plus;: A C&plus;&plus;-based multi-MoC modeling environment. In Application of Specification and Design Languages for SoCs - Selected Paper from FDL 2005 A. Vachoux Ed. Springer 115--130.","DOI":"10.1007\/978-1-4020-4998-9_7"},{"key":"e_1_2_1_29_1","unstructured":"MDA 2003. MDA guide version 1.0.1. Tech. rep. omg\/2003-06-01 OMG.  MDA 2003. MDA guide version 1.0.1. Tech. rep. omg\/2003-06-01 OMG."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403442"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_19"},{"key":"e_1_2_1_32_1","volume-title":"Object constraint language, version 2.0. OMG Available Specification formal\/06-05-01","unstructured":"OCL 2006. Object constraint language, version 2.0. OMG Available Specification formal\/06-05-01 , Object Management Group . OCL 2006. Object constraint language, version 2.0. OMG Available Specification formal\/06-05-01, Object Management Group."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774592"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0024-z"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.64"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.884859"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142982"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362088.2362095"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.62"},{"key":"e_1_2_1_42_1","unstructured":"Sangiovanni-Vincentelli A. L. 2002. Defining platform-based design. EEdesign.  Sangiovanni-Vincentelli A. L. 2002. Defining platform-based design. EEdesign."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2008.4577686"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2435227.2435245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:40Z","timestamp":1750235740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435245"}},"subtitle":["A design environment for cyber-physical systems"],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":43,"journal-issue":{"issue":"1s","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1145\/2435227.2435245"],"URL":"https:\/\/doi.org\/10.1145\/2435227.2435245","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"2012-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}