{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:40:02Z","timestamp":1744206002421,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_17","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"158-172","source":"Crossref","is-referenced-by-count":8,"title":["The WCET Analysis Tool CalcWcet167"],"prefix":"10.1007","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckman, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstrom, P.: The worst-case execution time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS)\u00a07(3) (April 2008)","DOI":"10.1145\/1347375.1347389"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Kirner, R., Puschner, P.: Obstacles in worst-cases execution time analysis. In: Proc. 11th IEEE International Symposium on Object-oriented Real-time Distributed Computing, Orlando, Florida, pp. 333\u2013339 (May 2008)","DOI":"10.1109\/ISORC.2008.65"},{"key":"17_CR3","unstructured":"Kirner, R.: Development and Analysis of Time-Predictable Real-Time Systems. Habilitation treatise, Technische Universit\u00e4t Wien, Vienna, Austria (February 2010)"},{"key":"17_CR4","unstructured":"Huber, B., Puffitsch, W., Puschner, P.: Towards an open timing analysis platform. In: Proc. 11th International Workshop on Worst-Case Execution Time Analysis, Porto, Portugal, OCG (July 2011)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Kirner, R., Puschner, P.: Transformation of path information for WCET analysis during compilation. In: Proc. 13th IEEE Euromicro Conference on Real-Time Systems, Delft, The Netherlands, Technical University of Delft, pp. 29\u201336 (June 2001)","DOI":"10.1109\/EMRTS.2001.933993"},{"key":"17_CR6","unstructured":"Kirner, R.: Integration of static runtime analysis and program compilation. Master\u2019s thesis, Technische Universit\u00e4t Wien, Vienna, Austria (May 2000)"},{"key":"17_CR7","unstructured":"Kirner, R.: User\u2019s Manual - WCET-Analysis Framework based on wcetC. Vienna University of Technology, Vienna, Austria. 0.0.3 edn. (July 2001), http:\/\/www.vmars.tuwien.ac.at\/~raimund\/calc_wcet\/"},{"key":"17_CR8","unstructured":"Kirner, R.: The programming language wcetC. Technical Report 02\/2002, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 1-3\/182-1, 1040 Vienna, Austria (2002)"},{"key":"17_CR9","unstructured":"Atanassov, P., Kirner, R., Puschner, P.: Using real hardware to create an accurate timing model for execution-time analysis. In: International Workshop on Real-Time Embedded Systems RTES (in Conjunction with 22nd IEEE RTSS 2001), London, UK (December 2001)"},{"key":"17_CR10","unstructured":"Atanassov, P.: Experimental Assessment of Worst-Case Program Execution Times. PhD thesis, Technische Universit\u00e4t Wien, Vienna (May 2003)"},{"key":"17_CR11","unstructured":"INFINEON: C167CR Derivatives. 16-Bit Single-Chip Microcontroller. User\u2019s Manual. Version 3.0. Infineon Technologies AG (February 2000)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Li, Y.T.S., Malik, S., Wolfe, A.: Cache modeling for real-time software: Beyond direct mapped instruction caches. In: Proc. 17th Real-Time Systems Symposium, pp. 254\u2013263. IEEE (December 1996)","DOI":"10.1109\/REAL.1996.563722"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P. Puschner","year":"1997","unstructured":"Puschner, P., Schedl, A.V.: Computing maximum task execution times \u2013 a graph-based approach. Journal of Real-Time Systems\u00a013, 67\u201391 (1997)","journal-title":"Journal of Real-Time Systems"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Kirner, R., Puschner, P.: Classification of WCET analysis techniques. In: Proc. 8th IEEE International Symposium on Object-oriented Real-time distributed Computing, Seattle, WA, pp. 190\u2013199 (May 2005)","DOI":"10.1109\/ISORC.2005.19"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Li, Y.T.S., Malik, S., Wolfe, A.: Efficient microarchitecture modeling and path analysis for real-time software. In: Proc. IEEE Real-Time Systems Symposium, pp. 298\u2013307 (December 1995)","DOI":"10.1109\/REAL.1995.495219"},{"key":"17_CR16","unstructured":"Kirner, R., Puschner, P.: Classification of code annotations and discussion of compiler-support for worst-case execution time analysis. In: Proc. 5th International Workshop on Worst-Case Execution Time Analysis, Palma, Spain (July 2005)"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/s11241-010-9091-8","volume":"45","author":"R. Kirner","year":"2010","unstructured":"Kirner, R., Puschner, P., Prantl, A.: Transforming flow information during code optimization for timing analysis. Real-Time Systems\u00a045(1), 72\u2013105 (2010)","journal-title":"Real-Time Systems"},{"issue":"9","key":"17_CR18","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Klingerman","year":"1986","unstructured":"Klingerman, E., Stoyenko, A.D.: Real-time euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering\u00a012(9), 941\u2013989 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR19","unstructured":"Kirner, R., Knoop, J., Prantl, A., Schordan, M., Wenzel, I.: WCET analysis: The annotation language challenge. In: Proc. 7th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy, pp. 83\u201399 (July 2007)"},{"issue":"3","key":"17_CR20","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s10270-010-0161-0","volume":"10","author":"R. Kirner","year":"2011","unstructured":"Kirner, R., Knoop, J., Prantl, A., Schordan, M., Kadlec, A.: Beyond loop bounds: Comparing annotation languages for worst-case execution time analysis. Software and Systems Modeling\u00a010(3), 411\u2013437 (2011)","journal-title":"Software and Systems Modeling"},{"key":"17_CR21","unstructured":"Engblom, J.: Worst-case execution time analysis for optimized code. Master\u2019s thesis, Uppsala University, Uppsala, Sweden (September 1997)"},{"key":"17_CR22","unstructured":"Engblom, J., Ermedahl, A., Altenbernd, P.: Facilitating worst-case execution time analysis for optimized code. In: Proc. 10th Euromicro Real-Time Workshop, Berlin, Germany (June 1998)"},{"key":"17_CR23","unstructured":"Schulte, D.: Flow Facts f\u00fcr WCET-optimierende Compiler: Modellierung und Transformation. VDM Verlag, Germany (2007) ISBN: 978-3836448130"},{"key":"17_CR24","unstructured":"Lokuciejewski, P.: A WCET-Aware Compiler. Design, Concepts and Realization. Vdm Verlag Dr. M\u00fcller (August 2007) ISBN: 978-3836418485"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Lokuciejewski, P., Falk, H., Marwedel, P., Theiling, H.: WCET-driven, code-size critical procedure cloning. In: Proc. 11th International Workshop on Software and Compilers for Embedded Systems, Munich, Germany, pp. 21\u201330 (March 2008)","DOI":"10.1145\/1361096.1361100"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Kirner, R., Lang, R., Freiberger, G., Puschner, P.: Fully automatic worst-case execution time analysis for Matlab\/Simulink models. In: Proc. 14th Euromicro Conference on Real-Time Systems, Vienna, Austria, Vienna University of Technology, pp. 31\u201340. IEEE (June 2002)","DOI":"10.1109\/EMRTS.2002.1019183"},{"key":"17_CR27","unstructured":"Prantl, A., Schordan, M., Knoop, J.: Tubound - a conceptually new tool for worst-case execution time analysis. In: Proc. 8th International Workshop on Worst-Case Execution Time Analysis, Prague, Czech Republic (July 2008)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Knoop, J., Kov\u00e1cs, L., Zwirchmayr, J.: Symbolic loop bound computation for wcet analysis. In: Proc. 8th Ershov Informatics Conference. PSI Conference Series (2011)","DOI":"10.1007\/978-3-642-29709-0_20"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-28717-6_34","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"J. Knoop","year":"2012","unstructured":"Knoop, J., Kov\u00e1cs, L., Zwirchmayr, J.: r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol.\u00a07180, pp. 435\u2013444. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:17:51Z","timestamp":1744204671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}