{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:08Z","timestamp":1740122768860,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T00:00:00Z","timestamp":1373328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10617-013-9112-7","type":"journal-article","created":{"date-parts":[[2013,7,8]],"date-time":"2013-07-08T07:40:50Z","timestamp":1373269250000},"page":"1-18","source":"Crossref","is-referenced-by-count":3,"title":["State-based scheduling analysis for distributed real-time systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Tayfun","family":"Gezgin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,9]]},"reference":[{"issue":"2","key":"9112_CR1","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 DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235. http:\/\/citeseer.ist.psu.edu","journal-title":"Theor Comput Sci"},{"key":"9112_CR2","series-title":"Lecture notes in computer science","volume-title":"Lecture notes on concurrency and Petri nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Reisig W, Rozenberg G (eds) Lecture notes on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer, Berlin"},{"key":"9112_CR3","first-page":"564","volume-title":"Proceedings of the 14th IEEE international conference on emerging technologies & factory automation (ETFA\u201909)","author":"M B\u00fcker","year":"2009","unstructured":"B\u00fcker M, Metzner A, Stierand I (2009) Testing real-time task networks with functional extensions using model-checking. In: Proceedings of the 14th IEEE international conference on emerging technologies & factory automation (ETFA\u201909). IEEE Press, Piscataway, pp 564\u2013573. http:\/\/dl.acm.org\/citation.cfm?id=1740954.1741034"},{"key":"9112_CR4","first-page":"138","volume-title":"Proc of CONCUR 2000: concurrency theory","author":"F Cassez","year":"1999","unstructured":"Cassez F, Larsen K (1999) The impressive power of stopwatches. In: Proc of CONCUR 2000: concurrency theory. Springer, Berlin, pp 138\u2013152"},{"key":"9112_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1201\/9781420067859-c4","volume-title":"Model-based design for embedded systems","author":"A David","year":"2009","unstructured":"David A, Illum J, Larsen KG, Skou A (2009) Model-based framework for schedulability analysis using Uppaal 4.1. In: Nicolescu G, Mosterman P (eds) Model-based design for embedded systems, pp 93\u2013119"},{"issue":"8","key":"9112_CR6","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman E, Krcal P, Pettersson P, Yi W (2007) Task automata: schedulability, decidability and undecidability. Int J Inf Comput 205(8):1149\u20131172","journal-title":"Int J Inf Comput"},{"key":"9112_CR7","volume-title":"Proceedings of TACAS","author":"E Fersman","year":"2002","unstructured":"Fersman E, Pettersson P, Yi W (2002) Timed automata with asynchronous processes: schedulability and decidability. In: Proceedings of TACAS. Springer, Berlin"},{"key":"9112_CR8","volume-title":"Brazilian symposium on computing system engineering, workshop of embedded systems","author":"T Gezgin","year":"2012","unstructured":"Gezgin T, Henkler S, Rettberg A, Stierand I (2012) Abstraction techniques for compositional state-based scheduling analysis. In: Brazilian symposium on computing system engineering, workshop of embedded systems, Natal, Brazil"},{"key":"9112_CR9","volume-title":"Parallel and distributed processing symposium","author":"M Hendriks","year":"2006","unstructured":"Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Parallel and distributed processing symposium. doi: 10.1109\/IPDPS.2006.1639422"},{"key":"9112_CR10","first-page":"394","volume":"111","author":"T Henzinger","year":"1992","unstructured":"Henzinger T, Nicollin X, Sifakis J, Yovine S (1992) Symbolic model checking for real-time systems. Inf Comput 111:394\u2013406","journal-title":"Inf Comput"},{"key":"9112_CR11","volume-title":"Proc of the 19th nordic workshop on programming theory (NWPT\u201907)","author":"P Krcal","year":"2007","unstructured":"Krcal P, Mokrushin L, Yi W (2007) A tool for compositional analysis of timed systems by abstraction (extended abstract). In: Johnsen EB, Owe O, Schneider G (eds) Proc of the 19th nordic workshop on programming theory (NWPT\u201907), Oslo, 10\u201312\u00a0October"},{"key":"9112_CR12","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1629335.1629351","volume-title":"Proceedings of the seventh ACM international conference on embedded software (EMSOFT\u201909)","author":"K Lampka","year":"2009","unstructured":"Lampka K, Perathoner S, Thiele L (2009) Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: Proceedings of the seventh ACM international conference on embedded software (EMSOFT\u201909). ACM, New York, pp 107\u2013116. http:\/\/doi.acm.org\/10.1145\/1629335.1629351 . doi: 10.1145\/1629335.1629351"},{"key":"9112_CR13","first-page":"227","volume-title":"SEUS","author":"G Macariu","year":"2009","unstructured":"Macariu G, Cretu V (2009) Model-based analysis of contract-based real-time scheduling. In: SEUS, pp 227\u2013239"},{"key":"9112_CR14","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/EMWRTS.1997.613774","volume-title":"Proceedings of ninth Euromicro workshop on real-time systems","author":"J Palencia Gutierrez","year":"1997","unstructured":"Palencia Gutierrez J, Gutierrez Garcia J, Gonzalez Harbour M (1997) On the schedulability analysis for distributed hard real-time systems. In: Proceedings of ninth Euromicro workshop on real-time systems, pp 136\u2013143. doi: 10.1109\/EMWRTS.1997.613774"},{"key":"9112_CR15","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/1289927.1289959","volume-title":"Proceedings of the 7th ACM & IEEE int conference on embedded software (EMSOFT)","author":"S Perathoner","year":"2007","unstructured":"Perathoner S, Wandeler E, Thiele L, Hamann A, Schliecker S, Henia R, Racu R, Ernst R, Harbour M (2007) Influence of different system abstractions on the performance analysis of distributed real-time systems. In: Proceedings of the 7th ACM & IEEE int conference on embedded software (EMSOFT), pp 193\u2013202. http:\/\/doi.acm.org\/10.1145\/1289927.1289959 . doi: 10.1145\/1289927.1289959"},{"key":"9112_CR16","volume-title":"GI\/ITG\/GMM workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","author":"R Racu","year":"2004","unstructured":"Racu R, Richter K, Ernst R (2004) Calculating task output event models to reduce distributed system cost. In: GI\/ITG\/GMM workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Kaiserslautern, Germany"},{"key":"9112_CR17","unstructured":"Richter K (2004) Compositional scheduling analysis using standard event models. PhD thesis, Technical University of Braunschweig, Braunschweig, Germany"},{"key":"9112_CR18","volume-title":"Proceedings of the conference on design, automation and test in Europe (DATE)","author":"J Rox","year":"2010","unstructured":"Rox J, Ernst R (2010) Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proceedings of the conference on design, automation and test in Europe (DATE), Leuven, Belgium. http:\/\/dl.acm.org\/citation.cfm?id=1870926.1870980"},{"key":"9112_CR19","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-45449-7_29","volume-title":"Embedded software in network processors\u2014models and algorithms","author":"L Thiele","year":"2001","unstructured":"Thiele L, Chakraborty S, Gries M, Maxiaguine A, Greutert J (2001) Embedded software in network processors\u2014models and algorithms. Springer, London, pp 416\u2013434"},{"key":"9112_CR20","first-page":"101","volume-title":"IEEE international symposium on circuits and systems (ISCAS)","author":"L Thiele","year":"2000","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: IEEE international symposium on circuits and systems (ISCAS), vol 4, pp 101\u2013104. doi: 10.1109\/ISCAS.2000.858698"},{"key":"9112_CR21","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:117\u2013134. http:\/\/dx.doi.org\/10.1016\/0165-6074(94)90080-9 . doi: 10.1016\/0165-6074(94)90080-9","journal-title":"Microprocess Microprogram"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-013-9112-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-013-9112-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-013-9112-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:36Z","timestamp":1559230176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-013-9112-7"}},"subtitle":["Coping with the large state space by a compositional approach"],"short-title":[],"issued":{"date-parts":[[2013,7,9]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9112"],"URL":"https:\/\/doi.org\/10.1007\/s10617-013-9112-7","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2013,7,9]]}}}