{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T15:41:03Z","timestamp":1782574863697,"version":"3.54.5"},"reference-count":94,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T00:00:00Z","timestamp":1737676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003968","name":"Iran National Science Foundation","doi-asserted-by":"crossref","award":["4013656"],"award-info":[{"award-number":["4013656"]}],"id":[{"id":"10.13039\/501100003968","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2025,1,31]]},"abstract":"<jats:p>With the advent of multicore platforms in designing Mixed-Criticality Systems (MCSs), simultaneous management of reliability and energy while guaranteeing an acceptable service level for low-criticality tasks is a crucial challenge. To ensure the reliability of the MCSs against transient faults, fault-tolerant techniques are employed which will increase energy consumption. To mitigate the energy overhead, the Dynamic Voltage and Frequency Scaling (DVFS) technique will be exploited. However, this technique might lead to violating the timing constraints of high-criticality tasks. Therefore, this article presents, for the first time, the low-energy checkpointing technique to guarantee the reliability of multiple preemptive periodic mixed-criticality tasks in a multicore platform. In contrast to the previous works in checkpointing technique which consider a specific number of faults that all the tasks in the system should tolerate, in this article, the number of tolerable faults for each execution section of a task and in each voltage and frequency level is determined through proposed formulas to meet the reliability target based on safety standards. Then, our proposed method determines the number of checkpoints and their non-uniform intervals for the normal and overrun sections of each task to reduce energy consumption, respectively. Moreover, the unified demand bound function (DBF) analysis is proposed for analyzing the schedulability of the task set, where each high-criticality task meets its timing and reliability constraints, and low-criticality tasks execute based on their derived guaranteed periods in each operational mode of the system. Experimental results show that our proposed scheme meets the timing and reliability constraints while at the same time, improving the Quality of Service (QoS) of low-criticality tasks and managing energy consumption with an average of 29.49% and 32.78%, respectively.<\/jats:p>","DOI":"10.1145\/3653720","type":"journal-article","created":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T19:33:06Z","timestamp":1711481586000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["LEC-MiCs: Low-Energy Checkpointing in Mixed-Criticality Multicore Systems"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4645-8255","authenticated-orcid":false,"given":"Sepideh","family":"Safari","sequence":"first","affiliation":[{"name":"School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1578-8668","authenticated-orcid":false,"given":"Shayan","family":"Shokri","sequence":"additional","affiliation":[{"name":"Sharif University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3193-2567","authenticated-orcid":false,"given":"Shaahin","family":"Hessabi","sequence":"additional","affiliation":[{"name":"Sharif University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3293-8274","authenticated-orcid":false,"given":"Pejman","family":"Lotfi-Kamran","sequence":"additional","affiliation":[{"name":"School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,1,24]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656057"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3131347"},{"key":"e_1_3_1_4_2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/RTSS.2009.46","volume-title":"Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS \u201909)","author":"De Niz D.","year":"2009","unstructured":"D. De Niz, K. Lakshmanan, and R. Rajkumar. 2009. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS \u201909). 291\u2013300."},{"key":"e_1_3_1_5_2","first-page":"1","volume-title":"Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201916)","author":"Narayana S.","year":"2016","unstructured":"S. Narayana, P. Huang, G. Giannopoulou, L. Thiele, and R. V. Prasad. 2016. Exploring energy saving for mixed-criticality systems on multi-cores. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201916). 1\u201312."},{"key":"e_1_3_1_6_2","first-page":"1","volume-title":"Proceedings of the 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA \u201914)","author":"Su H.","year":"2014","unstructured":"H. Su, N. Guan, and D. Zhu. 2014. Service guarantee exploration for mixed-criticality systems. In Proceedings of the 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA \u201914). 1\u201310."},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2984633"},{"issue":"4","key":"e_1_3_1_8_2","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/s11241-014-9202-z","article-title":"Fault-tolerant and real-time scheduling for mixed-criticality systems","volume":"50","author":"M. Pathan R.","year":"2014","unstructured":"R. M. Pathan. 2014. Fault-tolerant and real-time scheduling for mixed-criticality systems. Real-Time Syst. 50, 4 (2014), 509\u2013547.","journal-title":"Real-Time Syst."},{"key":"e_1_3_1_9_2","first-page":"97","volume-title":"Proceedings of the IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE \u201916)","author":"Al-bayati Z.","year":"2016","unstructured":"Z. Al-bayati, J. Caplan, B. H. Meyer, and H. Zeng. 2016. A four-mode model for efficient fault-tolerant mixed-criticality systems. In Proceedings of the IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE \u201916). 97\u2013102."},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2762293"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.05.022"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2907846"},{"issue":"2","key":"e_1_3_1_13_2","first-page":"985","article-title":"Tolerating permanent faults with low-energy overhead in multicore mixed-criticality systems","volume":"10","author":"Naghavi A.","year":"2021","unstructured":"A. Naghavi, S. Safari, and S. Hessabi. 2021. Tolerating permanent faults with low-energy overhead in multicore mixed-criticality systems. IEEE Trans. Emerging Top. Comput. (TETC) 10, 2 (2021), 985\u2013996.","journal-title":"IEEE Trans. Emerging Top. Comput. (TETC)"},{"key":"e_1_3_1_14_2","first-page":"12","article-title":"LESS-MICS: A low energy standby-sparing scheme for mixed-criticality systems","volume":"39","author":"Safari S.","year":"2020","unstructured":"S. Safari, G. Ershadi, and S. Hessabi. 2020. LESS-MICS: A low energy standby-sparing scheme for mixed-criticality systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (TCAD) 39, 12 (2020), 4601\u20134610.","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (TCAD)"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2021.3123544"},{"key":"e_1_3_1_16_2","first-page":"3","article-title":"MiBench: A free, commercially representative embedded benchmark suite","author":"Guthaus M. R.","year":"2001","unstructured":"M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T Mudge, and R. B. Brown. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the 4th IEEE Annual Workshop Workload Characterization (WWC \u201901). pp. 3\u201314.","journal-title":"Proceedings of the 4th IEEE Annual Workshop Workload Characterization (WWC \u201901)."},{"key":"e_1_3_1_17_2","unstructured":"\u201cMiBench Homepage.\u201d 2020. Retrieved from http:\/\/vhosts.eecs.umich.edu\/mibench\/"},{"key":"e_1_3_1_18_2","unstructured":"DO-178C. 2011. Software Considerations in Airborne Systems and Equipment Certification. RTCA Inc."},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.4018\/IJERTCS.2015040104"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2600595"},{"issue":"4","key":"e_1_3_1_21_2","first-page":"1024","article-title":"Two-phase low-energy N-Modular Redundancy for hard real-time multi-core systems","volume":"25","author":"Salehi M.","year":"2015","unstructured":"M. Salehi, A. Ejlali, and B. M. Al-Hashimi. 2015. Two-phase low-energy N-Modular Redundancy for hard real-time multi-core systems. IEEE Trans. Parallel Distrib. Syst. (TPDS) 25, 4 (2015), 1024\u20131033.","journal-title":"IEEE Trans. Parallel Distrib. Syst. (TPDS)"},{"key":"e_1_3_1_22_2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1109\/ECRTS.2012.42","volume-title":"Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS \u201912)","author":"Baruah S.","year":"2012","unstructured":"S. Baruah, V. Bonifaci, G. Dangelo, H. Li, A. MarchettiSpaccamela, S. Van der Ster, and L. Stougie. 2012. The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS \u201912). 145\u2013154."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.013"},{"key":"e_1_3_1_24_2","first-page":"198","volume-title":"Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA \u201997).","author":"Punnekkat S.","year":"1997","unstructured":"S. Punnekkat and A. Burns. 1997. Analysis of checkpointing for schedulability of real-time systems. In Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA \u201997). 198\u2013205."},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250127"},{"key":"e_1_3_1_26_2","first-page":"217","volume-title":"Proceedings of the 22nd International Conference on Reliable Software Technologies (Ada-Europe \u201917)","author":"Medina R.","year":"2017","unstructured":"R. Medina, E. Borde, and L. Pautet. 2017. Directed acyclic graph scheduling for mixed-criticality systems. In Proceedings of the 22nd International Conference on Reliable Software Technologies (Ada-Europe \u201917). 217\u2013232."},{"key":"e_1_3_1_27_2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/RTSS.2011.10","article-title":"Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems","author":"Guan N.","year":"2011","unstructured":"N. Guan, P. Ekberg, M. Stigge, and W. Yi. 2011. Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS \u201911). 13\u201323.","journal-title":"Proceedings of the IEEE Real-Time Systems Symposium (RTSS \u201911)"},{"key":"e_1_3_1_28_2","first-page":"284","article-title":"Partitioned scheduling policies on multi-processor mixed-criticality systems","volume":"25","author":"Gu C.","year":"2014","unstructured":"C. Gu, N. Guan, J. Yu, Y. Wang, and Q. X. Deng. 2014. Partitioned scheduling policies on multi-processor mixed-criticality systems. J. Software 25 (2014), 284\u2013297.","journal-title":"J. Software"},{"key":"e_1_3_1_29_2","first-page":"111","article-title":"Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms","author":"de Niz D.","year":"2014","unstructured":"D. de Niz and L. T. X. Phan. 2014. Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. In Proceedings of the 19th Real-Time and Embedded Technology and Applications Symposium (RTAS \u201914). 111\u2013122.","journal-title":"Proceedings of the 19th Real-Time and Embedded Technology and Applications Symposium (RTAS \u201914)"},{"key":"e_1_3_1_30_2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/RTAS.2010.10","article-title":"Towards the design of certifiable mixed-criticality systems","author":"Baruah S.","year":"2010","unstructured":"S. Baruah, H. Li, and L. Stougie. 2010. Towards the design of certifiable mixed-criticality systems. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201910). 13\u201322.","journal-title":"Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201910)"},{"key":"e_1_3_1_31_2","first-page":"92","volume-title":"Proceedings of the International Conference on Embedded Systems (ICES \u201914)","author":"Thekkilakattil A.","unstructured":"A. Thekkilakattil, R. Dobrin, and S. Punnekkat. 2914. Mixed criticality scheduling in fault-tolerant distributed real-time systems. In Proceedings of the International Conference on Embedded Systems (ICES \u201914). 92\u201397."},{"key":"e_1_3_1_32_2","first-page":"1","article-title":"Mixed-criticality multiprocessor real-time systems: Energy consumption vs deadline misses","author":"Legout V.","year":"2013","unstructured":"V. Legout, M. Jan, and L. Pautet. 2013. Mixed-criticality multiprocessor real-time systems: Energy consumption vs deadline misses. In Proceedings of the 1st Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS \u201913). 1\u20136.","journal-title":"Proceedings of the 1st Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS \u201913)"},{"key":"e_1_3_1_33_2","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/RTAS.2014.6926009","article-title":"Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems","author":"V\u00f6lp M.","year":"2014","unstructured":"M. V\u00f6lp, M. H\u00e4hnel, and A. Lackorzynski. 2014. Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. In Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201914). 275\u2013284.","journal-title":"Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201914)"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.10.029"},{"key":"e_1_3_1_35_2","first-page":"1","article-title":"Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability","author":"Li Z.","year":"2013","unstructured":"Z. Li, L. Wang, S. Ren, and G. Quan. 2013. Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability. In Proceedings of the 16th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC \u201913). 1\u20138.","journal-title":"Proceedings of the 16th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC \u201913)"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2014.12.002"},{"key":"e_1_3_1_37_2","first-page":"209","volume-title":"Proceedings of the International Conference on Computer Aided Design (ICCAD \u201903)","author":"Zhang Y.","year":"2003","unstructured":"Y. Zhang, K. Chakrabarty, and V. Swaminathan. 2003. Energy-aware fault tolerance in fixed-priority real-time embedded systems. In Proceedings of the International Conference on Computer Aided Design (ICCAD \u201903). 209\u2013213."},{"key":"e_1_3_1_38_2","first-page":"410","volume-title":"Proceedings of the Real-Time Computing Systems and Applications (RTCSA \u201999)","author":"Lee H.","year":"1999","unstructured":"H. Lee, H. Shin, and S. Min. 1999. Worst-case timing requirement of real-time tasks with time redundancy. In Proceedings of the Real-Time Computing Systems and Applications (RTCSA \u201999). 410\u2013414."},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1109\/DATE.2004.1269050","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE \u201904)","author":"Zhang Y.","year":"2004","unstructured":"Y. Zhang and K. Chakrabarty. 2004. Task feasibility analysis and dynamic voltage scaling in fault-tolerant real-time embedded systems. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE \u201904). 1170\u20131175."},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026589200419"},{"key":"e_1_3_1_41_2","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/ISLPED.2013.6629270","volume-title":"Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED \u201913)","author":"Han Q.","year":"2013","unstructured":"Q. Han, M. Fan, and G. Quan. 2013. Energy minimization for fault tolerant real-time applications on multiprocessor platforms using checkpointing. In Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED \u201913). 76\u201381."},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2003166"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.2478\/cait-2019-0035"},{"key":"e_1_3_1_44_2","first-page":"830","volume-title":"Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE \u201915)","author":"Han Q.","year":"2015","unstructured":"Q. Han, M. Fan, L. Niu, and G. Quan. 2015. Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE \u201915). 830\u2013835."},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852657"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2019.101688"},{"key":"e_1_3_1_47_2","first-page":"29","volume-title":"Proceedings of the 8th Euromicro Workshop on Real-Time Systems","author":"Bums A.","year":"1996","unstructured":"A. Bums, R. I. Davis, and S. Punnekkat. 1996. Feasibility analysis of fault-tolerant real-time task sets. In Proceedings of the 8th Euromicro Workshop on Real-Time Systems. 29\u201333."},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3603172"},{"key":"e_1_3_1_49_2","first-page":"5964","volume-title":"Proceedings of the IEEE\/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W \u201911)","author":"Nikolov D.","year":"2011","unstructured":"D. Nikolov, U. Ingelsson, V. Singh and E. Larsson. 2011. Level of confidence evaluation and its usage for roll-back recovery with checkpointing optimization. In Proceedings of the IEEE\/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W \u201911). 5964."},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2014.02.004"},{"key":"e_1_3_1_51_2","first-page":"1","volume-title":"Proceedings of the International Green Computing Conference (IGSC \u201913)","author":"Aupy G.","year":"2013","unstructured":"G. Aupy, A. Benoit, R. Melhem, P. Renaud-Goud, and Y. Robert. 2013. Energy-aware checkpointing of divisible tasks with soft or hard deadlines. In Proceedings of the International Green Computing Conference (IGSC \u201913). 1\u20138."},{"key":"e_1_3_1_52_2","first-page":"67","volume-title":"Proceedings of the 2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI \u201908)","author":"Ryu S.","year":"2008","unstructured":"S. Ryu. 2008. Reliability improvement of real-time embedded system using checkpointing. In Proceedings of the 2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI \u201908). 67\u201372."},{"issue":"3","key":"e_1_3_1_53_2","first-page":"84","article-title":"Towards a fault-tolerant, scheduling methodology for safety-critical certified information systems","volume":"27","author":"Lin J.","year":"2019","unstructured":"J. Lin. 2019. Towards a fault-tolerant, scheduling methodology for safety-critical certified information systems. J. Int. Technol. Inf. Manage. 27, 3 (2019), 84\u201399.","journal-title":"J. Int. Technol. Inf. Manage"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1261830"},{"key":"e_1_3_1_55_2","first-page":"6","volume-title":"Proceedings of the Design Automation & Test in Europe Conference (DATE \u201906)","author":"Li Z.","year":"2006","unstructured":"Z. Li, H. Chen and S. Yu. 2006. Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems. In Proceedings of the Design Automation & Test in Europe Conference (DATE \u201906). 6\u201312."},{"key":"e_1_3_1_56_2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1109\/DFT.2008.27","article-title":"An asymmetric checkpointing and rollback error recovery scheme for embedded processors","author":"Tabkhi H.","year":"2008","unstructured":"H. Tabkhi, S. G. Miremadi, and A. Ejlali. 2008. An asymmetric checkpointing and rollback error recovery scheme for embedded processors. In Proceedings of the IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems (DFT \u201908). 445\u2013453.","journal-title":"Proceedings of the IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems (DFT \u201908)"},{"key":"e_1_3_1_57_2","first-page":"449","volume-title":"Embedded Software for SoC","author":"Zhang Y.","year":"2003","unstructured":"Y. Zhang and K. Chakrabarty. 2003. Adaptive checkpointing with dynamic voltage scaling in embedded real-time systems. In Embedded Software for SoC. A. A. Jerraya, S. Yoo, D. Verkest, and N. Wehn (Eds.), Springer, 449\u2013463."},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/993396.993402"},{"key":"e_1_3_1_59_2","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1145\/1529282.1529506","volume-title":"In Proceedings of the ACM Symposium on Applied Computing (SAC \u201909)","author":"Chen N.","year":"2009","unstructured":"N. Chen and S. Ren. 2009. Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications. In Proceedings of the ACM Symposium on Applied Computing (SAC \u201909). Association for Computing Machinery, 1015\u20131020."},{"key":"e_1_3_1_60_2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/SIMSYM.1994.283098","volume-title":"Proceedings of the 27th Annual Simulation Symposium (SIMSYM \u201994).","author":"Ranganathan A.","year":"1994","unstructured":"A. Ranganathan and S. J. Upadhyaya. 1994. Simulation analysis of a dynamic checkpointing strategy for real-time systems. In Proceedings of the 27th Annual Simulation Symposium (SIMSYM \u201994). 181\u2013187."},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009472"},{"key":"e_1_3_1_62_2","doi-asserted-by":"crossref","first-page":"918","DOI":"10.1109\/DATE.2003.1253723","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE \u201903)","author":"Zhang Y.","year":"2003","unstructured":"Y. Zhang and K. Chakrabarty. 2003. Energy-aware adaptive checkpointing in embedded real-time systems. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE \u201903). 918\u2013923."},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2015.2512839"},{"key":"e_1_3_1_64_2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1109\/RTSS49844.2020.00042","volume-title":"Proceedings of the IEEE Real-Time Systems Symposium (RTSS \u201920)","author":"Torre E.","year":"2020","unstructured":"E. Torre and A. M. K. Cheng. 2020. Work-in-progress: Fault tolerance in a two-state checkpointing regularity-based system. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS \u201920). 375\u2013378."},{"key":"e_1_3_1_65_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2022.3188568"},{"key":"e_1_3_1_66_2","first-page":"356","volume-title":"Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA \u201999).","author":"Chevochot P.","year":"1999","unstructured":"P. Chevochot and I. Puaut, 1999. Scheduling fault-tolerant distributed hard real-time tasks independently of the replication strategies. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA \u201999). 356\u2013363."},{"key":"e_1_3_1_67_2","first-page":"199207","volume-title":"Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201906)","author":"Gopalakrishnan S.","year":"2006","unstructured":"S. Gopalakrishnan and M. Caccamo, 2006. Task partitioning with replication upon heterogeneous multiprocessor systems. In Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS \u201906). 199207."},{"key":"e_1_3_1_68_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.30"},{"key":"e_1_3_1_69_2","first-page":"1","volume-title":"Proceedings of the IEEE International Conference on Complex Systems (ICCS \u201912)","author":"Assayad I.","year":"2012","unstructured":"I. Assayad, A. Girault, and H. Kalla, 2012. Scheduling of real-time embedded systems under reliability and power constraints. In Proceedings of the IEEE International Conference on Complex Systems (ICCS \u201912). 1\u20136."},{"key":"e_1_3_1_70_2","first-page":"1","volume-title":"Proceedings of the 1st CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST \u201915)","author":"Poursafaei F. R.","year":"2015","unstructured":"F. R. Poursafaei, S. Safari, M. Ansari, M. Salehi, and A. Ejlali, 2015. Offline replication and online energy management for hard real-time multicore systems. In Proceedings of the 1st CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST \u201915). 1\u20137."},{"key":"e_1_3_1_71_2","first-page":"1","volume-title":"Proceedings of theInternational Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS \u201916)","author":"Spasic J.","year":"2016","unstructured":"J. Spasic, D. Liu, and T. Stefanov, 2016. Energy-efficient mapping of real-time applications on heterogeneous MPSoCs using task replication. In Proceedings of theInternational Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS \u201916). 1\u201310."},{"key":"e_1_3_1_72_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2017.2711362"},{"key":"e_1_3_1_73_2","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1109\/DATE.2008.4484791","volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE \u201908)","author":"Izosimov V.","year":"2008","unstructured":"V. Izosimov, P. Pop, P. Eles, and Z. Peng. 2008. Scheduling of fault-tolerant embedded systems with soft and hard timing constraints. In Proceedings of the Design, Automation and Test in Europe (DATE \u201908). 915\u2013920."},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","DOI":"10.5555\/2830840.2830847"},{"key":"e_1_3_1_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233608"},{"key":"e_1_3_1_76_2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2024724.2024815","volume-title":"Proceedings of the 48th ACM\/EDAC\/IEEE Design Automation Conference (DAC \u201911).","author":"Zhao B.","year":"2011","unstructured":"B. Zhao, H. Aydin, and D. Zhu, 2011. Generalized reliability-oriented energy management for real-time embedded applications. In Proceedings of the 48th ACM\/EDAC\/IEEE Design Automation Conference (DAC \u201911). 381\u2013386."},{"key":"e_1_3_1_77_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2051970"},{"key":"e_1_3_1_78_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.56"},{"key":"e_1_3_1_79_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2015.11.102"},{"key":"e_1_3_1_80_2","first-page":"256","volume-title":"Proceedings of the Real-Time Systems Symposium (RTSS \u201904)","author":"Elmootazbellah E.","year":"2004","unstructured":"E. Elmootazbellah, R. Melhem, and D. Mosse. 2004. Energy-efficient duplex and TMR real-time systems. In Proceedings of the Real-Time Systems Symposium (RTSS \u201904). 256\u2013266."},{"key":"e_1_3_1_81_2","first-page":"559","volume-title":"Proceedings of the 10th International Conference on Parallel and Distributed Systems, (ICPADS \u201904)","author":"Zhu D.","year":"2004","unstructured":"D. Zhu, R. Melhem, D. Mosse, and E. Elnozahy. 2004. Analysis of an energy efficient optimistic TMR scheme. In Proceedings of the 10th International Conference on Parallel and Distributed Systems, (ICPADS \u201904). 559\u2013568."},{"key":"e_1_3_1_82_2","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2017.2737045"},{"key":"e_1_3_1_83_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2015.2444402"},{"key":"e_1_3_1_84_2","first-page":"20","volume-title":"Proceedings of the IEEE 7th Joint International Information Technology and Artificial Intelligence Conference (ITAIC \u201914).","author":"Zhengyong Z.","year":"2014","unstructured":"Z. Zhengyong, P. Liping, and Y. Fumin. 2014. Schedulability analysis for Fault tolerance real-time system under fault bursts. In Proceedings of the IEEE 7th Joint International Information Technology and Artificial Intelligence Conference (ITAIC \u201914). 20\u201327."},{"key":"e_1_3_1_85_2","first-page":"1","volume-title":"Proceedings of the 51st Annual Design Automation Conference (DAC \u201914)","author":"Rehman S.","year":"2014","unstructured":"S. Rehman, F. Kriebel, DuoSun, M. Shafique, and J. Henkel. 2014. dTune: Leveraging reliable code generation for adaptive dependability tuning under process variation and aging-induced effects. In Proceedings of the 51st Annual Design Automation Conference (DAC \u201914). 1\u20136."},{"key":"e_1_3_1_86_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3144217"},{"key":"e_1_3_1_87_2","doi-asserted-by":"publisher","DOI":"10.1109\/ADCOM.2007.54"},{"key":"e_1_3_1_88_2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/ECRTS.2012.24","volume-title":"Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS \u201912)","author":"Ekberg P.","year":"2012","unstructured":"P. Ekberg and W. Yi. 2012. Bounding and shaping the demand of mixed-criticality sporadic tasks. In Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS \u201912). 135\u2013144."},{"key":"e_1_3_1_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012231"},{"key":"e_1_3_1_90_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1250885"},{"key":"e_1_3_1_91_2","first-page":"576","volume-title":"Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE \u201916)","author":"van Santen V. M.","year":"2016","unstructured":"V. M. van Santen, H. Amrouch, N. Parihar, S. Mahapatra, and J. Henkel. 2016. Aging-aware voltage scaling. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE \u201916). 576\u2013581."},{"key":"e_1_3_1_92_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2235126"},{"key":"e_1_3_1_93_2","first-page":"8","volume-title":"Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS \u201906)","author":"de Langen P.","year":"2006","unstructured":"P. de Langen and B. Juurlink. 2006. Leakage-aware multiprocessor scheduling for low power. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS \u201906). 8\u201316."},{"key":"e_1_3_1_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2018.2858816"},{"key":"e_1_3_1_95_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3653720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:58Z","timestamp":1750291438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,24]]},"references-count":94,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1,31]]}},"alternative-id":["10.1145\/3653720"],"URL":"https:\/\/doi.org\/10.1145\/3653720","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,24]]},"assertion":[{"value":"2023-04-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-19","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-01-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}