{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T04:11:38Z","timestamp":1751602298902,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900223"},{"type":"electronic","value":"9783319900230"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-90023-0_8","type":"book-chapter","created":{"date-parts":[[2018,4,16]],"date-time":"2018-04-16T12:56:48Z","timestamp":1523883408000},"page":"88-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique"],"prefix":"10.1007","author":[{"given":"Tayfun","family":"Gezgin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Koopmann","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":[[2018,4,17]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10617-013-9112-7","volume":"18","author":"T Gezgin","year":"2013","unstructured":"Gezgin, T., Stierand, I., Henkler, S., Rettberg, A.: State-based scheduling analysis for distributed real-time systems. Des. Autom. Embed. Syst. 18, 1\u201318 (2013)","journal-title":"Des. Autom. Embed. Syst."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Gezgin, T., Henkler, S., Stierand, I., Rettberg, A.: Impact analysis for timing requirements on real-time systems. In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1\u201310, August 2014","DOI":"10.1109\/RTCSA.2014.6910519"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."},{"key":"8_CR4","unstructured":"Gutierrez, J., Gutierrez Garcia, J., Gonzalez Harbour, M.: On the schedulability analysis for distributed hard real-time systems. In: Proceedings of the Euromicro Workshop on Real-Time Systems, pp. 136\u2013143 (1997)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-45449-7_29","volume-title":"Embedded Software","author":"L Thiele","year":"2001","unstructured":"Thiele, L., Chakraborty, S., Gries, M., Maxiaguine, A., Greutert, J.: Embedded software in network processors\u2014models and algorithms. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 416\u2013434. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45449-7_29"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the symTA\/S approach. IEEE Proc. Comput. Digit. Tech. 152, 148\u2013166 (2005)","journal-title":"IEEE Proc. Comput. Digit. Tech."},{"key":"8_CR7","unstructured":"Wandeler, E.: Modular performance analysis and interface-based design for embedded real-time systems. Ph.D. thesis. Swiss Federal Institute of Technology Zurich (2006)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT 2009: Proceedings of the Seventh ACM International Conference on Embedded Software, pp. 107\u2013116 (2009)","DOI":"10.1145\/1629335.1629351"},{"issue":"1","key":"8_CR9","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 Rev. 8(1), 62\u201363 (2011)","journal-title":"SIGBED Rev."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1201\/9781420067859-c4","volume-title":"Model-Based Design for Embedded Systems","author":"Alexandre David","year":"2009","unstructured":"David, A., Illum, J., Larsen, K.G., Skou, A.: 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 (2009)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: 20th International Parallel and Distributed Processing Symposium, IPDPS 2006, April 2006","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.: Influence of different system abstractions on the performance analysis of distributed real-time systems. In: Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, EMSOFT, pp. 193\u2013202 (2007)","DOI":"10.1145\/1289927.1289959"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 67\u201382. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_6"},{"key":"8_CR14","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). https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"8_CR16","unstructured":"Lehnert, S.: A review of software change impact analysis. Ilmenau University of Technology, Technical report (2011)"},{"key":"8_CR17","unstructured":"Richter, K., Racu, R., Ernst, R.: Scheduling analysis integration for heterogeneous multiprocessor SoC. In: Proceedings of RTSS (2003)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Gezgin, T., Henkler, S., Stierand, I., Rettberg, A.: Evaluation of a state-based real-time scheduling analysis technique. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 158\u2013163, July 2014","DOI":"10.1109\/INDIN.2014.6945501"}],"container-title":["IFIP Advances in Information and Communication Technology","System Level Design from HW\/SW to Memory for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90023-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T18:02:55Z","timestamp":1751565775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-90023-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319900223","9783319900230"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90023-0_8","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"17 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IESS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Embedded Systems Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Foz do Igua\u00e7u","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iess2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iess.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}