{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T12:24:35Z","timestamp":1759667075103,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T00:00:00Z","timestamp":1362873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61202042"],"award-info":[{"award-number":["61202042"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3,10]]},"abstract":"<jats:p>Earliest Deadline First (EDF) is the most widely studied optimal dynamic scheduling algorithm for uniprocessor real-time systems. In the existing literature, however, there is no complete exact analysis for EDF scheduling when both resource sharing and release jitter are considered. Since resource sharing and release jitter are important characteristics of embedded real-time systems, a solid theoretical foundation should be provided for EDF scheduled systems. In this paper, we extend traditional processor demand analysis to let arbitrary deadline real-time tasks share non-preemptable resources and suffer release jitter. A complete and exact schedulability analysis for EDF scheduled systems is provided. This analysis is incorporated into QPA (Quick Processor-demand Analysis) which provides an efficient implementation of the exact test.<\/jats:p>","DOI":"10.1145\/2442116.2442117","type":"journal-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:17:58Z","timestamp":1365509878000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing"],"prefix":"10.1145","volume":"12","author":[{"given":"Fengxiang","family":"Zhang","sequence":"first","affiliation":[{"name":"Southwest University, Beibei, Chongqing, China"}]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[{"name":"University of York, York, U.K"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128747"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365393"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.41"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.47"},{"volume-title":"Proceedings of IEEE Real-Time Systems Symposium (RTSS). 182--190","author":"Baruah S.","key":"e_1_2_1_5_1","unstructured":"Baruah , S. , Mok , A. , and Rosier , L . 1990. Preemptive scheduling of hard real-time sporadic tasks on one processor . In Proceedings of IEEE Real-Time Systems Symposium (RTSS). 182--190 . Baruah, S., Mok, A., and Rosier, L. 1990. Preemptive scheduling of hard real-time sporadic tasks on one processor. In Proceedings of IEEE Real-Time Systems Symposium (RTSS). 182--190."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.387477"},{"key":"e_1_2_1_7_1","unstructured":"Burns A. and Wellings A. J. 2009. Real-Time Systems and Programming Languages 4th Ed. Addison Wesley Longman.   Burns A. and Wellings A. J. 2009. Real-Time Systems and Programming Languages 4th Ed. Addison Wesley Longman."},{"volume-title":"Hard Real-Time Computing Systems","author":"Buttazzo G.","key":"e_1_2_1_8_1","unstructured":"Buttazzo , G. 2005. Hard Real-Time Computing Systems . Springer . Buttazzo, G. 2005. Hard Real-Time Computing Systems. Springer."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995676"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365519"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.42"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242673"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Klein M. H. Ralya T. A. Pollak B. Obenza R. and Harbour M. G. 1993. A Practitioner's Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers.   Klein M. H. Ralya T. A. Pollak B. Obenza R. and Harbour M. G. 1993. A Practitioner's Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90123-4"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"volume-title":"Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS). 173--181","author":"Saewong S.","key":"e_1_2_1_17_1","unstructured":"Saewong , S. , Rajkumar , R. , Lehoczky , J. , and Klein , M . 2002. Analysis of hierarchical fixed- priority scheduling . In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS). 173--181 . Saewong, S., Rajkumar, R., Lehoczky, J., and Klein, M. 2002. Analysis of hierarchical fixed- priority scheduling. In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS). 173--181."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.83617"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Stankovic J. Ramamritham K. Spuri M. and Buttazzo G. 1998. Deadline Scheduling for Real-Time Systems. Kluwer Academic Publishers.   Stankovic J. Ramamritham K. Spuri M. and Buttazzo G. 1998. Deadline Scheduling for Real-Time Systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-5535-3"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.10"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"key":"e_1_2_1_24_1","volume-title":"Tech. Rep. YCS 426","author":"Zhang F.","year":"2008","unstructured":"Zhang , F. and Burns , A . 2008 b. Schedulability analysis for real-time systems with EDF scheduling. Tech. Rep. YCS 426 , University of York. Zhang, F. and Burns, A. 2008b. Schedulability analysis for real-time systems with EDF scheduling. Tech. Rep. YCS 426, University of York."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.20"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE).","volume":"1","author":"Zhang F.","unstructured":"Zhang , F. and Burns , A . 2010. Dividing point value selections for improved quick processor-demand analysis . In Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE). Vol. 1 . 170--175. Zhang, F. and Burns, A. 2010. Dividing point value selections for improved quick processor-demand analysis. In Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE). Vol. 1. 170--175."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.04.006"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442116.2442117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:06Z","timestamp":1750234746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,10]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,3,10]]}},"alternative-id":["10.1145\/2442116.2442117"],"URL":"https:\/\/doi.org\/10.1145\/2442116.2442117","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,3,10]]},"assertion":[{"value":"2010-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}