{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:57:47Z","timestamp":1725731867737},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_17","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T10:39:00Z","timestamp":1371119940000},"page":"181-192","source":"Crossref","is-referenced-by-count":1,"title":["Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Reinkemeier","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"S. Baruah","year":"1990","unstructured":"Baruah, S., Rosier, L., Howell, R.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Systems 2, 301\u2013324 (1990)","journal-title":"Real-Time Systems"},{"key":"17_CR2","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: Proc. Conference on Software Engineering and Formal Methods (SEFM) (2006)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bhaduri, P., Stierand, I.: A proposal for real-time interfaces in speeds. In: Design, Automation Test in Europe Conference Exhibition (DATE), pp. 441\u2013446 (March 2010)","DOI":"10.1109\/DATE.2010.5457163"},{"key":"17_CR4","unstructured":"Chakraborty, S., Kunzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 190\u2013195. IEEE Computer Society (2003)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Anand, M., Lee, I.: Compositional analysis framework using edp resource models. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium, RTSS 2007, pp. 129\u2013138. IEEE Computer Society (2007)","DOI":"10.1109\/RTSS.2007.36"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Guan, N., Ekberg, P., Stigge, M., Yi, W.: Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. In: Proc. Real-Time Systems Symposium (RTSS) (2011)","DOI":"10.1109\/RTSS.2011.10"},{"key":"17_CR7","unstructured":"Henzinger, T., Matic, S.: An interface algebra for real-time components. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2006, pp. 253\u2013266. IEEE Computer Society (2006)"},{"key":"17_CR8","unstructured":"Lehoczky, J.P., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In: IEEE Real-Time Systems Symposium, pp. 166\u2013171. IEEE Computer Society (1989)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Perathoner, S., Lampka, K., Thiele, L.: Composing Heterogeneous Components for System-wide Performance Analysis. In: Design, Automation Test in Europe Conference Exhibition (DATE) (2011)","DOI":"10.1109\/DATE.2011.5763143"},{"key":"17_CR10","unstructured":"Richter, K.: Compositional Scheduling Analysis Using Standard Event Models. Ph.D. thesis, Technical University of Braunschweig, Germany (2004)"},{"key":"17_CR11","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of the 24th IEEE International Real-Time Systems Symposium, RTSS 2003, pp. 2\u201313. IEEE Computer Society (2003)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Thiele, L., Wandeler, E., Stoimenov, N.: Real-time interfaces for composing real-time systems. In: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, EMSOFT 2006, pp. 34\u201343. ACM (2006)","DOI":"10.1145\/1176887.1176894"},{"key":"17_CR13","unstructured":"Wandeler, E., Thiele, L.: 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 2006, pp. 243\u2013252. IEEE Computer Society (2006)"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:00:16Z","timestamp":1557792016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_17","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}