{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T18:11:36Z","timestamp":1790532696751,"version":"4.1.0"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T00:00:00Z","timestamp":1632268800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1834701, 1834324, 1839511, 1724341, 1646497, 1943265"],"award-info":[{"award-number":["1834701, 1834324, 1839511, 1724341, 1646497, 1943265"]}]},{"name":"ONR","award":["N00014-19-1-2496"],"award-info":[{"award-number":["N00014-19-1-2496"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,10,31]]},"abstract":"<jats:p>\n            During the operation of many real-time safety-critical systems, there are often strong needs for adapting to a dynamic environment or evolving mission objectives, e.g., increasing sampling and control frequencies of some functions to improve their performance under certain situations. However, a system's ability to adapt is often limited by tight resource constraints and rigid periodic execution requirements. In this work, we present a cross-layer approach to improve system adaptability by allowing\n            <jats:italic>proactive skipping<\/jats:italic>\n            of task executions, so that the resources can be either saved directly or re-allocated to other tasks for their performance improvement. Our approach includes three novel elements: (1) formal methods for deriving the feasible skipping choices of control tasks with safety guarantees at the functional layer, (2) a schedulability analysis method for assessing system feasibility at the architectural layer under allowed task job skippings, and (3) a runtime adaptation algorithm that efficiently explores job skipping choices and task priorities for meeting system adaptation requirements while ensuring system safety and timing correctness. Experiments demonstrate the effectiveness of our approach in meeting system adaptation needs.\n          <\/jats:p>","DOI":"10.1145\/3477031","type":"journal-article","created":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T20:48:40Z","timestamp":1632343720000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping"],"prefix":"10.1145","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6645-262X","authenticated-orcid":false,"given":"Zhilu","family":"Wang","sequence":"first","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chao","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Liverpool, UK and Northwestern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hyoseung","family":"Kim","sequence":"additional","affiliation":[{"name":"University of California, Riverside, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenchao","family":"Li","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,9,22]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"30th Euromicro Conference on Real-Time Systems (ECRTS","volume":"106","author":"Ahrendts L.","year":"2018","unstructured":"L. Ahrendts , S. Quinton , T. Boroske , and R. Ernst . 2018. Verifying weakly-hard real-time properties of traffic streams in switched networks . In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018 ), Vol. 106 . Dagstuhl, Germany. L. Ahrendts, S. Quinton, T. Boroske, and R. Ernst. 2018. Verifying weakly-hard real-time properties of traffic streams in switched networks. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), Vol. 106. Dagstuhl, Germany."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.20"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2984464.2984509"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.38"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1564828"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829013"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.990127"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.24"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015394302429"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2010.2053205"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.24"},{"key":"e_1_2_1_13_1","volume-title":"2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 241\u2013253","author":"Choi H.","unstructured":"H. Choi , H. Kim , and Q. Zhu . 2019. Job-class-level fixed priority scheduling of weakly-hard real-time systems . In 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 241\u2013253 . H. Choi, H. Kim, and Q. Zhu. 2019. Job-class-level fixed priority scheduling of weakly-hard real-time systems. In 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 241\u2013253."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3058215"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358213"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.28"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(00)00086-1"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.28"},{"key":"e_1_2_1_19_1","volume-title":"IFAC Proceedings Volumes 41","author":"Gaid M. B.","year":"2008","unstructured":"M. B. Gaid , D. Simon , and O. Sename . 2008. A design methodology for weakly-hard real-time control . IFAC Proceedings Volumes 41 , 2 ( 2008 ), 10258\u201310264. DOI:https:\/\/doi.org\/10.3182\/20080706-5-KR-1001.01736 10.3182\/20080706-5-KR-1001.01736 M. B. Gaid, D. Simon, and O. Sename. 2008. A design methodology for weakly-hard real-time control. IFAC Proceedings Volumes 41, 2 (2008), 10258\u201310264. DOI:https:\/\/doi.org\/10.3182\/20080706-5-KR-1001.01736"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2301795"},{"key":"e_1_2_1_21_1","volume-title":"2018 International Conference on Advanced Systems and Electric Technologies (IC_ASET). 409\u2013414","author":"Guechi E.","unstructured":"E. Guechi , S. Bouzoualegh , L. Messikh , and S. Bla\u017eic . 2018. Model predictive control of a two-link robot arm . In 2018 International Conference on Advanced Systems and Electric Technologies (IC_ASET). 409\u2013414 . E. Guechi, S. Bouzoualegh, L. Messikh, and S. Bla\u017eic. 2018. Model predictive control of a two-link robot arm. In 2018 International Conference on Advanced Systems and Electric Technologies (IC_ASET). 409\u2013414."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/3130379.3130512"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656059"},{"key":"e_1_2_1_24_1","volume-title":"SAW: A tool for safety analysis of weakly-hard systems","author":"Huang C.","year":"2020","unstructured":"C. Huang , K. C. Chang , C. W. Lin , and Q. Zhu . 2020 . SAW: A tool for safety analysis of weakly-hard systems . In Computer Aided Verification, S. K. Lahiri and C. Wang (Eds.). Springer International Publishing , Cham , 543\u2013555. C. Huang, K. C. Chang, C. W. Lin, and Q. Zhu. 2020. SAW: A tool for safety analysis of weakly-hard systems. In Computer Aided Verification, S. K. Lahiri and C. Wang (Eds.). Springer International Publishing, Cham, 543\u2013555."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311811"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/3437539.3437620"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2012.03.005"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.14"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.014"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.875511"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415717"},{"key":"e_1_2_1_33_1","volume-title":"IEEE International Conference on Computer Design (ICCD). 217\u2013226","author":"Liang H.","unstructured":"H. Liang , Z. Wang , D. Roy , S. Dey , S. Chakraborty , and Q. Zhu . 2019. Security-driven codesign with weakly-hard constraints for real-time embedded systems . In IEEE International Conference on Computer Design (ICCD). 217\u2013226 . H. Liang, Z. Wang, D. Roy, S. Dey, S. Chakraborty, and Q. Zhu. 2019. Security-driven codesign with weakly-hard constraints for real-time embedded systems. In IEEE International Conference on Computer Design (ICCD). 217\u2013226."},{"key":"e_1_2_1_34_1","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS).","author":"Maggio M.","unstructured":"M. Maggio , A. Hamann , E. Mayer-John , and D. Ziegenbein . 2020. Control-system stability under consecutive deadline misses constraints . In Euromicro Conference on Real-Time Systems (ECRTS). M. Maggio, A. Hamann, E. Mayer-John, and D. Ziegenbein. 2020. Control-system stability under consecutive deadline misses constraints. In Euromicro Conference on Real-Time Systems (ECRTS)."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2072961"},{"key":"e_1_2_1_36_1","volume-title":"Automation & Test in Europe Conference Exhibition (DATE)","volume":"2021","author":"Pazzaglia P.","unstructured":"P. Pazzaglia , A. Hamann , D. Ziegenbein , and M. Maggio . 2021. Adaptive design of real-time control systems subject to sporadic overruns. In Design , Automation & Test in Europe Conference Exhibition (DATE) , Vol. 2021 . P. Pazzaglia, A. Hamann, D. Ziegenbein, and M. Maggio. 2021. Adaptive design of real-time control systems subject to sporadic overruns. In Design, Automation & Test in Europe Conference Exhibition (DATE), Vol. 2021."},{"key":"e_1_2_1_37_1","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS).","author":"Pazzaglia P.","unstructured":"P. Pazzaglia , L. Pannocchi , A. Biondi , and M. Di Natale . 2018. Beyond the weakly hard model: Measuring the performance cost of deadline misses . In Euromicro Conference on Real-Time Systems (ECRTS). P. Pazzaglia, L. Pannocchi, A. Biondi, and M. Di Natale. 2018. Beyond the weakly hard model: Measuring the performance cost of deadline misses. In Euromicro Conference on Real-Time Systems (ECRTS)."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2492708.2492836"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.774906"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317925"},{"key":"e_1_2_1_41_1","volume-title":"2020 IEEE Real-Time Systems Symposium (RTSS). 178\u2013190","author":"Roy D.","unstructured":"D. Roy , S. Ghosh , Q. Zhu , M. Caccamo , and S. Chakraborty . 2020. GoodSpread: Criticality-aware static scheduling of CPS with multi-QoS resources . In 2020 IEEE Real-Time Systems Symposium (RTSS). 178\u2013190 . D. Roy, S. Ghosh, Q. Zhu, M. Caccamo, and S. Chakraborty. 2020. GoodSpread: Criticality-aware static scheduling of CPS with multi-QoS resources. In 2020 IEEE Real-Time Systems Symposium (RTSS). 178\u2013190."},{"key":"e_1_2_1_42_1","volume-title":"American Control Conference (ACC).","volume":"6","author":"Seto D.","unstructured":"D. Seto , B. Krogh , L. Sha , and A. Chutinan . 1998. The simplex architecture for safe online control system upgrades . In American Control Conference (ACC). Vol. 6 , 3504\u20133508. D. Seto, B. Krogh, L. Sha, and A. Chutinan. 1998. The simplex architecture for safe online control system upgrades. In American Control Conference (ACC). Vol. 6, 3504\u20133508."},{"key":"e_1_2_1_43_1","article-title":"Adaptive fault-tolerant PI tracking control with guaranteed transient and steady-state performance","volume":"62","author":"Song Y.","year":"2016","unstructured":"Y. Song , Y. Wang , and C. Wen . 2016 . Adaptive fault-tolerant PI tracking control with guaranteed transient and steady-state performance . IEEE Transactions on Automatic Control 62 , 1 (2016). Y. Song, Y. Wang, and C. Wen. 2016. Adaptive fault-tolerant PI tracking control with guaranteed transient and steady-state performance. IEEE Transactions on Automatic Control 62, 1 (2016).","journal-title":"IEEE Transactions on Automatic Control"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126497"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904277"},{"key":"e_1_2_1_46_1","volume-title":"Design Automation Conference (DAC'21)","author":"Wang Y.","year":"2021","unstructured":"Y. Wang , C. Huang , Z. Wang , S. Xu , Z. Wang , and Q. Zhu . 2021. Cocktail: Learn a better neural network controller from multiple experts via adaptive mixing and robust distillation . Design Automation Conference (DAC'21) ( 2021 ). Y. Wang, C. Huang, Z. Wang, S. Xu, Z. Wang, and Q. Zhu. 2021. Cocktail: Learn a better neural network controller from multiple experts via adaptive mixing and robust distillation. Design Automation Conference (DAC'21) (2021)."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415676"},{"key":"e_1_2_1_48_1","unstructured":"Z. Wang H. Liang C. Huang and Q. Zhu. 2020. Cross-layer design of automotive systems. IEEE Design & Test (2020).  Z. Wang H. Liang C. Huang and Q. Zhu. 2020. Cross-layer design of automotive systems. IEEE Design & Test (2020)."},{"key":"e_1_2_1_49_1","unstructured":"Webots. [n.d.]. Commercial Mobile Robot Simulation Software. http:\/\/www.cyberbotics.com.  Webots. [n.d.]. Commercial Mobile Robot Simulation Software. http:\/\/www.cyberbotics.com."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.29"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431623"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415768"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477031","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477031","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:46Z","timestamp":1750188646000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,22]]},"references-count":52,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2021,10,31]]}},"alternative-id":["10.1145\/3477031"],"URL":"https:\/\/doi.org\/10.1145\/3477031","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,22]]},"assertion":[{"value":"2021-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}