{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:49:35Z","timestamp":1743148175663,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243486"},{"type":"electronic","value":"9783642243493"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"83-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interface-Based Design of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Nikolay","family":"Stoimenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"de\u00a0Alfaro L, Henzinger TA (2001) Interface theories for component-based design. In: Proceedings of the first international workshop on embedded software, EMSOFT \u201901, Springer, London, pp\u00a0148\u2013165","DOI":"10.1007\/3-540-45449-7_11"},{"key":"4_CR2","first-page":"83","volume-title":"Engineering theories of software-intensive systems, NATO Science Series: Mathematics, physics, and chemistry","author":"L de Alfaro","year":"2005","unstructured":"de\u00a0Alfaro L, Henzinger TA (2005) Interface-based design. In: Broy M, Gruenbauer J, Harel D, Hoare C (eds) Engineering theories of software-intensive systems, NATO Science Series: Mathematics, physics, and chemistry, vol 195. Springer, Berlin, pp\u00a083\u2013104"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008030427220","volume":"17","author":"S Baruah","year":"1999","unstructured":"Baruah S, Chen D, Gorinsky S, Mok A (1999) Generalized multiframe tasks. Real-Time Syst 17(1):5\u201322","journal-title":"Real-Time Syst"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Chakraborty S, K\u00fcnzli S, Thiele L (2003) A general framework for analysing system properties in platform-based embedded system designs. In: Proceedings of the conference on design, automation and test in Europe, vol 1. IEEE Computer Society, Washington, DC, pp\u00a010,190\u201310,195","DOI":"10.1109\/DATE.2003.1253607"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Chakraborty S, Liu Y, Stoimenov N, Thiele L, Wandeler E (2006) Interface-based rate analysis of embedded systems. In: Proceedings of the 27th IEEE international real-time systems symposium, RTSS \u201906, IEEE Computer Society, Washington, DC, pp\u00a025\u201334","DOI":"10.1109\/RTSS.2006.26"},{"key":"4_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network calculus: A theory of deterministic queuing systems for the internet, LNCS","author":"JY Le Boudec","year":"2001","unstructured":"Le\u00a0Boudec JY, Thiran P (2001) Network calculus: A theory of deterministic queuing systems for the internet, LNCS, vol 2050. Springer, Berlin"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Maxiaguine A, K\u00fcnzli S, Thiele L (2004) Workload characterization model for tasks with variable execution demand. In: Proceedings of the conference on design, automation and test in Europe, vol 2. IEEE Computer Society, Washington, DC, pp\u00a021,040\u201321,045","DOI":"10.1109\/DATE.2004.1269030"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Circuits and Systems, 2000. Proceedings of the 2000 IEEE international symposium on ISCAS 2000 Geneva, vol 4, pp\u00a0101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Thiele L, Wandeler E, Stoimenov N (2006) Real-time interfaces for composing real-time systems. In: Proceedings of the 6th ACM & IEEE international conference on embedded software, EMSOFT \u201906, ACM, New York, pp\u00a034\u201343","DOI":"10.1145\/1176887.1176894"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Wandeler E, Thiele L (2006a) Interface-based design of real-time systems with hierarchical scheduling. In: Proceedings of the 12th IEEE real-time and embedded technology and applications symposium, RTAS \u201906, IEEE Computer Society, Washington, DC, pp\u00a0243\u2013252","DOI":"10.1109\/RTAS.2006.23"},{"key":"4_CR11","first-page":"479","volume-title":"Asia and South Pacific design automation conference, ASP-DAC \u201906","author":"Wandeler E, Thiele L (2006b) Optimal TDMA time slot and cycle length allocation for hard real-time systems. In: Proceedings of the","year":"2006","unstructured":"Wandeler E, Thiele L (2006b) Optimal TDMA time slot and cycle length allocation for hard real-time systems. In: Proceedings of the 2006 Asia and South Pacific design automation conference, ASP-DAC \u201906, IEEE Press, Piscataway, NJ, pp\u00a0479\u2013484"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Wandeler E, Maxiaguine A, Thiele L (2006) Performance analysis of greedy shapers in real-time systems. In: Proceedings of the conference on design, automation and test in Europe: Proceedings of the European Design and Automation Association, 3001 Leuven, Belgium, pp\u00a0444\u2013449","DOI":"10.1109\/DATE.2006.243801"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T00:00:16Z","timestamp":1742428816000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_4","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}