{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:06Z","timestamp":1750221066923,"version":"3.41.0"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T00:00:00Z","timestamp":1548633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["RYC-2013-14717,TIN2014-60404-JIN."],"award-info":[{"award-number":["RYC-2013-14717,TIN2014-60404-JIN."]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Comission FP7","award":["611085."],"award-info":[{"award-number":["611085."]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2019,1,31]]},"abstract":"<jats:p>Wormhole-based NoCs (wNoCs) are widely accepted in high-performance domains as the most appropriate solution to interconnect an increasing number of cores in the chip. However, wNoCs suitability in the context of critical real-time applications has not been demonstrated yet.<\/jats:p>\n          <jats:p>In this article, in the context of probabilistic timing analysis (PTA), we propose a PTA-compatible wNoC design that provides tight time-composable contention bounds. The proposed wNoC design builds on PTA ability to reason in probabilistic terms about hardware events impacting execution time (e.g., wNoC contention), discarding those sequences of events occurring with a negligible low probability. This allows our wNoC design to deliver improved guaranteed performance w.r.t. conventional time-deterministic setups. Our results show that performance guarantees of applications running on top of probabilistic wNoC designs improve by 40% and 93% on average for 4 \u00d7 4 and 6 \u00d7 6 wNoC setups, respectively.<\/jats:p>","DOI":"10.1145\/3281029","type":"journal-article","created":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T13:28:51Z","timestamp":1548682131000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Time-Randomized Wormhole NoCs for Critical Applications"],"prefix":"10.1145","volume":"15","author":[{"given":"Mladen","family":"Slijepcevic","sequence":"first","affiliation":[{"name":"Universitat Politecnica de Catalonia (UPC) and Barcelona Supercomputing Center (BSC)"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5393-3195","authenticated-orcid":false,"given":"Carles","family":"Hernandez","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC), Barcelona, Spain"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC) and Spanish National Research Council (IIIA-CSIC), Barcelona, Spain"}]}],"member":"320","published-online":{"date-parts":[[2019,1,28]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"{n.d.}. The NanGate 45nm Open Cell Library. Retrieved from http:\/\/www.nangate.com.  {n.d.}. The NanGate 45nm Open Cell Library. Retrieved from http:\/\/www.nangate.com."},{"key":"e_1_2_1_2_1","unstructured":"{n.d.}. NanoC: NaNoC Design Platform. Retrieved from http:\/\/www.nanoc-project.eu.  {n.d.}. NanoC: NaNoC Design Platform. Retrieved from http:\/\/www.nanoc-project.eu."},{"key":"e_1_2_1_3_1","unstructured":"SoCLib. 2012. LIP6: Laboratoire d'informatique de Paris 6. Retrieved from http:\/\/www.soclib.fr\/trac\/dev.  SoCLib. 2012. LIP6: Laboratoire d'informatique de Paris 6. Retrieved from http:\/\/www.soclib.fr\/trac\/dev."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3065924"},{"key":"e_1_2_1_5_1","unstructured":"Aeronautical Radio Inc. 2013. Avionics Application Software Standard Interface: ARINC Specification 653. Aeronautical Radio Inc.  Aeronautical Radio Inc. 2013. Avionics Application Software Standard Interface: ARINC Specification 653. Aeronautical Radio Inc."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.26"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2010.34"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the International Workshop on Worst-Case Execution Time Analysis (WCET Workshop\u201913)","author":"Cazorla F. J.","year":"2013","unstructured":"F. J. Cazorla 2013 . Upper-bounding program execution time with extreme value theory . In Proceedings of the International Workshop on Worst-Case Execution Time Analysis (WCET Workshop\u201913) . F. J. Cazorla et al. 2013. Upper-bounding program execution time with extreme value theory. In Proceedings of the International Workshop on Worst-Case Execution Time Analysis (WCET Workshop\u201913)."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.224"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.35"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.99"},{"key":"e_1_2_1_13_1","unstructured":"International Organization for Standardization. 2009. ISO\/DIS 26262. Road Vehicles\u2014Functional Safety.  International Organization for Standardization. 2009. ISO\/DIS 26262. Road Vehicles\u2014Functional Safety."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201914)","author":"J. Jalle","year":"2014","unstructured":"J. Jalle et al. 2014 . Bus designs for time-probabilistic multicore processors . In Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201914) . J. Jalle et al. 2014. Bus designs for time-probabilistic multicore processors. In Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201914)."},{"key":"e_1_2_1_15_1","unstructured":"B. Kim et al. 1998. A real-time communication method for wormhole switching networks. In ICPP.   B. Kim et al. 1998. A real-time communication method for wormhole switching networks. In ICPP."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485416"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.07.014"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","unstructured":"S. Kotz and S. Nadarajah. 2000. Extreme Value Distributions: Theory and Applications. World Scientific.  S. Kotz and S. Nadarajah. 2000. Extreme Value Distributions: Theory and Applications. World Scientific.","DOI":"10.1142\/p191"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378252"},{"volume-title":"Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS\u201916)","author":"Law S.","key":"e_1_2_1_20_1","unstructured":"S. Law and I. Bate . 2016. Achieving appropriate test coverage for reliable measurement-based timing analysis . In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS\u201916) . S. Law and I. Bate. 2016. Achieving appropriate test coverage for reliable measurement-based timing analysis. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS\u201916)."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-7315(02)00055-2"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201914)","author":"Z. Lu","year":"2014","unstructured":"Z. Lu et al. 2014 . Towards stochastic delay bound analysis for network-on-chip . In Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201914) . 64--71. Z. Lu et al. 2014. Towards stochastic delay bound analysis for network-on-chip. In Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201914). 64--71."},{"volume-title":"WCET Workshop.","author":"Mezzetti E.","key":"e_1_2_1_24_1","unstructured":"E. Mezzetti and T. Vardanega . 2011. On the industrial fitness of WCET analysis . In WCET Workshop. E. Mezzetti and T. Vardanega. 2011. On the industrial fitness of WCET analysis. In WCET Workshop."},{"key":"e_1_2_1_25_1","unstructured":"M. Di Natale J. Abella J. Reineke A. Hamann and G. Farrall. 2016. Predictable system timing -- Probab(ilistical)ly? In DAC (panel in automotive track).  M. Di Natale J. Abella J. Reineke A. Hamann and G. Farrall. 2016. Predictable system timing -- Probab(ilistical)ly? In DAC (panel in automotive track)."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516845"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9278-3"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.68"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201916)","author":"M. Panic","year":"2016","unstructured":"M. Panic et al. 2016 a. Improving performance guarantees in wormhole mesh NoC designs . In Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201916) . M. Panic et al. 2016a. Improving performance guarantees in wormhole mesh NoC designs. In Proceedings of the Design, Automation and Test in in Europe Conference (DATE\u201916)."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461342"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.74"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2009.5071444"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.240"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.78"},{"volume-title":"Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201908)","author":"Shi Z.","key":"e_1_2_1_36_1","unstructured":"Z. Shi and A. Burns . 2008. Real-time communication analysis for on-chip networks with wormhole switching . In Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201908) . Z. Shi and A. Burns. 2008. Real-time communication analysis for on-chip networks with wormhole switching. In Proceedings of the International Symposium on Networks-on-Chip (NoCS\u201908)."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.17"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593235"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2016.23"},{"volume-title":"Proceedings of the IEEE 16th International Conference on Industrial Informatics (INDIN\u201913)","author":"Stephenson Z.","key":"e_1_2_1_40_1","unstructured":"Z. Stephenson , J. Abella , and T. Vardanega . 2013. Supporting industrial use of probabilistic timing analysis with explicit argumentation . In Proceedings of the IEEE 16th International Conference on Industrial Informatics (INDIN\u201913) . Z. Stephenson, J. Abella, and T. Vardanega. 2013. Supporting industrial use of probabilistic timing analysis with explicit argumentation. In Proceedings of the IEEE 16th International Conference on Industrial Informatics (INDIN\u201913)."},{"volume-title":"Proceedings of the IEEE Symposium on High Performance Computer Architecture (HPCA\u201901)","author":"Thottethodi Mithuna","key":"e_1_2_1_41_1","unstructured":"Mithuna Thottethodi , Alvin R. Lebeck , and Shubhendu S. Mukherjee . 2001. Self-tuned congestion control for multiprocessor networks . In Proceedings of the IEEE Symposium on High Performance Computer Architecture (HPCA\u201901) . Mithuna Thottethodi, Alvin R. Lebeck, and Shubhendu S. Mukherjee. 2001. Self-tuned congestion control for multiprocessor networks. In Proceedings of the IEEE Symposium on High Performance Computer Architecture (HPCA\u201901)."},{"volume-title":"Proceedings of the Design, Automation Test in Europe Conference (DATE\u201917)","author":"Tobuschat S.","key":"e_1_2_1_42_1","unstructured":"S. Tobuschat and R. Ernst . 2017. Real-time communication analysis for networks-on-chip with backpressure . In Proceedings of the Design, Automation Test in Europe Conference (DATE\u201917) . 590--595. S. Tobuschat and R. Ernst. 2017. Real-time communication analysis for networks-on-chip with backpressure. In Proceedings of the Design, Automation Test in Europe Conference (DATE\u201917). 590--595."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2755753.2755843"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281029","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:17Z","timestamp":1750208237000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,28]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1,31]]}},"alternative-id":["10.1145\/3281029"],"URL":"https:\/\/doi.org\/10.1145\/3281029","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"type":"print","value":"1550-4832"},{"type":"electronic","value":"1550-4840"}],"subject":[],"published":{"date-parts":[[2019,1,28]]},"assertion":[{"value":"2017-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}