{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:37:37Z","timestamp":1673415457144},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T00:00:00Z","timestamp":1343088000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s10009-012-0255-9","type":"journal-article","created":{"date-parts":[[2012,7,23]],"date-time":"2012-07-23T20:16:44Z","timestamp":1343074604000},"page":"53-63","source":"Crossref","is-referenced-by-count":3,"title":["Practical experiences of applying source-level WCET flow analysis to industrial code"],"prefix":"10.1007","volume":"15","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Ermedahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Schreiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Knoop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Gliwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,24]]},"reference":[{"key":"255_CR1","doi-asserted-by":"crossref","unstructured":"Barkah, D., Ermedahl, A., Gustafsson, J., Lisper, B., Sandberg, C.: Evaluation of automatic flow analysis for WCET calculation on industrial real-time system code. In: Burns, A. (ed.) Proceedings of 20th Euromicro Conference on Real-Time Systems, pp. 331\u2013340 (2008)","DOI":"10.1109\/ECRTS.2008.37"},{"key":"255_CR2","doi-asserted-by":"crossref","unstructured":"Bessey A., Block K., Chelf B., Chou A., Fulton B., Hallem S., Henri-Gros C., Kamsky A., McPeak S., Engler D.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): (2010)","DOI":"10.1145\/1646353.1646374"},{"key":"255_CR3","doi-asserted-by":"crossref","unstructured":"Byhlin, S., Ermedahl, A., Gustafsson, J., Lisper, B.: Applying static WCET analysis to automotive communication software. In: Proceedings of 17th Euromicro Conference on Real-Time Systems (ECRTS\u201905) (2005)","DOI":"10.1109\/ECRTS.2005.7"},{"key":"255_CR4","unstructured":"Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J., Lisper, B.: Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system. In: Pettersson, P., Yi, W. (ed.) Proceedings of 2nd International Workshop on Real-Time Tools, Copenhagen (2002)"},{"key":"255_CR5","unstructured":"CIL infrastructure for C program analysis and transformation (2010) http:\/\/manju.cs.berkeley.edu\/cil"},{"key":"255_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTR\u00c9E analyzer. In: Sagiv, M. (ed.) Proceedings of 14th European Symposium on Programming. Lecture Notes in Computer Sci., vol. 3444, pp. 21\u201330. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"255_CR7","doi-asserted-by":"crossref","unstructured":"Emanuelsson, P., Nilsson, U.: A comparative study of industrial static analysis tools (extended version). Technical report, Link\u00f6ping University (2008)","DOI":"10.1016\/j.entcs.2008.06.039"},{"key":"255_CR8","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Proceedings of 1st International Workshop on Embedded Systems (EMSOFT2001), LNCS, vol. 2211 (2001)","DOI":"10.1007\/3-540-45449-7_32"},{"key":"255_CR9","unstructured":"Gustafsson, J.: SWEET manual, 2011. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet\/manual\/"},{"key":"255_CR10","unstructured":"Gustafsson, J., Ermedahl, A., Lisper, B., Sandberg, C., K\u00e4llberg L.: ALF\u2014a language for WCET flow analysis. In: Holsti, N. (ed.) Proceedings of 9th International Workshop on Worst-Case Execution Time Analysis (WCET\u20192009), pp. 1\u201311, Dublin, Ireland (2009)"},{"key":"255_CR11","unstructured":"Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In: Proceedings of 27th IEEE Real-Time Systems Symposium (RTSS\u201906), pp. 57\u201366, Rio de Janeiro, Brazil, Dec. (2006). IEEE Computer Society"},{"issue":"2\u20133","key":"255_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1008189014032","volume":"18","author":"C. Healy","year":"2000","unstructured":"Healy C., Sj\u00f6din M., Rustagi V., Whalley D., van Engelen R.: Supporting timing analysis by automatic bounding of loop iterations. J. Real-Time Syst. 18(2\u20133), 129\u2013156 (2000)","journal-title":"J. Real-Time Syst."},{"key":"255_CR13","unstructured":"Heckmann, R., Ferdinand, C., K\u00e4stner, D., Nenova, S.: Architecture exploration and timing estimation during early design phases (this volume)"},{"key":"255_CR14","unstructured":"Holsti, N., L\u00e5ngbacka, T., Saarinen, S.: Using a worst-case execution-time tool for real-time verification of the DEBIE software. In: Proceedings of DASIA 2000 Conference (Data Systems in Aerospace 2000, ESA SP-457) (2000)"},{"key":"255_CR15","unstructured":"Holsti, N., L\u00e5ngbacka, T., Saarinen, S.: Worst-case execution-time analysis for digital signal processors. In: Proceedings of EUSIPCO 2000 Conference (X European Signal Processing Conference) (2000)"},{"key":"255_CR16","unstructured":"Kirner, R.: Extending Optimising Compilation to Support Worst-Case Execution Time Analysis. PhD thesis, Technische Universit\u00e4t Wien, Vienna, Austria (2003)"},{"key":"255_CR17","unstructured":"Kirner, R., Knoop, J., Prantl, A., Schordan, M., Wenzel, I.: WCET analysis: the annotation language challenge. In: Rochange, C. (ed.) Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis (WCET\u20192007), pp. 83\u201399, Pisa, Italy (2007)"},{"key":"255_CR18","unstructured":"Levine, J.: Linkers and Loaders. Morgan Kaufmann, 2000. ISBN 1-55860-496-0"},{"key":"255_CR19","unstructured":"Lisper, B.: The ALL-TIMES project: Introduction and overview (this volume)"},{"key":"255_CR20","unstructured":"Merriam, N., Lisper, B.: Estimation of productivity increase for timing analysis tool chains (this volume)"},{"key":"255_CR21","doi-asserted-by":"crossref","unstructured":"Montag, P., Goerzig, S., Levi, P.: Challenges of timing verification tools in the automotive domain. In: Margaria, T., Philippou, A., Steffen, B. (ed.) Proceedings of 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA\u201906), Paphos, Cyprus (2006)","DOI":"10.1109\/ISoLA.2006.52"},{"key":"255_CR22","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Berlin. ISBN 3-540-65410-0 (2005)"},{"key":"255_CR23","unstructured":"Prantl, A., Schordan, M., Knoop, J.: TuBound\u2014a conceptually new tool for worst-case execution time analysis. In: Kirner, R. (ed.) Proceedings of 8th International Workshop on Worst-Case Execution Time Analysis (WCET\u20192008), pp. 141\u2013148, Prague, Czech Republic (2008)"},{"key":"255_CR24","unstructured":"Rodriguez, M., Silva, N., Esteves, J., Henriques, L., Costa, D., Holsti, N., Hjortnaes, K.: Challenges in calculating the WCET of a complex on-board satellite application. In: Proceedings of 3rd International Workshop on Worst-Case Execution Time Analysis (WCET\u20192003), Porto (2003)"},{"key":"255_CR25","unstructured":"Rose http:\/\/www.rosecompiler.org (2012)"},{"key":"255_CR26","unstructured":"Sandell, D., Ermedahl, A., Gustafsson, J., Lisper, B.: Static timing analysis of real-time operating system code. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA\u201904), (2004)"},{"key":"255_CR27","unstructured":"Schreiner, D., Barany, G., Schordan, M., Knoop, J.: Comparison of type-based vs. alias-based component recognition for interface-level timing annotations (this volume)"},{"key":"255_CR28","doi-asserted-by":"crossref","unstructured":"Sehlberg, D., Ermedahl, A., Gustafsson, J., Lisper, B., Wiegratz, S.: Static WCET analysis of real-time task-oriented code in vehicle control systems. In: Margaria, T., Philippou, A., Steffen, B. (eds.) Proceedings of 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA\u201906), Paphos, Cyprus (2006)","DOI":"10.1109\/ISoLA.2006.63"},{"key":"255_CR29","unstructured":"Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., Ferdinand, C.: An abstract interpretation-based timing validation of hard real-time avionics software. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2003) (2003)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0255-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0255-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0255-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T15:50:35Z","timestamp":1561996235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0255-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,24]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["255"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0255-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,24]]}}}