{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:15:28Z","timestamp":1770909328922,"version":"3.50.1"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:p>\n            While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for modern computing systems, recent research has identified significant and negative impacts of voltage scaling on system reliability. To preserve system reliability under DVS settings, a number of\n            <jats:italic>reliability-aware power management<\/jats:italic>\n            (RA-PM) schemes have been recently studied. However, the existing RA-PM schemes normally schedule a separate recovery for each task whose execution is scaled down and are rather conservative. To overcome such conservativeness, we study in this article novel RA-PM schemes based on the\n            <jats:italic>shared recovery<\/jats:italic>\n            (SHR) technique. Specifically, we consider a set of frame-based real-time tasks with individual deadlines and a common period where the precedence constraints are represented by a\n            <jats:italic>directed acyclic graph<\/jats:italic>\n            (DAG). We first show that the\n            <jats:italic>earliest deadline first<\/jats:italic>\n            (EDF) algorithm can always yield a schedule where all timing and precedence constraints are met by considering the effective deadlines of tasks derived from\n            <jats:italic>as late as possible<\/jats:italic>\n            (ALAP) policy, provided that the task set is feasible. Then, we propose a shared recovery based frequency assignment technique (namely SHR-DAG) and prove its optimality to minimize energy consumption while preserving the system reliability. To exploit additional slack that arises from early completion of tasks, we also study a dynamic extension for SHR-DAG to improve energy efficiency and system reliability at runtime. The results from our extensive simulations show that, compared to the existing RA-PM schemes, SHR-DAG can achieve up to 35% energy savings, which is very close to the maximum achievable energy savings. More interestingly, our extensive evaluation also indicates that the new schemes offer non-trivial improvements on system reliability over the existing RA-PM schemes as well.\n          <\/jats:p>","DOI":"10.1145\/2442087.2442094","type":"journal-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:17:58Z","timestamp":1365509878000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":87,"title":["Shared recovery for energy efficiency and reliability enhancements in real-time applications with precedence constraints"],"prefix":"10.1145","volume":"18","author":[{"given":"Baoxian","family":"Zhao","sequence":"first","affiliation":[{"name":"George Mason University, Fairfax, VA"}]},{"given":"Hakan","family":"Aydin","sequence":"additional","affiliation":[{"name":"George Mason University, Fairfax, VA"}]},{"given":"Dakai","family":"Zhu","sequence":"additional","affiliation":[{"name":"University of Texas at San Antonio, San Antonio, TX"}]}],"member":"320","published-online":{"date-parts":[[2013,4,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.70789"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.48"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications.","author":"Aydin H.","unstructured":"Aydin , H. , Melhem , R. , and Moss\u00e9 , D . 1999. Incorporating error recovery into the imprecise computation model . In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications. Aydin, H., Melhem, R., and Moss\u00e9, D. 1999. Incorporating error recovery into the imprecise computation model. In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275298"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995675"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-011-0236-y"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"e_1_2_1_8_1","series-title":"Real-Time Systems Series","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo G. C.","unstructured":"Buttazzo , G. C. 2004. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications . Real-Time Systems Series . Springer . Buttazzo, G. C. 2004. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Real-Time Systems Series. Springer."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications.","author":"Caccamo M.","unstructured":"Caccamo , M. and Buttazzo , G . 1998. Optimal scheduling for fault-tolerant and firm real-time systems . In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications. Caccamo, M. and Buttazzo, G. 1998. Optimal scheduling for fault-tolerant and firm real-time systems. In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676063"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2008.50"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the International Symposium on Quality of Electronic Design.","author":"Dabiri F.","unstructured":"Dabiri , F. , Amini , N. , Rofouei , M. , and Sarrafzadeh , M . 2008. Reliability-aware optimization for DVS-enabled real-time embedded systems . In Proceedings of the International Symposium on Quality of Electronic Design. Dabiri, F., Amini, N., Rofouei, M., and Sarrafzadeh, M. 2008. Reliability-aware optimization for DVS-enabled real-time embedded systems. In Proceedings of the International Symposium on Quality of Electronic Design."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 6th International Workshop on Hardware\/Software Co-design.","author":"Dick R.","unstructured":"Dick , R. , Rhodes , D. L. , and Wolf , W . 1998. Tgff: Task graphs for free . In Proceedings of the 6th International Workshop on Hardware\/Software Co-design. Dick, R., Rhodes, D. L., and Wolf, W. 1998. Tgff: Task graphs for free. In Proceedings of the 6th International Workshop on Hardware\/Software Co-design."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629463"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1077603.1077669"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the Workshop on Power Aware Computer Systems.","author":"Elnozahy E. M.","unstructured":"Elnozahy , E. M. , Kistler , M. , and Rajamony , R . 2002. Energy-efficient server clusters . In Proceedings of the Workshop on Power Aware Computer Systems. Elnozahy, E. M., Kistler, M., and Rajamony, R. 2002. Energy-efficient server clusters. In Proceedings of the Workshop on Power Aware Computer Systems."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2004.85"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.50"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.903813"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/6420.6422"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia.","author":"Izosimov V.","unstructured":"Izosimov , V. , Eles , P. , and Peng , Z . 2010. Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints . In Proceedings of the 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia. Izosimov, V., Eles, P., and Peng, Z. 2010. Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints. In Proceedings of the 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013235.1013261"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Kung S. Whitehouse H. and Kailath T. 1985. VLSI and Modern Signal Processing. Prentice-Hall Inc. Englewood Cliffs NJ.   Kung S. Whitehouse H. and Kailath T. 1985. VLSI and Modern Signal Processing. Prentice-Hall Inc. Englewood Cliffs NJ.","DOI":"10.1016\/0165-1684(85)90048-9"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference and Exhibition.","author":"Liu Y.","unstructured":"Liu , Y. , Liang , H. , and Wu , K . 2010. Scheduling for energy efficiency and fault tolerance in hard real-time systems . In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition. Liu, Y., Liang, H., and Wu, K. 2010. Scheduling for energy efficiency and fault tolerance in hard real-time systems. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition."},{"key":"e_1_2_1_25_1","volume-title":"Linear and Nonlinear Programming","author":"Luenberger D.","unstructured":"Luenberger , D. 1984. Linear and Nonlinear Programming . Addison-Wesley , Reading MA . Luenberger, D. 1984. Linear and Nonlinear Programming. Addison-Wesley, Reading MA."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications.","author":"Mejia-Alvarez P.","unstructured":"Mejia-Alvarez , P. , Aydin , H. , Moss\u00e9 , D. , and Melhem , R . 2000. Scheduling optional computations in fault-tolerant real-time systems . In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications. Mejia-Alvarez, P., Aydin, H., Moss\u00e9, D., and Melhem, R. 2000. Scheduling optional computations in fault-tolerant real-time systems. In Proceedings of the IEEE International Conference on Real-Time Computing Systems and Applications."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1261830"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502044"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289873"},{"key":"e_1_2_1_30_1","volume-title":"Fault-Tolerant Computer System Design","author":"Pradhan D. K.","unstructured":"Pradhan , D. K. 1996. Fault-Tolerant Computer System Design . Prentice-Hall, Inc. , Upper Saddle River, NJ. Pradhan, D. K. 1996. Fault-Tolerant Computer System Design. Prentice-Hall, Inc., Upper Saddle River, NJ."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274858.1274867"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.19"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233607"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the USENIX Conference on Operating Systems Design and Implementation.","author":"Weiser M.","unstructured":"Weiser , M. , Welch , B. , Demers , A. , and Shenker , S . 1994. Scheduling for reduced cpu energy . In Proceedings of the USENIX Conference on Operating Systems Design and Implementation. Weiser, M., Welch, B., Demers, A., and Shenker, S. 1994. Scheduling for reduced cpu energy. In Proceedings of the USENIX Conference on Operating Systems Design and Implementation."},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the Annual Symposium on Foundations of Computer Science.","author":"Yao F.","unstructured":"Yao , F. , Demers , A. , and Shenker , S . 1995. A scheduling model for reduced cpu energy . In Proceedings of the Annual Symposium on Foundations of Computer Science. Yao, F., Demers, A., and Shenker, S. 1995. A scheduling model for reduced cpu energy. In Proceedings of the Annual Symposium on Foundations of Computer Science."},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe.","author":"Zhang Y.","unstructured":"Zhang , Y. and Chakrabarty , K . 2003. Energy-aware adaptive checkpointing in embedded real-time systems . In Proceedings of the Conference on Design, Automation and Test in Europe. Zhang, Y. and Chakrabarty, K. 2003. Energy-aware adaptive checkpointing in embedded real-time systems. In Proceedings of the Conference on Design, Automation and Test in Europe."},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the International Conference on Computer Design.","author":"Zhao B.","unstructured":"Zhao , B. , Aydin , H. , and Zhu , D . 2008. Reliability-aware dynamic voltage scaling for energy-constrained real-time embedded systems . In Proceedings of the International Conference on Computer Design. Zhao, B., Aydin, H., and Zhu, D. 2008. Reliability-aware dynamic voltage scaling for energy-constrained real-time embedded systems. In Proceedings of the International Conference on Computer Design."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024815"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687412"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.36"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233608"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.56"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382539"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065744"},{"key":"e_1_2_1_45_1","unstructured":"Ziegler J. F. 2004. Trends in electronic reliability: Effects of terrestrial cosmic rays. http:\/\/www.srim.org\/SER\/SERTrends.htm.  Ziegler J. F. 2004. Trends in electronic reliability: Effects of terrestrial cosmic rays. http:\/\/www.srim.org\/SER\/SERTrends.htm."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442087.2442094","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442087.2442094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:25Z","timestamp":1750235725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442087.2442094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1145\/2442087.2442094"],"URL":"https:\/\/doi.org\/10.1145\/2442087.2442094","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"2011-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}