{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:03:19Z","timestamp":1748664199946,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229744"},{"type":"electronic","value":"9783319229751"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-22975-1_18","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T08:37:43Z","timestamp":1440146263000},"page":"270-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Contracts for Schedulability Analysis"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Reinkemeier","sequence":"first","affiliation":[]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Weiss, G.: Regular specifications of resource requirements for embedded control software. In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, pp. 159\u2013168. IEEE Computer Society (2008)","DOI":"10.1109\/RTAS.2008.13"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Weiss, G.: RTComposer: a framework for real-time components with scheduling interfaces. In: Proceedings of the 8th ACM & IEEE International Conference on Embedded Software, EMSOFT 2008, pp. 159\u2013168. ACM (2008)","DOI":"10.1145\/1450058.1450080"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2501626.2501629","volume":"13","author":"M Anand","year":"2013","unstructured":"Anand, M., Fischmeister, S., Lee, I.: A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems. ACM Trans. Embedded Comput. Syst. 13(1), 2 (2013)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-319-15317-9_14","volume-title":"Formal Aspects of Component Software","author":"A Boudjadar","year":"2015","unstructured":"Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Miku\u010dionis, M., Nyman, U., Skou, A.: Widening the schedulability of hierarchical scheduling systems. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 209\u2013227. Springer, Heidelberg (2015)"},{"key":"18_CR6","unstructured":"Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using UPPAAL. In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2\u20134, pp. 140\u2013147 (2014)"},{"key":"18_CR7","unstructured":"Autosar consortium: 10 years Autosar. Tech. rep., Autosar (2013). http:\/\/www.autosar.org\/fileadmin\/files\/events\/10yearsautosar\/ATZextra_AUTOSAR_-_THE_WORLDWIDE_AUTOMOTIVE_STANDARD_FOR_EE_SYSTEMS.pdf"},{"key":"18_CR8","unstructured":"Autosar consortium: Methodology (Release 421, 2014). http:\/\/www.autosar.org\/fileadmin\/files\/releases\/4-2\/methodology-templates\/methodology\/auxiliary\/AUTOSAR_TR_Methodology.pdf"},{"key":"18_CR9","unstructured":"Autosar consortium: Specification of Timing Extensions (Release 421, 2014). http:\/\/www.autosar.org\/fileadmin\/files\/releases\/4-2\/methodology-templates\/templates\/standard\/AUTOSAR_TPS_TimingExtensions.pdf"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A Compositional scheduling framework for digital avionics systems. In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, August 24\u201326, pp. 371\u2013380 (2009)","DOI":"10.1109\/RTCSA.2009.46"},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10009-012-0257-7","volume":"15","author":"K Lampka","year":"2013","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Component-based system design: analytic real-time interfaces for state-based component implementations. STTT 15(3), 155\u2013170 (2013)","journal-title":"STTT"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Schneider, R., Goswami, D., Chakraborty, S.: Modular scheduling of distributed heterogeneous time-triggered automotive systems. In: Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, pp. 665\u2013670 (2012)","DOI":"10.1109\/ASPDAC.2012.6165039"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Marimuthu, S.P., Chakraborty, S.: A Framework for compositional and hierarchical real-time scheduling. In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), August 16\u201318, Sydney, Australia, pp. 91\u201396 (2006)","DOI":"10.1109\/RTCSA.2006.7"},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1967021.1967029","volume":"8","author":"LTX Phan","year":"2011","unstructured":"Phan, L.T.X., Lee, J., Easwaran, A., Ramaswamy, V., Chen, S., Lee, I., Sokolsky, O.: CARTS: A Tool for Compositional Analysis of Real-Time Systems. SIGBED Review 8(1), 62\u201363 (2011)","journal-title":"SIGBED Review"},{"key":"18_CR15","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-38853-8_17","volume-title":"Embedded Systems: Design, Analysis and Verification","author":"P Reinkemeier","year":"2013","unstructured":"Reinkemeier, P., Stierand, I.: Compositional timing analysis of real-time systems based on resource segregation abstraction. In: Schirner, G., G\u00f6tz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds.) IESS 2013. IFIP AICT, vol. 403, pp. 181\u2013192. Springer, Heidelberg (2013)"},{"key":"18_CR16","unstructured":"Reinkemeier, P., Stierand, I.: Real-Time Contracts - A Contract Theory Considering Resource Supplies and Demands. Reports of SFB\/TR 14 AVACS 100, SFB\/TR 14 AVACS, July 2014. http:\/\/www.avacs.org"},{"key":"18_CR17","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), December 5\u20138, Lisbon, Portugal, pp. 57\u201367 (2004)"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-319-10512-3_15","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"I Stierand","year":"2014","unstructured":"Stierand, I., Reinkemeier, P., Bhaduri, P.: Virtual integration of real-time systems based on resource segregation abstraction. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 206\u2013221. Springer, Heidelberg (2014)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Stierand, I., Reinkemeier, P., Gezgin, T., Bhaduri, P.: Real-time scheduling interfaces and contracts for the design of distributed embedded systems. In: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19\u201321, pp. 130\u2013139 (2013)","DOI":"10.1109\/SIES.2013.6601485"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Stoimenov, N., Chakraborty, S., Thiele, L.: Interface-based design of real-time systems. In: Advances in Real-Time Systems (to Georg F\u00e4rber on the occasion of his appointment as Professor Emeritus at TU M\u00fcnchen after leading the Lehrstuhl f\u00fcr Realzeit-Computersysteme for 34 illustrious years), pp. 83\u2013101 (2012)","DOI":"10.1007\/978-3-642-24349-3_4"},{"key":"18_CR21","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, October 22\u201325, Seoul, Korea, pp. 34\u201343 (2006)","DOI":"10.1145\/1176887.1176894"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Wandeler, E., Thiele, L.: Interface-based design of real-time systems with hierarchical scheduling. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), April 4\u20137, San Jose, California, USA, pp. 243\u2013252 (2006)","DOI":"10.1109\/RTAS.2006.23"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-540-71493-4_46","volume-title":"Hybrid Systems: Computation and Control","author":"G Weiss","year":"2007","unstructured":"Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601\u2013613. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22975-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:19:42Z","timestamp":1748575182000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22975-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229744","9783319229751"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22975-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}