{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:18:00Z","timestamp":1758615480544,"version":"3.44.0"},"publisher-location":"New York, NY","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387722573"},{"type":"electronic","value":"9780387722580"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-0-387-72258-0_2","type":"book-chapter","created":{"date-parts":[[2007,5,4]],"date-time":"2007-05-04T18:08:07Z","timestamp":1178302087000},"page":"15-26","source":"Crossref","is-referenced-by-count":1,"title":["Using a Runtime Measurement Device with Measurement-Based WCET Analysis"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Rieder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingomar","family":"Wenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Steinhammer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Puschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"279","volume":"00","author":"G. Bernat","year":"2002","unstructured":"G. Bernat, A. Colin, and S. M. Petters. WCET Analysis of Probabilistic Hard Real-Time Systems. RTSS, 00:279, 2002.","journal-title":"RTSS"},{"key":"2_CR2","unstructured":"E. Clarke and D. Kroening. ANSI-C Bounded Model Checker User Manual. August 2 2006."},{"issue":"(7)","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1109\/JPROC.2003.814618","volume":"91","author":"R. Heckmann","year":"2003","unstructured":"R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm. The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE, 91(7):1038-1054, 2003.","journal-title":"Proceedings of the IEEE"},{"key":"2_CR4","unstructured":"H. Heinecke, K. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J. Mat\u00e9, K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture-An IndustryWide Initiative to Manage the Complexity of Emerging Automotive E\/E Architectures. Proc. Convergence, SAE-2004-21-0042, 2004."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"S. Petters. Bounding the execution time of real-time tasks on modern processors. RealTime Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on, pages 498-502, 2000.","DOI":"10.1109\/RTCSA.2000.896433"},{"key":"2_CR6","unstructured":"S. M. Petters. Comparison of trace generation methods for measurement based WCET analysis. In 3nd Intl. Workshop on Worst Case Execution Time Analysis, Porto, Portugal, July 1 2003. Satellite Workshop of the 15th Euromicro Conference on Real-Time Systems."},{"key":"2_CR7","unstructured":"Rapita Systems. Rapitime whitepaper. 2005."},{"key":"2_CR8","unstructured":"C. Thomborson and Y. Yu. MEASURING DATA CACHE AND TLB PARAMETERS UNDER LINUX. Proceedings of the 2000 Symposium on Performance Evaluation of Computer and Telecommunication Systems, pages 383-390, 2000."},{"key":"2_CR9","unstructured":"I. Wenzel. Measurement-Based Timing Analysis of Superscalar Processors. PhD thesis, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 3\/3\/182-1, 1040 Vienna, Austria, 2006."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"I. Wenzel, R. Kirner, B. Rieder, and P. Puschner. Measurement-based worst-case execution time analysis. Software Technologies for Future Embedded and Ubiquitous Systems, 2005. SEUS 2005. Third IEEE Workshop on, pages 7-10, 2005.","DOI":"10.1109\/SEUS.2005.12"},{"key":"2_CR11","unstructured":"I. Wenzel, B. Rieder, R. Kirner, and P. Puschner. Automatic timing model generation by cfg partitioning and model checking. In Proc. Conference on Design, Automation, and Test in Europe, Mar. 2005."}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded System Design: Topics, Techniques and Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-72258-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T07:07:17Z","timestamp":1758611237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-72258-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780387722573","9780387722580"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-72258-0_2","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2007]]}}}