{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:43:25Z","timestamp":1761324205368,"version":"3.41.0"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T00:00:00Z","timestamp":1548892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Brest M\u00e9tropole, Ellidiss Technologies, CR de Bretagne, CD du Finist\u00e8re and Campus France PESSOA programs","award":["27380SA and 37932TF"],"award-info":[{"award-number":["27380SA and 37932TF"]}]}],"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>A Mixed Criticality System (MCS) combines real-time software tasks with different criticality levels. In a MCS, the criticality level specifies the level of assurance against system failure. For high-critical flows of messages, it is imperative to meet deadlines; otherwise, the whole system might fail, leading to catastrophic results, like loss of life or serious damage to the environment. In contrast, low-critical flows may tolerate some delays.<\/jats:p>\n          <jats:p>Furthermore, in MCS, flow performances such as the Worst Case Communication Time (WCCT) may vary depending on the criticality level of the applications. Then execution platforms must provide different operating modes for applications with different levels of criticality. To conclude, in Network-On-Chip (NoC), sharing resources between communication flows can lead to unpredictable latencies and subsequently turns the implementation of MCS in many-core architectures challenging.<\/jats:p>\n          <jats:p>\n            In this article, we propose and evaluate a new NoC router to support MCS based on an accurate WCCT analysis for high-critical flows. The proposed router, called Double Arbiter and Switching router (DAS), jointly uses\n            <jats:italic>Wormhole<\/jats:italic>\n            and\n            <jats:italic>Store And Forward<\/jats:italic>\n            communication techniques for low- and high-critical flows, respectively. It ensures that high-critical flows meet their deadlines while maximizing the bandwidth remaining for the low-critical flows. We also propose a new method for high-critical communication time analysis, applied to\n            <jats:italic>Store And Forward<\/jats:italic>\n            switching mode with virtual channels. For low-critical flows communication time analysis, we adapt an existing wormhole communication time analysis with share policy to our context.\n          <\/jats:p>\n          <jats:p>The second contribution of this article is a multi-abstraction-level evaluation of DAS. We evaluate the communication time of flows, the system mode change, the cost, and four properties of DAS. Simulations with a cycle-accurate SystemC NoC simulator show that, with a 15% network use rate, the communication delay of high-critical flows is reduced by 80% while communication delay of low-critical flow is increased by 18% compared to solutions based on routers with multiple virtual channels. For 10% of network interferences, using system mode change, DAS reduces the high-critical communication delays about 66%. We synthesize our router with a 28nm SOI technology and show that the size overhead is limited of 2.5% compared to the solution based on virtual channel router. Finally, we applied model checking verification techniques to automatically prove several DAS properties required by critical systems designers.<\/jats:p>","DOI":"10.1145\/3264818","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T19:36:17Z","timestamp":1550172977000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems"],"prefix":"10.1145","volume":"15","author":[{"given":"Mourad","family":"Dridi","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Rubini","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Lallali","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martha Johanna Sep\u00falveda","family":"Fl\u00f3rez","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Diguet","sequence":"additional","affiliation":[{"name":"CNRS, Lab-STICC UMR CNRS 6285, Lorient, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.33"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2007.4429957"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403676"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2826522"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734275"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 2nd Workshop on Mixed Criticality Systems (WMC\u201914)","author":"Burns Alan","year":"2014","unstructured":"Alan Burns . 2014 . System mode changes - General and criticality-based . In Proceedings of the 2nd Workshop on Mixed Criticality Systems (WMC\u201914) . 3--8. Alan Burns. 2014. System mode changes - General and criticality-based. In Proceedings of the 2nd Workshop on Mixed Criticality Systems (WMC\u201914). 3--8."},{"key":"e_1_2_1_9_1","volume-title":"Mixed Criticality Systems-a Review","author":"Burns Alan","unstructured":"Alan Burns and Robert Davis . 2017. Mixed Criticality Systems-a Review , 9 th ed. Technical Report. Department of Computer Science, University of York . Alan Burns and Robert Davis. 2017. Mixed Criticality Systems-a Review, 9th ed. Technical Report. Department of Computer Science, University of York.","edition":"9"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.13"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICGCS.2010.5543050"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139540.3139543"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 4th IEEE International Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION\u201916)","author":"Dridi Mourad","year":"2016","unstructured":"Mourad Dridi , St\u00e9phane Rubini , Frank Singhoff , and Jean-Philippe Diguet . 2016 . DTFM: A flexible model for schedulability analysis of real-time applications on NoC-based architectures . In Proceedings of the 4th IEEE International Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION\u201916) . 43--49. Mourad Dridi, St\u00e9phane Rubini, Frank Singhoff, and Jean-Philippe Diguet. 2016. DTFM: A flexible model for schedulability analysis of real-time applications on NoC-based architectures. In Proceedings of the 4th IEEE International Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION\u201916). 43--49."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2594790"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834869"},{"volume-title":"Proceedings of the Symposium on Theory of Modeling 8 Simulation (TMS\/DEVS\u201917)","author":"Gholami Soroosh","key":"e_1_2_1_16_1","unstructured":"Soroosh Gholami and Hessam S. Sarjoughian . 2017. Modeling and verification of network-on-chip using constrained-DEVS . In Proceedings of the Symposium on Theory of Modeling 8 Simulation (TMS\/DEVS\u201917) . Society for Computer Simulation International, Article 9, 12 pages. Soroosh Gholami and Hessam S. Sarjoughian. 2017. Modeling and verification of network-on-chip using constrained-DEVS. In Proceedings of the Symposium on Theory of Modeling 8 Simulation (TMS\/DEVS\u201917). Society for Computer Simulation International, Article 9, 12 pages."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.99"},{"volume-title":"Proceedings of the Workshop on Mixed-Criticality Systems. 19--24","author":"Graydon P.","key":"e_1_2_1_18_1","unstructured":"P. Graydon and I. Bate . 2013. Safety assurance driven problem formulation for mixed-criticality scheduling . In Proceedings of the Workshop on Mixed-Criticality Systems. 19--24 . P. Graydon and I. Bate. 2013. Safety assurance driven problem formulation for mixed-criticality scheduling. In Proceedings of the Workshop on Mixed-Criticality Systems. 19--24."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.12"},{"volume-title":"Proceedings of the 2015 International Conference on Electronic Design, Computer Networks Automated Verification (EDCAV\u201915)","author":"Jain Kunj","key":"e_1_2_1_21_1","unstructured":"Kunj Jain , Sandeep K. Singh , Alak Majumder , and Abir J. Mondai . 2015. Problems encountered in various arbitration techniques used in NOC router: A survey . In Proceedings of the 2015 International Conference on Electronic Design, Computer Networks Automated Verification (EDCAV\u201915) . 62--67. Kunj Jain, Sandeep K. Singh, Alak Majumder, and Abir J. Mondai. 2015. Problems encountered in various arbitration techniques used in NOC router: A survey. In Proceedings of the 2015 International Conference on Electronic Design, Computer Networks Automated Verification (EDCAV\u201915). 62--67."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the IEEE International SOC Conference","author":"Kavaldjiev Nikolay","year":"2004","unstructured":"Nikolay Kavaldjiev , Gerard J. M. Smit , and Pierre G . Ja nsen. 2004. A virtual channel router for on-chip networks . In Proceedings of the IEEE International SOC Conference , 2004 . 289--293. Nikolay Kavaldjiev, Gerard J. M. Smit, and Pierre G. Ja nsen. 2004. A virtual channel router for on-chip networks. In Proceedings of the IEEE International SOC Conference, 2004. 289--293."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786572.2786577"},{"key":"e_1_2_1_25_1","unstructured":"Sheng Ma Libo Huang Mingche Lai and Wei Shi. 2014. Networks-on-Chip from Implementation to Programming Paradigms. Morgan Kaufmann.   Sheng Ma Libo Huang Mingche Lai and Wei Shi. 2014. Networks-on-Chip from Implementation to Programming Paradigms. Morgan Kaufmann."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1397757.1397994"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.03.003"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2011.57"},{"volume-title":"Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201916)","author":"Panic M.","key":"e_1_2_1_30_1","unstructured":"M. Panic , C. Hernandez , E. Quinones , J. Abella , and F. J. Cazorla . 2016. Modeling high-performance wormhole NoCs for critical real-time embedded systems . In Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201916) . 1--12. M. Panic, C. Hernandez, E. Quinones, J. Abella, and F. J. Cazorla. 2016. Modeling high-performance wormhole NoCs for critical real-time embedded systems. In Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201916). 1--12."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.100"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.240"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2018.8349687"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 17th IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC\u201909)","author":"Sepulveda Martha Johanna","year":"2009","unstructured":"Martha Johanna Sepulveda , Marius Strum , and Wang Jiang Chau . 2009 . Performance impact of QoSS (quality-of-security-service) inclusion for NoC-based systems . In Proceedings of the 17th IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC\u201909) . 12--14. Martha Johanna Sepulveda, Marius Strum, and Wang Jiang Chau. 2009. Performance impact of QoSS (quality-of-security-service) inclusion for NoC-based systems. In Proceedings of the 17th IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC\u201909). 12--14."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1397757.1397996"},{"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\/1046191.1032298"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2013.6732214"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2017.31"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe Conference Exhibition (DATE\u201917)","author":"Tobuschat S.","key":"e_1_2_1_42_1","unstructured":"S. Tobuschat and R. Ernst . 2017b. Real-time communication analysis for networks-on-chip with backpressure . In Proceedings of the Design, Automation and Test in Europe Conference Exhibition (DATE\u201917) . 590--595. S. Tobuschat and R. Ernst. 2017b. Real-time communication analysis for networks-on-chip with backpressure. In Proceedings of the Design, Automation and Test in Europe Conference Exhibition (DATE\u201917). 590--595."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3264818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:58Z","timestamp":1750212478000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,31]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1,31]]}},"alternative-id":["10.1145\/3264818"],"URL":"https:\/\/doi.org\/10.1145\/3264818","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"type":"print","value":"1550-4832"},{"type":"electronic","value":"1550-4840"}],"subject":[],"published":{"date-parts":[[2019,1,31]]},"assertion":[{"value":"2017-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-02-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}