{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:12Z","timestamp":1750220952453,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1834701, 1834324, 1839511, 1724341"],"award-info":[{"award-number":["1834701, 1834324, 1839511, 1724341"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DARPA BRASS program","award":["FA8750-16-C-0043"],"award-info":[{"award-number":["FA8750-16-C-0043"]}]},{"name":"NSF grant","award":["CCF-1646497"],"award-info":[{"award-number":["CCF-1646497"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3313151.3313165","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"51-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Exploring weakly-hard paradigm for networked systems"],"prefix":"10.1145","author":[{"given":"Chao","family":"Huang","sequence":"first","affiliation":[{"name":"Northwestern University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kacper","family":"Wardega","sequence":"additional","affiliation":[{"name":"Boston University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenchao","family":"Li","sequence":"additional","affiliation":[{"name":"Boston University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2008.246"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2746638"},{"key":"e_1_3_2_1_3_1","volume-title":"Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. In Euromicro Conference on Real-Time Systems (ECRTS)","volume":"106","author":"Ahrendts Leonie","year":"2018","unstructured":"Leonie Ahrendts , Sophie Quinton , Thomas Boroske , and Rolf Ernst . 2018 . Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. In Euromicro Conference on Real-Time Systems (ECRTS) , Vol. 106 . Dagstuhl, Germany, 15:1--15:22. Leonie Ahrendts, Sophie Quinton, Thomas Boroske, and Rolf Ernst. 2018. Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. In Euromicro Conference on Real-Time Systems (ECRTS), Vol. 106. Dagstuhl, Germany, 15:1--15:22."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.120"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/882482.883806"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593467"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2016.12.006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-006-0724-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2011.15"},{"key":"e_1_3_2_1_12_1","volume-title":"Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. In IEEE Real-Time Technology and Applications Symposium (RTAS).","author":"Choi Hyunjong","year":"2019","unstructured":"Hyunjong Choi , Hyoseung Kim , and Qi Zhu . 2019 . Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. In IEEE Real-Time Technology and Applications Symposium (RTAS). Hyunjong Choi, Hyoseung Kim, and Qi Zhu. 2019. Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. In IEEE Real-Time Technology and Applications Symposium (RTAS)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00040"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.28"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.28"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01736"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.07.047"},{"key":"e_1_3_2_1_18_1","volume-title":"Control of connected and automated vehicles: State of the art and future challenges. Annual Reviews in Control","author":"Guanetti Jacopo","year":"2018","unstructured":"Jacopo Guanetti , Yeojun Kim , and Francesco Borrelli . 2018. Control of connected and automated vehicles: State of the art and future challenges. Annual Reviews in Control ( 2018 ). Jacopo Guanetti, Yeojun Kim, and Francesco Borrelli. 2018. Control of connected and automated vehicles: State of the art and future challenges. Annual Reviews in Control (2018)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.477249"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656059"},{"key":"e_1_3_2_1_21_1","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.","author":"Hammadeh Zain AH","year":"2017","unstructured":"Zain AH Hammadeh , Sophie Quinton , Marco Panunzio , Rafik Henia , Laurent Rioux , and Rolf Ernst . 2017 . Budgeting under-specified tasks for weakly-hard real-time systems . In Euromicro Conference on Real-Time Systems (ECRTS). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Zain AH Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, and Rolf Ernst. 2017. Budgeting under-specified tasks for weakly-hard real-time systems. In Euromicro Conference on Real-Time Systems (ECRTS). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"volume-title":"Automation Test in Europe Conference Exhibition (DATE). 584--589","author":"Hammadeh Z. A. H.","key":"e_1_3_2_1_22_1","unstructured":"Z. A. H. Hammadeh , R. Ernst , S. Quinton , R. Henia , and L. Rioux . 2017. Bounding deadline misses in weakly-hard real-time systems with task dependencies. In Design , Automation Test in Europe Conference Exhibition (DATE). 584--589 . Z. A. H. Hammadeh, R. Ernst, S. Quinton, R. Henia, and L. Rioux. 2017. Bounding deadline misses in weakly-hard real-time systems with task dependencies. In Design, Automation Test in Europe Conference Exhibition (DATE). 584--589."},{"key":"e_1_3_2_1_23_1","volume-title":"High Performance Switching and Routing, 2004. HPSR. 2004 Workshop on. IEEE, 246--250","author":"Hao Bin","year":"2004","unstructured":"Bin Hao , Han Tang , and Guoliang Xue . 2004 . Fault-tolerant relay node placement in wireless sensor networks: formulation and approximation . In High Performance Switching and Routing, 2004. HPSR. 2004 Workshop on. IEEE, 246--250 . Bin Hao, Han Tang, and Guoliang Xue. 2004. Fault-tolerant relay node placement in wireless sensor networks: formulation and approximation. In High Performance Switching and Routing, 2004. HPSR. 2004 Workshop on. IEEE, 246--250."},{"key":"e_1_3_2_1_24_1","volume-title":"Formal Verification of Weakly-Hard Systems. In International Conference on Hybrid Systems: Computation and Control (HSCC).","author":"Huang Chao","year":"2019","unstructured":"Chao Huang , Wenchao Li , and Qi Zhu . 2019 (to appear) . Formal Verification of Weakly-Hard Systems. In International Conference on Hybrid Systems: Computation and Control (HSCC). Chao Huang, Wenchao Li, and Qi Zhu. 2019 (to appear). Formal Verification of Weakly-Hard Systems. In International Conference on Hybrid Systems: Computation and Control (HSCC)."},{"key":"e_1_3_2_1_25_1","volume-title":"Experimental validation of connected automated vehicle design among human-driven vehicles. Transportation research part C: emerging technologies 91","author":"Jin I Ge","year":"2018","unstructured":"I Ge Jin , Sergei S Avedisov , Chaozhe R He , Wubing B Qin , Mehdi Sadeghpour , and G\u00e1bor Orosz . 2018. Experimental validation of connected automated vehicle design among human-driven vehicles. Transportation research part C: emerging technologies 91 ( 2018 ), 335--352. I Ge Jin, Sergei S Avedisov, Chaozhe R He, Wubing B Qin, Mehdi Sadeghpour, and G\u00e1bor Orosz. 2018. Experimental validation of connected automated vehicle design among human-driven vehicles. Transportation research part C: emerging technologies 91 (2018), 335--352."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961845"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2014.07.012"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.875511"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340463"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3243488"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2072961"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2015.2445094"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.45203"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2163864"},{"key":"e_1_3_2_1_35_1","volume-title":"Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. In Euromicro Conference on Real-Time Systems (ECRTS)","volume":"106","author":"Pazzaglia Paolo","year":"2018","unstructured":"Paolo Pazzaglia , Luigi Pannocchi , Alessandro Biondi , and Marco Di Natale . 2018 . Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. In Euromicro Conference on Real-Time Systems (ECRTS) , Vol. 106 . Dagstuhl, Germany, 10:1--10:22. Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, and Marco Di Natale. 2018. Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. In Euromicro Conference on Real-Time Systems (ECRTS), Vol. 106. Dagstuhl, Germany, 10:1--10:22."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2602977"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_13"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2492708.2492836"},{"key":"e_1_3_2_1_39_1","volume-title":"Formal Analysis of Sporadic Bursts in Real-time Systems. In Conference on Design, Automation and Test in Europe (DATE). 767--772","author":"Quinton Sophie","year":"2013","unstructured":"Sophie Quinton , Mircea Negrean , and Rolf Ernst . 2013 . Formal Analysis of Sporadic Bursts in Real-time Systems. In Conference on Design, Automation and Test in Europe (DATE). 767--772 . Sophie Quinton, Mircea Negrean, and Rolf Ernst. 2013. Formal Analysis of Sporadic Bursts in Real-time Systems. In Conference on Design, Automation and Test in Europe (DATE). 767--772."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.774906"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.27"},{"key":"e_1_3_2_1_42_1","volume-title":"Anuradha M Annaswamy, and Oleg Sokol-sky.","author":"Soudbakhsh Damoon","year":"2016","unstructured":"Damoon Soudbakhsh , Linh TX Phan , Anuradha M Annaswamy, and Oleg Sokol-sky. 2016 . Co-design of arbitrated network control systems with overrun strategies. IEEE Transactions on Control of Network Systems ( 2016). Damoon Soudbakhsh, Linh TX Phan, Anuradha M Annaswamy, and Oleg Sokol-sky. 2016. Co-design of arbitrated network control systems with overrun strategies. IEEE Transactions on Control of Network Systems (2016)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126497"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2004.12.032"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509419"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.884615"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400713.1400740"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.900839"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.29"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.06.043"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.09.007"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.08.021"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2017.11"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00007"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2041612"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747920"},{"key":"e_1_3_2_1_57_1","volume-title":"Analysis and Verification of Intelligent Intersection Management. In IEEE International Conference on Smart Computing (SMARTCOMP). 1--8.","author":"Zheng Bowen","year":"2017","unstructured":"Bowen Zheng , Chuang-Wei Lin , Hengyi Liang , Shinichi Shiraishi , Wenchao Li , and Qi Zhu . 2017 . Delay-Aware Design , Analysis and Verification of Intelligent Intersection Management. In IEEE International Conference on Smart Computing (SMARTCOMP). 1--8. Bowen Zheng, Chuang-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, and Qi Zhu. 2017. Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. In IEEE International Conference on Smart Computing (SMARTCOMP). 1--8."},{"key":"e_1_3_2_1_58_1","volume-title":"Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Transaction on Cyber-Physical Systems","author":"Zheng Bowen","year":"2019","unstructured":"Bowen Zheng , Chuang-Wei Lin , Shinichi Shiraishi , and Qi Zhu . 2019. Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Transaction on Cyber-Physical Systems ( 2019 ). Bowen Zheng, Chuang-Wei Lin, Shinichi Shiraishi, and Qi Zhu. 2019. Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Transaction on Cyber-Physical Systems (2019)."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980078"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/3199700.3199836"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072956"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012005"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","acronym":"CPS-IoT Week '19","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the Workshop on Design Automation for CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313165","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313165","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:00Z","timestamp":1750204440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":62,"alternative-id":["10.1145\/3313151.3313165","10.1145\/3313151"],"URL":"https:\/\/doi.org\/10.1145\/3313151.3313165","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}