{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:09:29Z","timestamp":1751688569762,"version":"3.41.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1023\/a:1026436324575","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T16:45:40Z","timestamp":1068137140000},"page":"207-222","source":"Crossref","is-referenced-by-count":2,"title":["Validating Real-Time Constraints in Heterogeneous Multiprocessor and Distributed Systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Rhan","family":"Ha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hojung","family":"Cha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane W. S.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"238652_CR1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J.W. Layland, \u201cScheduling algorithms for multiprogramming in a hard-real-time environment.\u201d Journal of the Association for Computing Machinery20, pp. 46\u201361, January 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"238652_CR2","doi-asserted-by":"crossref","unstructured":"B. Sprunt, L. Sha, and J. P. Lehoczky, \u201cAperiodic task scheduling for hard-real-time systems.\u201d The Journal of Real-Time Systems, pp. 27\u201360, 1989.","DOI":"10.1007\/BF02341920"},{"key":"238652_CR3","doi-asserted-by":"crossref","unstructured":"J. P. Lehoczky, L. Sha, and Y. Ding, \u201cThe rate monotone scheduling algorithm: Exact characterization and average case behavior,\u201d in Proceedings of IEEE 10th Real-Time Systems Symposium, December 1989, pp. 166\u2013171.","DOI":"10.1109\/REAL.1989.63567"},{"key":"238652_CR4","doi-asserted-by":"crossref","unstructured":"J. P. Lehoczky, \u201cFixed priority scheduling of periodic task sets with arbitrary deadlines,\u201d in Proceedings of IEEE 11th Real-Time Systems Symposium, December 1990, pp. 201\u2013209.","DOI":"10.1109\/REAL.1990.128748"},{"key":"238652_CR5","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N. Audsley","year":"1993","unstructured":"N. Audsley, A. Burns, K. Tindell, M. Richrdson, and A. Wellings, \u201cApplying new scheduling theory to static priority pre-emptive scheduling.\u201d Software Engineering Journal8, pp. 284\u2013292, 1993.","journal-title":"Software Engineering Journal"},{"key":"238652_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/32.263752","volume":"20","author":"M. G. Harbour","year":"1994","unstructured":"M. G. Harbour, M. H. Klein, and J. P. Lehoczky, \u201cTiming analysis for fixed-priority scheduling of hard real-time systems.\u201d IEEE Transactions on Software Engineering20, pp. 13\u201328, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"238652_CR7","doi-asserted-by":"crossref","unstructured":"J. Sun and J. W. S. Liu, \u201cBounding completion times of jobs with arbitrary release times and variable execution times,\u201d in Proceedings of IEEE 17th Real-Time Systems Symposium, December 1996, pp. 2\u201312.","DOI":"10.1109\/REAL.1996.563692"},{"key":"238652_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0164-1212(94)00118-7","volume":"30","author":"J. W. S. Liu","year":"1995","unstructured":"J. W. S. Liu and R. Ha, \u201cMethods for validating real-time constraints.\u201d Journal of Systems and Software30, pp. 85\u201398, August 1995.","journal-title":"Journal of Systems and Software"},{"key":"238652_CR9","first-page":"1","volume":"31","author":"J. Blazewicz","year":"1987","unstructured":"J. Blazewicz, \u201cSelected topics in scheduling theory.\u201d Annals of Discrete Mathematics31, pp. 1\u201360, 1987.","journal-title":"Annals of Discrete Mathematics"},{"key":"238652_CR10","unstructured":"E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan, and D. B. Shmoys, \u201cSequencing and scheduling: Algorithms and complexity,\u201d Technical Report BS-R8909, Center for Mathematics and Computer Science, Department of Operations Research, Statistics and System Theory, June 1989."},{"key":"238652_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/321941.321951","volume":"23","author":"E. Horowitz","year":"1976","unstructured":"E. Horowitz and S. Sahni, \u201cExact and approximate algorithms for scheduling non-identical processors.\u201d Journal of ACM23, pp. 317\u2013327, 1976.","journal-title":"Journal of ACM"},{"key":"238652_CR12","series-title":"Technical Report","volume-title":"Validating timing constraints in multiprocessor and distributed systems","author":"R. Ha","year":"1995","unstructured":"R. Ha, \u201cValidating timing constraints in multiprocessor and distributed systems,\u201d Technical Report UIUCDCS-R-95-1507, University of Illinois at Urbana-Champaign, Department of Computer Science, University of Illinois, 1995."},{"key":"238652_CR13","doi-asserted-by":"crossref","unstructured":"T. Nakajima, T. Kitayama, H. Arakawa, and H. Tokuda, \u201cIntegrated management of priority inversion in real-time mach,\u201d in Proceedings of IEEE 14th Real-Time Systems Symposium, December 1993, pp. 120\u2013130.","DOI":"10.1109\/REAL.1993.393508"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026436324575.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026436324575\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026436324575.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T12:51:46Z","timestamp":1751633506000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026436324575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["238652"],"URL":"https:\/\/doi.org\/10.1023\/a:1026436324575","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}