{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:58:49Z","timestamp":1743062329168,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030474867"},{"type":"electronic","value":"9783030474874"}],"license":[{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-47487-4_2","type":"book-chapter","created":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T09:59:47Z","timestamp":1596103187000},"page":"5-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Testing Implementation Soundness of a WCET Analysis Tool"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Pister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Gebhard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"2_CR1","unstructured":"Rtca\/do-178c software considerations in airborne systems and equipment certification (2013)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Alt, C. Ferdinand, F. Martin, R. Wilhelm, Cache behavior prediction by abstract interpretation. in Proceedings of the Third International Symposium on Static Analysis, SAS\u201996, ed. by R. Cousot, D.A. Schmidt. Aachen, September 24\u201326, 1996. Lecture Notes in Computer Science, vol. 1145 (Springer, Berlin, 1996), pp. 52\u201366. \nhttps:\/\/doi.org\/10.1007\/3-540-61739-6_33","DOI":"10.1007\/3-540-61739-6_33"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebastian, R. von Hanxleden, R. Wilhelm, W. Yi, Building timing predictable embedded systems. ACM Trans. Embedded Comput. Syst. 13(4), 82:1\u201382:37 (2014). \nhttps:\/\/doi.org\/10.1145\/2560033","DOI":"10.1145\/2560033"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, ed. by R.M. Graham, M.A. Harrison, R. Sethi, Los Angeles, January 1977 (ACM, New York, 1977), pp. 238\u2013252. \nhttps:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"2_CR5","unstructured":"C. Ferdinand, Cache behaviour prediction for real-time systems. Ph.D. thesis, Saarland University, Saarbr\u00fccken (1997)"},{"key":"2_CR6","unstructured":"C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, R. Wilhelm, Reliable and precise WCET determination for a real-life processor, in International Workshop on Embedded Software. Lecture Notes in Computer Science, vol. 2211 (2001), pp. 469\u2013485"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"C. Ferdinand, R. Wilhelm, On predicting data cache behavior for real-time systems, in Proceedings of the Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), ed. by F. Mueller, A. Bestavros. Lecture Notes In Computer Science: Languages, Compilers, And Tools For Embedded Systems, vol. 1474 (Springer, Montr\u00e9al, 1998), pp. 16\u201330. \nhttps:\/\/doi.org\/10.1007\/BFb0057777","DOI":"10.1007\/BFb0057777"},{"issue":"2\u20133","key":"2_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"C. Ferdinand, R. Wilhelm, Efficient and precise cache behavior prediction for real-time systems. Real-Time Syst. 17(2\u20133), 131\u2013181 (1999)","journal-title":"Real-Time Syst."},{"key":"2_CR9","unstructured":"G. Gebhard, Static timing analysis tool validation in the presence of timing anomalies. Ph.D. thesis, Saarland University (2013). \nhttp:\/\/scidok.sulb.uni-saarland.de\/volltexte\/2013\/5558\/"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"M. Lv, N. Guan, J. Reineke, R. Wilhelm, W. Yi, A survey on static cache analysis for real-time systems. Leibniz Trans. Embedded Syst. 3(1), 5:1\u20135:48 (2016). \nhttps:\/\/doi.org\/10.4230\/LITES-v003-i001-a005","DOI":"10.4230\/LITES-v003-i001-a005"},{"key":"2_CR11","unstructured":"M. Pister, Timing model derivation\u2014pipeline analyzer generation from hardware description languages. Ph.D. thesis, Saarland University (2012)"},{"key":"2_CR12","unstructured":"M. Schlickling, Timing model derivation\u2014static analysis of hardware description languages. Ph.D. thesis, Saarland University (2013)"},{"key":"2_CR13","unstructured":"H. Theiling, Control flow graphs for real-time systems analysis. Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (2002)"},{"key":"2_CR14","unstructured":"S. Thesing, Safe and precise WCET determinations by abstract interpretation of pipeline models. Ph.D. thesis, Saarland University (2004)"},{"issue":"2\u20133","key":"2_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L Thiele","year":"2004","unstructured":"L. Thiele, R. Wilhelm, Design for timing predictability. Real-Time Syst. 28(2\u20133), 157\u2013177 (2004). \nhttps:\/\/doi.org\/10.1023\/B:TIME.0000045316.66276.6e","journal-title":"Real-Time Syst."},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"R. Wilhelm, Mixed feelings about mixed criticality (invited paper), in Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, ed. by F. Brandner, July 3, 2018, Barcelona. OASICS, vol. 63 (Schloss Dagstuhl\u2014Leibniz-Zentrum fuer Informatik, 2018), pp. 1:1\u20131:9. \nhttps:\/\/doi.org\/10.4230\/OASIcs.WCET.2018.1","DOI":"10.4230\/OASIcs.WCET.2018.1"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"R. Wilhelm, S. Altmeyer, C. Burgui\u00e8re, D. Grund, J. Herter, J. Reineke, B. Wachter, S. Wilhelm, Static timing analysis for hard real-time systems, in Proceedings of the 11th International Conference Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, ed. by G. Barthe, M.V. Hermenegildo, Madrid, January 17\u201319, 2010. Lecture Notes in Computer Science, vol. 5944 (Springer, Berlin, 2010), pp. 3\u201322. \nhttps:\/\/doi.org\/10.1007\/978-3-642-11319-2_3","DOI":"10.1007\/978-3-642-11319-2_3"},{"issue":"7","key":"2_CR18","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1109\/TCAD.2009.2013287","volume":"28","author":"R Wilhelm","year":"2009","unstructured":"R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, C. Ferdinand, Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. IEEE Trans. CAD Integr. Circuits Syst. 28(7), 966\u2013978 (2009). \nhttps:\/\/doi.org\/10.1109\/TCAD.2009.2013287","journal-title":"IEEE Trans. CAD Integr. Circuits Syst."}],"container-title":["A Journey of Embedded and Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-47487-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T10:18:41Z","timestamp":1596104321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-47487-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,31]]},"ISBN":["9783030474867","9783030474874"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-47487-4_2","relation":{},"subject":[],"published":{"date-parts":[[2020,7,31]]},"assertion":[{"value":"31 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}