{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:17:52Z","timestamp":1759133872120,"version":"3.41.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["FP6-2005-IST-5-033506 - ANGEL"],"award-info":[{"award-number":["FP6-2005-IST-5-033506 - ANGEL"]}],"id":[{"id":"10.13039\/501100004965","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":[[2010,3]]},"abstract":"<jats:p>This article presents a methodology for the design of Networked Embedded Systems (NESs), which extends Transaction Level Modeling (TLM) to perform system\/network design-space exploration. As a result, a new design dimension is added to the traditional TLM refinement process to represent network configuration alternatives. Each network configuration can be used to drive both architecture exploration and system validation after each refinement step. A system\/network simulation taxonomy is investigated aiming at precisely identifying the role of cosimulation in system\/network design-space exploration. Furthermore, a general criterion to map functionalities to system and network models is presented. As a case study, the proposed methodology is applied to the design of a Voice-over-IP client.<\/jats:p>","DOI":"10.1145\/1721695.1721703","type":"journal-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T02:56:32Z","timestamp":1270608992000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["System\/network design-space exploration based on TLM for networked embedded systems"],"prefix":"10.1145","volume":"9","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[{"name":"University of Verona, Verona, Italy"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[{"name":"University of Verona, Verona, Italy"}]},{"given":"Davide","family":"Quaglia","sequence":"additional","affiliation":[{"name":"University of Verona, Verona, Italy"}]}],"member":"320","published-online":{"date-parts":[[2010,4,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"ARM. 1999. Amba specification 2.0. http:\/\/www.arm.com.  ARM. 1999. Amba specification 2.0. http:\/\/www.arm.com."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2001.941152"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887290"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(00)00349-2"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193229"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Blake S. Black D. Carlson M. Davies E. Wang Z. and Weiss W. 1998. An architecture for differentiated services. RFC 2475. http:\/\/www.ietf.org\/rfc\/rfc2475.txt?number=2475.  Blake S. Black D. Carlson M. Davies E. Wang Z. and Weiss W. 1998. An architecture for differentiated services. RFC 2475. http:\/\/www.ietf.org\/rfc\/rfc2475.txt?number=2475.","DOI":"10.17487\/rfc2475"},{"volume-title":"Proceedings of the Conference on Computer Communications (INFOCOM'94)","author":"Bolot J.","key":"e_1_2_1_7_1","unstructured":"Bolot , J. and Turletti , T . 1994. A rate control mechanism for packet video in the internet . In Proceedings of the Conference on Computer Communications (INFOCOM'94) . IEEE, Los Alamitos, CA. Bolot, J. and Turletti, T. 1994. A rate control mechanism for packet video in the internet. In Proceedings of the Conference on Computer Communications (INFOCOM'94). IEEE, Los Alamitos, CA."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2005.59"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176271"},{"volume-title":"Proceedings of the Conference on Electronics, Circuits and Systems (ICECS). IEEE","author":"Bragagnini A.","key":"e_1_2_1_10_1","unstructured":"Bragagnini , A. , Fummi , F. , Huebner , A. , Perbellini , G. , and Quaglia , D . 2007. Co-simulation framework for the angel platform . In Proceedings of the Conference on Electronics, Circuits and Systems (ICECS). IEEE , Los Alamitos, CA, 629--632. Bragagnini, A., Fummi, F., Huebner, A., Perbellini, G., and Quaglia, D. 2007. Co-simulation framework for the angel platform. In Proceedings of the Conference on Electronics, Circuits and Systems (ICECS). IEEE, Los Alamitos, CA, 629--632."},{"key":"e_1_2_1_11_1","unstructured":"Brahme D. S. Cox S. Gallo J. Glasser M. Grundmann W. Ip C. N. Paulsen W. Pierce J. L. Rose J. etal 2000. The transaction-based verification methodology. Tech. rep. CDNLTR-2000-0825 Cadence Berkeley Labs. http:\/\/masters.donntu.edu.ua\/2007\/fvti\/smeshkov\/library\/tbv00tr2.pdf.  Brahme D. S. Cox S. Gallo J. Glasser M. Grundmann W. Ip C. N. Paulsen W. Pierce J. L. Rose J. et al. 2000. The transaction-based verification methodology. Tech. rep. CDNLTR-2000-0825 Cadence Berkeley Labs. http:\/\/masters.donntu.edu.ua\/2007\/fvti\/smeshkov\/library\/tbv00tr2.pdf."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.288"},{"volume-title":"W. M\u00fcller, W. Rosenthstiel, J. Ruf, SystemC: Methodologies and Applications","author":"Clouard A.","key":"e_1_2_1_14_1","unstructured":"Clouard , A. , Jain , K. , Ghenassia , F. , Maillet-Contoz , L. , Stassen , J.-P. 2003. Using transactional models in a SoC design flow . In W. M\u00fcller, W. Rosenthstiel, J. Ruf, SystemC: Methodologies and Applications . Kluwer Academic Publishers , The Netherlands , 29--63. Clouard, A., Jain, K., Ghenassia, F., Maillet-Contoz, L., Stassen, J.-P. 2003. Using transactional models in a SoC design flow. In W. M\u00fcller, W. Rosenthstiel, J. Ruf, SystemC: Methodologies and Applications. Kluwer Academic Publishers, The Netherlands, 29--63."},{"volume-title":"Proceedings of the Conference on Communications (ICC). IEEE","author":"Davini G.","key":"e_1_2_1_15_1","unstructured":"Davini , G. , Quaglia , D. , De Martin , J. C. , and Casetti , C . 2003. Perceptually-evaluated loss-delay controlled adaptive transmission of MPEG video over IP . In Proceedings of the Conference on Communications (ICC). IEEE , Los Alamitos, CA, 577--581. Davini, G., Quaglia, D., De Martin, J. C., and Casetti, C. 2003. Perceptually-evaluated loss-delay controlled adaptive transmission of MPEG video over IP. In Proceedings of the Conference on Communications (ICC). IEEE, Los Alamitos, CA, 577--581."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/301177.301198"},{"volume-title":"Proceedings of the 3rd International Conference on Internet Computing. IEEE","author":"Dietterle D.","key":"e_1_2_1_17_1","unstructured":"Dietterle , D. and Kraemer , R . 2002. Design of a hardware accelerator for a power-optimized implementation of the IEEE 802.11 MAC layer . In Proceedings of the 3rd International Conference on Internet Computing. IEEE , Los Alamitos, CA, 225--230. Dietterle, D. and Kraemer, R. 2002. Design of a hardware accelerator for a power-optimized implementation of the IEEE 802.11 MAC layer. In Proceedings of the 3rd International Conference on Internet Computing. IEEE, Los Alamitos, CA, 225--230."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2006.25"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.745726"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775846"},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE'04)","author":"Fummi F.","key":"e_1_2_1_21_1","unstructured":"Fummi , F. , Martini , S. , Perbellini , G. , Poncino , M. , Ricciato , F. , and Turolla , M . 2004. Heterogeneous co-simulation of networked embedded systems . In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'04) . ACM, New York, 168--173. Fummi, F., Martini, S., Perbellini, G., Poncino, M., Ricciato, F., and Turolla, M. 2004. Heterogeneous co-simulation of networked embedded systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'04). ACM, New York, 168--173."},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE'06)","author":"Fummi F.","key":"e_1_2_1_22_1","unstructured":"Fummi , F. , Quaglia , D. , Ricciato , F. , and Turolla , M . 2006. Modeling and simulation of mobile gateways interacting with wireless sensor networks . In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'06) . ACM, New York. Fummi, F., Quaglia, D., Ricciato, F., and Turolla, M. 2006. Modeling and simulation of mobile gateways interacting with wireless sensor networks. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'06). ACM, New York."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120740"},{"key":"e_1_2_1_24_1","unstructured":"Grotker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Springer Berlin.   Grotker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Springer Berlin."},{"key":"e_1_2_1_25_1","unstructured":"IBM. IBM core connect. http:\/\/www.chips.ibm.com\/products\/powerpc\/cores.  IBM. IBM core connect. http:\/\/www.chips.ibm.com\/products\/powerpc\/cores."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/52324.52356"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"volume-title":"Proceedings of the IEEE Data Compression Conference (DCC'98)","author":"Kozen D.","key":"e_1_2_1_28_1","unstructured":"Kozen , D. , Minsky , Y. , and Smith , B . 1998. Efficient algorithms for optimal video transmission . In Proceedings of the IEEE Data Compression Conference (DCC'98) . IEEE, Los Alamitos, CA, 229--238. Kozen, D., Minsky, Y., and Smith, B. 1998. Efficient algorithms for optimal video transmission. In Proceedings of the IEEE Data Compression Conference (DCC'98). IEEE, Los Alamitos, CA, 229--238."},{"volume-title":"Proceedings of the 13th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI).","author":"Krause M.","key":"e_1_2_1_29_1","unstructured":"Krause , M. , Bringmann , O. , and Rosenstiel , W . 2006. A SystemC-based software and communication refinement framework for distributed embedded systems . In Proceedings of the 13th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Krause, M., Bringmann, O., and Rosenstiel, W. 2006. A SystemC-based software and communication refinement framework for distributed embedded systems. In Proceedings of the 13th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)."},{"volume-title":"Proceedings of the IEEE Symposium on Spread Spectrum Techniques and Applications. IEEE","author":"Lugil N.","key":"e_1_2_1_30_1","unstructured":"Lugil , N. and Philips , L . 2000. A W-CDMA transceiver core and a simulation environment for 3GPP terminals . In Proceedings of the IEEE Symposium on Spread Spectrum Techniques and Applications. IEEE , Los Alamitos, CA, 491--495. Lugil, N. and Philips, L. 2000. A W-CDMA transceiver core and a simulation environment for 3GPP terminals. In Proceedings of the IEEE Symposium on Spread Spectrum Techniques and Applications. IEEE, Los Alamitos, CA, 491--495."},{"key":"e_1_2_1_31_1","unstructured":"NS-2. NS Network Simulator -- version 2. http:\/\/www.isi.edu\/nsnam\/ns.  NS-2. NS Network Simulator -- version 2. http:\/\/www.isi.edu\/nsnam\/ns."},{"key":"e_1_2_1_32_1","unstructured":"OCP-IP. Open Core Protocol International Partnership. http:\/\/www.ocpip.org.  OCP-IP. Open Core Protocol International Partnership. http:\/\/www.ocpip.org."},{"key":"e_1_2_1_33_1","unstructured":"OmNet++. OmNet++ - discrete event simulation System. http:\/\/www.omnetpp.org.  OmNet++. OmNet++ - discrete event simulation System. http:\/\/www.omnetpp.org."},{"volume-title":"OPNET Technologies","author":"OPNET.","key":"e_1_2_1_34_1","unstructured":"OPNET. OPNET Technologies , Inc . homepage. http:\/\/www.opnet.com. OPNET. OPNET Technologies, Inc. homepage. http:\/\/www.opnet.com."},{"volume-title":"Proceedings of the High-Level Design Validation and Test Workshop (HLDVT'00)","author":"Pasko R.","key":"e_1_2_1_35_1","unstructured":"Pasko , R. , Cmar , R. , Schaumont , P. , and Vernalde , S . 2000. Functional verification of an embedded network component by co-simulation with a real network . In Proceedings of the High-Level Design Validation and Test Workshop (HLDVT'00) . IEEE, Los Alamitos, CA, 64--67. Pasko, R., Cmar, R., Schaumont, P., and Vernalde, S. 2000. Functional verification of an embedded network component by co-simulation with a real network. In Proceedings of the High-Level Design Validation and Test Workshop (HLDVT'00). IEEE, Los Alamitos, CA, 64--67."},{"key":"e_1_2_1_36_1","unstructured":"Postel J. 1981. Transmission control protocol. RFC 793. http:\/\/www.ietf.org\/rfc\/rfc0793.txt?number=793.  Postel J. 1981. Transmission control protocol. RFC 793. http:\/\/www.ietf.org\/rfc\/rfc0793.txt?number=793."},{"key":"e_1_2_1_37_1","unstructured":"QualNet. QualNet - Scalable Network Technologies. http:\/\/www.scalable-networks.com.  QualNet. QualNet - Scalable Network Technologies. http:\/\/www.scalable-networks.com."},{"key":"e_1_2_1_38_1","unstructured":"Rose A. Swan S. Pierce J. and Fernandez J. Transaction Level Modeling in SystemC. White paper. http:\/\/www.systemc.org.  Rose A. Swan S. Pierce J. and Fernandez J. Transaction Level Modeling in SystemC. White paper. http:\/\/www.systemc.org."},{"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":"crossref","unstructured":"Schulzrinne H. Casner S. Frederick R. and Jacobson V. 2003. RTP: a transport protocol for real-time applications. RFC 3550. http:\/\/www.ietf.org\/rfc\/rfc3550.txt?number=3550.  Schulzrinne H. Casner S. Frederick R. and Jacobson V. 2003. RTP: a transport protocol for real-time applications. RFC 3550. http:\/\/www.ietf.org\/rfc\/rfc3550.txt?number=3550.","DOI":"10.17487\/rfc3550"},{"key":"e_1_2_1_41_1","unstructured":"Transaction Level Modeling Working Group. 2006. OSCI TLM 2.0. http:\/\/www.systemc.org.  Transaction Level Modeling Working Group. 2006. OSCI TLM 2.0. http:\/\/www.systemc.org."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.103548"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2005.847113"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1721695.1721703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1721695.1721703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:38Z","timestamp":1750249418000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1721695.1721703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["10.1145\/1721695.1721703"],"URL":"https:\/\/doi.org\/10.1145\/1721695.1721703","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2010,3]]},"assertion":[{"value":"2007-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-04-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}