{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:25:33Z","timestamp":1759847133776},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,4,28]],"date-time":"2012-04-28T00:00:00Z","timestamp":1335571200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s11241-012-9151-3","type":"journal-article","created":{"date-parts":[[2012,4,27]],"date-time":"2012-04-27T11:45:27Z","timestamp":1335527127000},"page":"430-462","source":"Crossref","is-referenced-by-count":2,"title":["State-based scheduling with tree schedules: analysis and evaluation"],"prefix":"10.1007","volume":"48","author":[{"given":"Madhukar","family":"Anand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linh T. X.","family":"Phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,28]]},"reference":[{"key":"9151_CR1","volume-title":"Proc of the 17th international symposium on parallel and distributed processing (IPDPS)","author":"Y Abdedda\u00efm","year":"2003","unstructured":"Abdedda\u00efm Y, Kerbaa A, Maler O (2003) Task graph scheduling using timed automata. In: Proc of the 17th international symposium on parallel and distributed processing (IPDPS), Nice, France"},{"issue":"2","key":"9151_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"9151_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/RTAS.2008.13","volume-title":"RTAS \u201908: proceedings of the 2008 IEEE real-time and embedded technology and applications symposium","author":"R Alur","year":"2008","unstructured":"Alur R, Weiss G (2008) Regular specifications of resource requirements for embedded control software. In: RTAS \u201908: proceedings of the 2008 IEEE real-time and embedded technology and applications symposium. IEEE Computer Society, Washington, pp\u00a0159\u2013168. doi: 10.1109\/RTAS.2008.13"},{"key":"9151_CR4","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/1176887.1176905","volume-title":"Proceedings of the 6th annual ACM conference on embedded software (EMSOFT)","author":"M Anand","year":"2006","unstructured":"Anand M, Fischmeister S, Lee I (2006) An analysis framework for network-code programs. In: Proceedings of the 6th annual ACM conference on embedded software (EMSOFT), Seoul, South Korea, pp\u00a0122\u2013131"},{"key":"9151_CR5","volume-title":"Proceedings of the eleventh IEEE international symposium on object-oriented real-time distributed computing (ISORC)","author":"M Anand","year":"2008","unstructured":"Anand M, Easwaran A, Fischmeister S, Lee I (2008) Compositional feasibility analysis for conditional task models. In: Proceedings of the eleventh IEEE international symposium on object-oriented real-time distributed computing (ISORC). IEEE Computer Society, Washington"},{"key":"9151_CR6","doi-asserted-by":"crossref","first-page":"313","DOI":"10.2345\/0899-8205-43.4.313","volume":"43","author":"D Arney","year":"2009","unstructured":"Arney D, Trausmuth R, Fischmeister S, Goldman JM, Lee I (2009) Plug-and-play for medical devices: experiences from a case study. Biomed Instrum Technol 43:313\u2013317","journal-title":"Biomed Instrum Technol"},{"key":"9151_CR7","first-page":"138","volume-title":"ECRTS","author":"SK Baruah","year":"1998","unstructured":"Baruah SK (1998) Feasibility analysis of recurring branching tasks. In: ECRTS, pp\u00a0138\u2013145"},{"key":"9151_CR8","first-page":"182","volume-title":"IEEE real-time systems symposium","author":"SK Baruah","year":"1990","unstructured":"Baruah SK, Mok AK, Rosier LE (1990) Preemptively scheduling hard-real-time sporadic tasks on one processor. In: IEEE real-time systems symposium, pp\u00a0182\u2013190. URL citeseer.ist.psu.edu\/baruah90preemptively.html"},{"key":"9151_CR9","first-page":"68","volume-title":"RTSS \u201997: proceedings of the 18th IEEE real-time systems symposium (RTSS \u201997)","author":"SK Baruah","year":"1997","unstructured":"Baruah SK, Chen D, Mok AK (1997) Jitter concerns in periodic task systems. In: RTSS \u201997: proceedings of the 18th IEEE real-time systems symposium (RTSS \u201997). IEEE Computer Society, Washington, p\u00a068"},{"key":"9151_CR10","unstructured":"Berwanger J, Peller M, Griessbach R (2000) ByteFlight\u2014a new high-performance data bus system for safety-related applications. Tech Rep EE-211, BMW AG"},{"key":"9151_CR11","volume-title":"Introduction to queueing systems","author":"SK Bose","year":"2001","unstructured":"Bose SK (2001) Introduction to queueing systems. Kluwer Academic\/Plenum Publishers, New York"},{"key":"9151_CR12","first-page":"119","volume-title":"Proc of the 18th IEEE symposium on field-programmable custom computing machines (FCCM)","author":"G Carvajal","year":"2010","unstructured":"Carvajal G, Fischmeister S (2010) A TDMA Ethernet switch for dynamic real-time communication. In: Proc of the 18th IEEE symposium on field-programmable custom computing machines (FCCM), Charlotte, United States, pp\u00a0119\u2013126"},{"issue":"3","key":"9151_CR13","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MCS.2003.1200240","volume":"23","author":"A Cervin","year":"2003","unstructured":"Cervin A, Henriksson D, Lincoln B, Eker J, Arzen KE (2003) How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE Control Syst Mag 23(3):16\u201330. doi: 10.1109\/MCS.2003.1200240","journal-title":"IEEE Control Syst Mag"},{"key":"9151_CR14","volume-title":"Proc of the 26th IEEE real-time systems symposium (RTSS)","author":"S Chakraborty","year":"2005","unstructured":"Chakraborty S, Phan LTX, Thiagarajan PS (2005) Event count automata: a state-based model for stream processing systems. In: Proc of the 26th IEEE real-time systems symposium (RTSS), Miami, Florida, USA"},{"key":"9151_CR15","unstructured":"CMU (last visited 12\/2007) Control tutorials for Mathlab and simulink. Web site, http:\/\/www.library.cmu.edu\/ctms\/ctms\/index.htm"},{"key":"9151_CR16","volume-title":"Introduction to queueing theory","author":"R Cooper","year":"1981","unstructured":"Cooper R (1981) Introduction to queueing theory. Edward Arnold, Sevenoaks"},{"key":"9151_CR17","unstructured":"Ethernet powerlink V2.0\u2014communication profile specification (2003) Ethernet Powerlink Standadisation Group (EPSG)"},{"key":"9151_CR18","first-page":"67","volume-title":"TACAS","author":"E Fersman","year":"2002","unstructured":"Fersman E, Pettersson P, Yi W (2002) Timed automata with asynchronous processes: schedulability and decidability. In: TACAS, pp\u00a067\u201382"},{"key":"9151_CR19","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/RTAS.2006.31","volume-title":"Proc of the 12th IEEE real-time and embedded technology and applications symposium (RTAS)","author":"S Fischmeister","year":"2006","unstructured":"Fischmeister S, Sokolsky O, Lee I (2006) Network-code machine: programmable real-time communication schedules. In: Proc of the 12th IEEE real-time and embedded technology and applications symposium (RTAS), San Jose, United States, pp\u00a0311\u2013324"},{"issue":"11","key":"9151_CR20","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.1109\/TC.2007.70747","volume":"56","author":"S Fischmeister","year":"2007","unstructured":"Fischmeister S, Sokolsky O, Lee I (2007) A verifiable language for programming communication schedules. IEEE Trans Comput 56(11):1505\u20131519","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"9151_CR21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TII.2009.2026642","volume":"5","author":"S Fischmeister","year":"2009","unstructured":"Fischmeister S, Trausmuth R, Lee I (2009) Hardware acceleration for conditional state-based communication scheduling on real-time Ethernet. IEEE Trans Ind Inform 5(3):325\u2013337","journal-title":"IEEE Trans Ind Inform"},{"key":"9151_CR22","unstructured":"FlexRay Consortium (2004) FlexRay communications system\u2014protocol specification. Version\u00a02.0"},{"key":"9151_CR23","volume-title":"Proc of the 20th international workshop on parallel and distributed processing symposium (IPDPS)","author":"M Hendriks","year":"2006","unstructured":"Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Proc of the 20th international workshop on parallel and distributed processing symposium (IPDPS), Rhodes Island, USA"},{"issue":"5","key":"9151_CR24","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M Joseph","year":"1986","unstructured":"Joseph M, Pandya PK (1986) Finding response times in a real-time system. Comput J 29(5):390\u2013395","journal-title":"Comput J"},{"key":"9151_CR25","volume-title":"Real-time systems: design principles for distributed embedded applications","author":"H Kopetz","year":"1997","unstructured":"Kopetz H (1997) Real-time systems: design principles for distributed embedded applications. Kluwer Academic, Dordrecht"},{"key":"9151_CR26","volume-title":"Proc of the IFIP world computer congress","author":"H Kopetz","year":"2004","unstructured":"Kopetz H (2004) The fault hypothesis for the time-triggered architecture. In: Proc of the IFIP world computer congress"},{"key":"9151_CR27","volume-title":"SAE 2001 world congress","author":"H Kopetz","year":"2001","unstructured":"Kopetz H, Bauer G, Poledna S (2001) Tolerating arbitrary node failures in the time-triggered architecture. In: SAE 2001 world congress, March 2001, Detroit, MI, USA"},{"key":"9151_CR28","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/REAL.1996.563715","volume-title":"RTSS \u201996: proceedings of the 17th IEEE real-time systems symposium (RTSS \u201996)","author":"JP Lehoczky","year":"1996","unstructured":"Lehoczky JP (1996) Real-time queueing theory. In: RTSS \u201996: proceedings of the 17th IEEE real-time systems symposium (RTSS \u201996). IEEE Computer Society, Washington, p\u00a0186"},{"key":"9151_CR29","first-page":"261","volume-title":"IEEE real-time systems symposium","author":"JP Lehoczky","year":"1987","unstructured":"Lehoczky JP, Sha L, Strosnider JK (1987) Enhanced aperiodic responsiveness in hard real-time environments. In: IEEE real-time systems symposium, pp\u00a0261\u2013270"},{"issue":"3","key":"9151_CR30","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"11","author":"JT Leung","year":"1980","unstructured":"Leung JT, Merrill M (1980) A note on preemptive scheduling of periodic, real-time tasks. Inf Process Lett 11(3):115\u2013118","journal-title":"Inf Process Lett"},{"issue":"1","key":"9151_CR31","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 multi-programming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"9151_CR32","volume-title":"Proc of the 28th IEEE real-time systems symposium (RTSS)","author":"LTX Phan","year":"2007","unstructured":"Phan LTX, Chakraborty S, Thiagarajan PS, Thiele L (2007) Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proc of the 28th IEEE real-time systems symposium (RTSS), Tucson, Arizona, USA"},{"key":"9151_CR33","volume-title":"Proc of the 29th IEEE real-time systems symposium (RTSS)","author":"LTX Phan","year":"2008","unstructured":"Phan LTX, Chakraborty S, Thiagarajan PS (2008) A multi-mode real-time calculus. In: Proc of the 29th IEEE real-time systems symposium (RTSS), Barcelona, Spain"},{"key":"9151_CR34","first-page":"201","volume-title":"Euromicro conference on real-time systems","author":"P Pop","year":"2000","unstructured":"Pop P, Eles P, Peng Z (2000) Schedulability analysis for systems with data and control dependencies. In: Euromicro conference on real-time systems, pp\u00a0201\u2013208. URL http:\/\/www2.imm.dtu.dk\/pubdb\/p.php?4632"},{"key":"9151_CR35","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/1629335.1629356","volume-title":"EMSOFT \u201909: proceedings of the seventh ACM international conference on embedded software","author":"D Potop-Butucaru","year":"2009","unstructured":"Potop-Butucaru D, de Simone R, Sorel Y, Talpin JP (2009) Clock-driven distributed real-time implementation of endochronous synchronous programs. In: EMSOFT \u201909: proceedings of the seventh ACM international conference on embedded software. ACM, New York, pp\u00a0147\u2013156. doi: 10.1145\/1629335.1629356"},{"issue":"2","key":"9151_CR36","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J Real","year":"2004","unstructured":"Real J, Crespo A (2004) Mode change protocols for real-time systems: a survey and a new proposal. Real-Time Syst 26(2):161\u2013197","journal-title":"Real-Time Syst"},{"key":"9151_CR37","first-page":"2","volume-title":"RTSS","author":"I Shin","year":"2003","unstructured":"Shin I, Lee I (2003) Periodic resource model for compositional real-time guarantees. In: RTSS, pp\u00a02\u201313"},{"key":"9151_CR38","first-page":"57","volume-title":"RTSS","author":"I Shin","year":"2004","unstructured":"Shin I, Lee I (2004) Compositional real-time scheduling framework. In: RTSS, pp\u00a057\u201367"},{"issue":"2\u20133","key":"9151_CR39","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram 40(2\u20133):117\u2013134. doi: 10.1016\/0165-6074(94)90080-9","journal-title":"Microprocess Microprogram"},{"key":"9151_CR40","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1109\/RTTAS.2004.1317292","volume-title":"Proceedings of the 10th IEEE real-time and embedded technology and applications symposium (RTAS)","author":"E Wandeler","year":"2004","unstructured":"Wandeler E, Maxiaguine A, Thiele L (2004) Quantitative characterization of event streams in analysis of hard real-time applications. In: Proceedings of the 10th IEEE real-time and embedded technology and applications symposium (RTAS), Toronto, Canada, pp\u00a0450\u2013461"},{"key":"9151_CR41","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/978-3-642-00602-9_27","volume-title":"Proc of the 12th international conference on hybrid systems: computation and control (HSCC)","author":"G Weiss","year":"2009","unstructured":"Weiss G, Fischmeister S, Anand M, Alur R (2009) Specification and analysis of network resource requirements of control systems. In: Proc of the 12th international conference on hybrid systems: computation and control (HSCC), San Fransisco, United States, pp\u00a0381\u2013395"},{"key":"9151_CR42","volume-title":"Standard handbook of audio and radio engineering","author":"J Whitaker","year":"2001","unstructured":"Whitaker J, Benson B (2001) Standard handbook of audio and radio engineering. McGraw-Hill, New York"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-012-9151-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-012-9151-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-012-9151-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T07:09:54Z","timestamp":1559372994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-012-9151-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,28]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["9151"],"URL":"https:\/\/doi.org\/10.1007\/s11241-012-9151-3","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,28]]}}}