{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T14:55:16Z","timestamp":1776956116193,"version":"3.51.4"},"reference-count":20,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0165-6074(94)90080-9","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"117-134","source":"Crossref","is-referenced-by-count":476,"title":["Holistic schedulability analysis for distributed hard real-time systems"],"prefix":"10.1016","volume":"40","author":[{"given":"Ken","family":"Tindell","sequence":"first","affiliation":[]},{"given":"John","family":"Clark","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0165-6074(94)90080-9_BIB1","first-page":"46","article-title":"Scheduling algorithms for multiprogramming in a hard-real-time environment","volume":"20","author":"Liu","year":"1973","journal-title":"ACM"},{"issue":"10","key":"10.1016\/0165-6074(94)90080-9_BIB2","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","article-title":"Monitors\u2014An operating system structuring concept","volume":"17","author":"Hoare","year":"1974","journal-title":"CACM"},{"issue":"4","key":"10.1016\/0165-6074(94)90080-9_BIB3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","article-title":"On the complexity of fixed-priority scheduling of periodic real-time tasks","volume":"2","author":"Leung","year":"1982","journal-title":"Performance Evaluation"},{"issue":"5","key":"10.1016\/0165-6074(94)90080-9_BIB4","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","article-title":"Finding response times in a real-time system","volume":"29","author":"Joseph","journal-title":"BCS Comput. J."},{"issue":"8","key":"10.1016\/0165-6074(94)90080-9_BIB5","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1987.5009516","article-title":"Clock synchronisation in distributed real-time systems","volume":"C-36","author":"Kopetz","year":"1987","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(94)90080-9_BIB6","series-title":"Proc. IEEE Real-Time Systems Symp.","first-page":"42","article-title":"Advanced real-time scheduling using the IEEE 802.5 token ring","author":"Strosnider","year":"1988"},{"key":"10.1016\/0165-6074(94)90080-9_BIB7","series-title":"IEEE Real-Time Systems Symp.","first-page":"259","article-title":"Real-time synchronization protocols for multiprocessors","author":"Rajkumar","year":"1988"},{"key":"10.1016\/0165-6074(94)90080-9_BIB8","series-title":"Proc. Real-Time Systems Symp.","article-title":"The rate monotonic scheduling algorithm: Exact characterisation and average case behaviour","author":"Lehoczky","year":"1989"},{"issue":"9","key":"10.1016\/0165-6074(94)90080-9_BIB9","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","article-title":"Priority inheritance protocols: An approach to real-time synchronisation","volume":"39","author":"Sha","year":"1990","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(94)90080-9_BIB10","series-title":"11th IEEE Real-Time Systems Symp.","first-page":"201","article-title":"Fixed priority scheduling of periodic task sets with arbitrary deadlines","author":"Lehoczky","year":"1990"},{"key":"10.1016\/0165-6074(94)90080-9_BIB11","series-title":"8th IEEE Workshop on Real-Time Operating Systems and Software","article-title":"Hard real time scheduling: The deadline monotonic approach","author":"Audsley","year":"1991"},{"key":"10.1016\/0165-6074(94)90080-9_BIB12","series-title":"Guaranteeing hard real time end-to-end communications deadlines","author":"Tindell","year":"1991"},{"key":"10.1016\/0165-6074(94)90080-9_BIB13","series-title":"12th Real Time Systems Symp.","first-page":"181-ff","article-title":"Building a predictable avionics platform in Ada: A case study","author":"Locke","year":"1991"},{"key":"10.1016\/0165-6074(94)90080-9_BIB14","article-title":"Applying new scheduling theory to static priority pre-emptive scheduling","author":"Audsley","year":"1992"},{"key":"10.1016\/0165-6074(94)90080-9_BIB15","article-title":"Implementation of the worst-case execution time analyser","volume":"Task 8 Volume E","author":"Forsyth","year":"1992"},{"issue":"2","key":"10.1016\/0165-6074(94)90080-9_BIB16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00365407","article-title":"Allocating real-time tasks (An NP-hard problem made easy)","volume":"4","author":"Tindell","year":"1992","journal-title":"Real-Time Syst."},{"key":"10.1016\/0165-6074(94)90080-9_BIB17","series-title":"Department of Computer Science Report","article-title":"Using offset information to analyse static priority pre-emptively scheduled task sets","volume":"182","author":"Tindell","year":"1992"},{"issue":"1","key":"10.1016\/0165-6074(94)90080-9_BIB18","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF01088593","article-title":"An extendible approach for analysing fixed priority hard real-time tasks","volume":"6","author":"Tindell","year":"1994","journal-title":"Real-Time Syst."},{"key":"10.1016\/0165-6074(94)90080-9_BIB19","article-title":"The Olympus attitude and orbital control system: A case study in hard real-time system design and implementation","volume":"190","author":"Burns","year":"1993"},{"issue":"5","key":"10.1016\/0165-6074(94)90080-9_BIB20","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","article-title":"Applying new scheduling theory to static priority pre-emptive scheduling","volume":"8","author":"Audsley","year":"1993","journal-title":"Software Engng. J."}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607494900809?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607494900809?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T14:30:29Z","timestamp":1584109829000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607494900809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":20,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0165607494900809"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(94)90080-9","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}