{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:48:41Z","timestamp":1771573721604,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,12,8]],"date-time":"2015-12-08T00:00:00Z","timestamp":1449532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"European Community","award":["318763"],"award-info":[{"award-number":["318763"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s11241-015-9245-9","type":"journal-article","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T05:12:33Z","timestamp":1449637953000},"page":"323-355","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling"],"prefix":"10.1007","volume":"52","author":[{"given":"Youcheng","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,8]]},"reference":[{"key":"9245_CR1","volume-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Henzinger TA, Ho PH (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Springer, Heidelberg"},{"issue":"1","key":"9245_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho PH, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138(1):3\u201334","journal-title":"Theor Comput Sci"},{"key":"9245_CR3","doi-asserted-by":"crossref","unstructured":"Baker T (2003) Multiprocessor EDF and deadline monotonic schedulability analysis. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS)","DOI":"10.1109\/REAL.2003.1253260"},{"key":"9245_CR4","doi-asserted-by":"crossref","unstructured":"Baker T, Baruah SK (2009) Sustainable multiprocessor scheduling of sporadic task systems. In: 21st Euromicro Conference on IEEE Real-Time Systems, 2009. ECRTS\u201909, pp 141\u2013150","DOI":"10.1109\/ECRTS.2009.25"},{"key":"9245_CR5","doi-asserted-by":"crossref","unstructured":"Baker T, Cirinei M (2007) Brute-force determination of multiprocessor schedulability for sets of sporadic hard-deadline tasks. In: Tovar E, Tsigas P, Fouchal H (eds) Principles of Distributed Systems (Lecture Notes in Computer Science) vol 4878. Springer, Berlin Heidelberg, p 6275","DOI":"10.1007\/978-3-540-77096-1_5"},{"key":"9245_CR6","doi-asserted-by":"crossref","unstructured":"Baruah S (2007) Techniques for Multiprocessor Global Schedulability Analysis. In: 28th IEEE International Real-Time Systems Symposium, 2007. RTSS 2007. pp 119\u2013128. doi: 10.1109\/RTSS.2007.35","DOI":"10.1109\/RTSS.2007.35"},{"key":"9245_CR7","first-page":"87","volume-title":"Timed automata: semantics, algorithms and tools","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. Springer, Berlin, pp 87\u2013124"},{"key":"9245_CR8","doi-asserted-by":"crossref","unstructured":"Bertogna M, Cirinei M (2007) Response-time analysis for globally scheduled symmetric multiprocessor platforms. In: 28th IEEE International Real-Time Systems Symposium, 2007. RTSS 2007, pp 149\u2013160","DOI":"10.1109\/RTSS.2007.31"},{"issue":"4","key":"9245_CR9","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1007\/s00453-011-9505-6","volume":"63","author":"V Bonifaci","year":"2012","unstructured":"Bonifaci V, Marchetti-Spaccamela A (2012) Feasibility analysis of sporadic real-time multiprocessor task systems. Algorithmica 63(4):763\u2013780","journal-title":"Algorithmica"},{"key":"9245_CR10","doi-asserted-by":"crossref","unstructured":"Brihaye T, Doyen L, Geeraerts G, Ouaknine J, Raskin JF, Worrell J (2011) On reachability for hybrid automata over bounded time. In: Automata, Languages and Programming. Springer, Berlin, pp 416\u2013427","DOI":"10.1007\/978-3-642-22012-8_33"},{"issue":"2","key":"9245_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G Bucci","year":"2004","unstructured":"Bucci G, Fedeli A, Sassoli L, Vicario E (2004) Timed state space analysis of real-time preemptive systems. IEEE Trans Softw Eng 30(2):97\u2013111","journal-title":"IEEE Trans Softw Eng"},{"key":"9245_CR12","doi-asserted-by":"crossref","unstructured":"Cassez F, Larsen K (2000) The impressive power of stopwatches. In: Proceedings of CONCUR 2000: Concurrency Theory, Springer, pp 138\u2013152","DOI":"10.1007\/3-540-44618-4_12"},{"key":"9245_CR13","doi-asserted-by":"crossref","unstructured":"Cucu L, Goossens J (2006) Feasibility intervals for fixed-priority real-time scheduling on uniform multiprocessors. In: IEEE Conference on Emerging Technologies and Factory Automation, 2006. ETFA\u201906, pp 397\u2013404","DOI":"10.1109\/ETFA.2006.355388"},{"key":"9245_CR14","doi-asserted-by":"crossref","unstructured":"Cucu L, Goossens J (2007) Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, EDA Consortium, pp 1635\u20131640","DOI":"10.1109\/DATE.2007.364536"},{"issue":"5","key":"9245_CR15","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1016\/j.sysarc.2011.02.007","volume":"57","author":"L Cucu-Grosjean","year":"2011","unstructured":"Cucu-Grosjean L, Goossens J (2011) Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms. J Syst Archit 57(5):561\u2013569","journal-title":"J Syst Archit"},{"key":"9245_CR16","unstructured":"Emberson P, Stafford R, Davis RI (2010) Techniques for the synthesis of multiprocessor tasksets. In: 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), pp 6\u201311"},{"issue":"2","key":"9245_CR17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s11241-012-9172-y","volume":"49","author":"G Geeraerts","year":"2013","unstructured":"Geeraerts G, Goossens J, Lindstrm M (2013) Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Real-Time Syst 49(2):171\u2013218. doi: 10.1007\/s11241-012-9172-y","journal-title":"Real-Time Syst"},{"key":"9245_CR18","doi-asserted-by":"crossref","unstructured":"Geeraerts G, Goossens J, Stainer A (2014) Synthesising succinct strategies in safety and reachability games. In: Reachability Problems\u20148th International Workshop, RP 2014, Oxford, UK, September 22\u201324, 2014. Proceedings, pp 98\u2013111","DOI":"10.1007\/978-3-319-11439-2_8"},{"key":"9245_CR19","unstructured":"Grolleau E, Goossens J, Cucu-Grosjean L (2013) On the periodic behavior of real-time schedulers on identical multiprocessor platforms. arXiv:1305.3849 , preprint"},{"key":"9245_CR20","doi-asserted-by":"crossref","unstructured":"Guan N, Gu Z, Deng Q, Gao S, Yu G (2007) Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking. In: Software Technologies for Embedded and Ubiquitous Systems, Springer, pp 263\u2013272","DOI":"10.1007\/978-3-540-75664-4_26"},{"key":"9245_CR21","doi-asserted-by":"crossref","unstructured":"Guan N, Gu Z, Lv M, Deng Q, Yu G (2008) Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008, pp 556\u2013560","DOI":"10.1109\/ISORC.2008.74"},{"key":"9245_CR22","doi-asserted-by":"crossref","unstructured":"Guan N, Stigge M, Yi W, Yu G (2009) New response time bounds for fixed priority multiprocessor scheduling. In: 30th IEEE Real-Time Systems Symposium, 2009, RTSS 2009, pp 387\u2013397","DOI":"10.1109\/RTSS.2009.11"},{"issue":"2","key":"9245_CR23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N Halbwachs","year":"1997","unstructured":"Halbwachs N, Proy YE, Roumanoff P (1997) Verification of real-time systems using linear relation analysis. Formal Methods Syst Des 11(2):157\u2013185","journal-title":"Formal Methods Syst Des"},{"issue":"1","key":"9245_CR24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J Assoc Comput Mach 20(1):46\u201361","journal-title":"J Assoc Comput Mach"},{"key":"9245_CR25","doi-asserted-by":"crossref","unstructured":"Min\u00e9 A (2001) A new numerical abstract domain based on difference-bound matrices. In: Proceedings of the Second Symposium on Programs as Data Objects. Springer, London, UK, UK, PADO \u201901, pp 155\u2013172, URL: http:\/\/dl.acm.org\/citation.cfm?id=645774.668110","DOI":"10.1007\/3-540-44978-7_10"},{"issue":"1","key":"9245_CR26","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9 A (2006) The octagon abstract domain. Higher-Order Symb Comput 19(1):31\u2013100. doi: 10.1007\/s10990-006-8609-1","journal-title":"Higher-Order Symb Comput"},{"key":"9245_CR27","unstructured":"Sun Y, Lipari G (2014a) FOrmal Real-Time Scheduler (FORTS). Web page: https:\/\/github.com\/glipari\/forts"},{"key":"9245_CR28","doi-asserted-by":"crossref","unstructured":"Sun Y, Lipari G (2014b) A weak simulation relation for real-time schedulability analysis of global fixed priority scheduling using linear hybrid automata. In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems, ACM, p\u00a035","DOI":"10.1145\/2659787.2659814"},{"key":"9245_CR29","doi-asserted-by":"crossref","unstructured":"Sun Y, Lipari G, Andr\u00e9 \u00c9, Fribourg L (2014a) Toward parametric timed interfaces for real-time components. In: Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014, pp 49\u201364. doi: 10.4204\/EPTCS.145.6","DOI":"10.4204\/EPTCS.145.6"},{"key":"9245_CR30","doi-asserted-by":"crossref","unstructured":"Sun Y, Lipari G, Guan N, Yi W (2014b) Improving the response time analysis of global fixed-priority multiprocessor scheduling. In: IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014, pp 1\u20139","DOI":"10.1109\/RTCSA.2014.6910543"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9245-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-015-9245-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9245-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:05:31Z","timestamp":1748714731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-015-9245-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,8]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["9245"],"URL":"https:\/\/doi.org\/10.1007\/s11241-015-9245-9","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,8]]}}}