{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:57:59Z","timestamp":1758272279306},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2016,5,17]],"date-time":"2016-05-17T00:00:00Z","timestamp":1463443200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11227-016-1751-6","type":"journal-article","created":{"date-parts":[[2016,5,17]],"date-time":"2016-05-17T13:24:17Z","timestamp":1463491457000},"page":"4651-4661","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An efficient schedulability condition for non-preemptive real-time systems at common scheduling points"],"prefix":"10.1007","volume":"72","author":[{"given":"Saleh","family":"Alrashed","sequence":"first","affiliation":[]},{"given":"Jamal","family":"Alhiyafi","sequence":"additional","affiliation":[]},{"given":"Aamir","family":"Shafi","sequence":"additional","affiliation":[]},{"given":"Nasro","family":"Min-Allah","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,17]]},"reference":[{"key":"1751_CR1","volume-title":"Real time systems","author":"JWS Liu","year":"2000","unstructured":"Liu JWS (2000) Real time systems. Prentice Hall, Upper Saddle River"},{"key":"1751_CR2","volume-title":"Real-time systems","author":"CM Krishna","year":"1997","unstructured":"Krishna CM, Shin KG (1997) Real-time systems. McGrawHill, Pennsylvania"},{"issue":"1","key":"1751_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:TIME.0000048932.30002.d9","volume":"29","author":"G Buttazzo","year":"2005","unstructured":"Buttazzo G (2005) Rate monotonic vs. EDF: judgment day. Real Time Syst 29(1):5\u201326","journal-title":"Real Time Syst"},{"key":"1751_CR4","unstructured":"George L, Riverre N, Spuri M (1996) Preemptive and non-preemptive real-time uniprocessor scheduling. Research Report 2966, INRIA, France"},{"issue":"2","key":"1751_CR5","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1023\/B:TIME.0000045315.61234.1e","volume":"28","author":"L Sha","year":"2004","unstructured":"Sha L, Abdelzaher T, Erzen K, Cervin A, Baker T, Burns A, Buttazzo G, Caccamo M, Lehoczky J, Mok AK (2004) Real-time scheduling theory: a historical perspective. Real Time Syst 28(2):101\u2013155","journal-title":"Real Time Syst"},{"issue":"4","key":"1751_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis RI, Burns A (2011) A survey of hard real-time scheduling for multiprocessor systems. ACM Comput Surveys 43(4):1\u201344","journal-title":"ACM Comput Surveys"},{"key":"1751_CR7","unstructured":"Burns A, Davis RI, Wang P, Zhang F (2012) Partitioned EDF scheduling for multiprocessors using a C = D scheme, 18th RTNS, pp 169\u2013178, 2010. An extended journal version of this paper (with the same title) is available from the Real-Time Systems Journal, 48(1):3-33"},{"issue":"3","key":"1751_CR8","doi-asserted-by":"crossref","first-page":"1419","DOI":"10.1007\/s11227-011-0554-z","volume":"59","author":"N Min-Allah","year":"2012","unstructured":"Min-Allah N, Khan SU, Ghani N, Li J, Wang L, Bouvry P (2012) A comparative study of rate monotonic schedulability tests. J Supercomput 59(3):1419\u20131430","journal-title":"J Supercomput"},{"key":"1751_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-79789-7_3","volume-title":"Predictably dependable computing systems","author":"NC Audsley","year":"1995","unstructured":"Audsley NC, Burns A, Davis RI, Tindell KW, Wellings AJ (1995) Real-time system scheduling. ESPRIT basic research series. In: Randell B, Laprie J-C, Kopetz H, Littlewood B (eds) Predictably dependable computing systems. Springer, Berlin, pp 41\u201352"},{"issue":"6","key":"1751_CR10","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1016\/j.compeleceng.2010.04.003","volume":"36","author":"N Min-Allah","year":"2010","unstructured":"Min-Allah N, Jiansheng X, Yongji W (2010) Utilization bound for periodic task set with composite-deadline. J Comput Electr Eng 36(6):1101\u20131109","journal-title":"J Comput Electr Eng"},{"issue":"1","key":"1751_CR11","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.jpdc.2011.07.005","volume":"72","author":"N Min-Allah","year":"2012","unstructured":"Min-Allah N, Hussain H, Khan SU, Zomaya AY (2012) Power efficient rate monotonic scheduling for multi-core systems. J Parallel Distrib Comput 72(1):48\u201357","journal-title":"J Parallel Distrib Comput"},{"issue":"3","key":"1751_CR12","doi-asserted-by":"crossref","first-page":"1120","DOI":"10.1007\/s11227-010-0506-z","volume":"59","author":"N Min-Allah","year":"2010","unstructured":"Min-Allah N, Khan SU, Yongji W (2010) Optimal task execution times for periodic tasks using nonlinear constrained optimization. J Supercomput 59(3):1120\u20131138","journal-title":"J Supercomput"},{"issue":"9","key":"1751_CR13","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1109\/TC.2003.1228513","volume":"52","author":"S Baruah","year":"2003","unstructured":"Baruah S, Funk S, Goossens J (2003) Robustness results concerning EDF scheduling upon uniform multiprocessors. IEEE Trans Comput 52(9):1185\u20131195","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"1751_CR14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11241-008-9060-7","volume":"41","author":"E Bini","year":"2009","unstructured":"Bini E, Buttazzo GC (2009) The space of EDF deadlines: the exact region and a convex approximation. Real Time Syst 41(1):27\u201351","journal-title":"Real Time Syst"},{"key":"1751_CR15","unstructured":"Jeffay K, Stanat DF, Martel CU (1991) On non-preemptive scheduling of periodic and sporadic tasks. In: Proceedings of the real-time systems symposium, pp 129\u2013139"},{"key":"1751_CR16","doi-asserted-by":"crossref","unstructured":"Jejurikar R, Gupta R (2005) Energy aware non-preemptive scheduling for hard real-time systems. In: Proceedings of 17th of Euromicro conference on real-time systems, pp 21\u201330","DOI":"10.1109\/ECRTS.2005.13"},{"issue":"4","key":"1751_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1391962.1391964","volume":"13","author":"N Guan","year":"2008","unstructured":"Guan N, Qingxu D, Zonghua G, Wenyao X, Ge Y (2008) Schedulability analysis of preemptive and non-preemptive EDF on partial runtime-reconfigurable FPGAs. ACM Trans Des Autom Electron Syst 13(4):1\u201343","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"1751_CR18","unstructured":"Nasri M, Gerhard F (2015) Open problems on non-preemptive scheduling of mixed-criticality real-time systems. In: International real-time scheduling open problems seminar (RTSOPS\u201915), pp 17\u201318"},{"issue":"3","key":"1751_CR19","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.ipl.2005.10.010","volume":"97","author":"K Sangwon","year":"2006","unstructured":"Sangwon K, Joonwon L, Jinsoo K (2006) Runtime feasibility check for non-preemptive real-time periodic tasks. Inf Process Lett 97(3):83\u201387","journal-title":"Inf Process Lett"},{"issue":"1","key":"1751_CR20","first-page":"40","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20(1):40\u201361","journal-title":"J ACM"},{"key":"1751_CR21","doi-asserted-by":"publisher","unstructured":"Baruah SK, Chakraborty S (2006) Schedulability analysis of non-preemptive recurring real-time tasks. Parallel and distributed processing symposium, 0:149, IPDPS 2006. doi: 10.1109\/IPDPS.2006.1639406","DOI":"10.1109\/IPDPS.2006.1639406"},{"key":"1751_CR22","unstructured":"uC\/OS (2016). https:\/\/www.micrium.com\/rtos\/"},{"key":"1751_CR23","unstructured":"FreeRTOS (2016). http:\/\/www.freertos.org\/"},{"key":"1751_CR24","unstructured":"Wilson AG, Nickisch H (2016) Kernel interpolation for scalable structured Gaussian processes (KISS-GP). Carnegie Mellon University"},{"key":"1751_CR25","doi-asserted-by":"crossref","unstructured":"Thekkilakattil A, Baruah S, Dobrin R, Punnekkat S (2014) The global limited preemptive earliest deadline first feasibility of sporadic real-time tasks. Real-time systems (ECRTS), 26th Euromicro, pp 301\u2013310","DOI":"10.1109\/ECRTS.2014.21"},{"issue":"4","key":"1751_CR26","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/s11241-014-9203-y","volume":"50","author":"M Nasri","year":"2014","unstructured":"Nasri M, Kargahi M (2014) Precautious-RM: a predictable non-preemptive scheduling algorithm for harmonic tasks. Real Time Syst 50(4):548\u2013584","journal-title":"Real Time Syst"},{"issue":"1","key":"1751_CR27","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/1053271.1053277","volume":"4","author":"V Swaminathan","year":"2005","unstructured":"Swaminathan V, Chakrabarty K (2005) Pruning-based, energy-optimal, deterministic I\/O device scheduling for hard real-time systems. ACM Trans Embedded Comput Syst 4(1):141\u2013167","journal-title":"ACM Trans Embedded Comput Syst"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1751-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-016-1751-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1751-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1751-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:40:48Z","timestamp":1559385648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-016-1751-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,17]]},"references-count":27,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["1751"],"URL":"https:\/\/doi.org\/10.1007\/s11227-016-1751-6","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,17]]}}}