{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:10:48Z","timestamp":1767262248901},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489283"},{"type":"electronic","value":"9783540489290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11925040_10","type":"book-chapter","created":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T05:15:01Z","timestamp":1162358101000},"page":"146-160","source":"Crossref","is-referenced-by-count":14,"title":["Static Timing Analysis of Real-Time Operating System Code"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Sandell","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Ermedahl","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Gustafsson","sequence":"additional","affiliation":[]},{"given":"Bj\u00f6rn","family":"Lisper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Ganssle, J.: Really Real-Time Systems. In: Proc. Embedded Systems Conference San Fransisco 2001 (2001)"},{"key":"10_CR2","unstructured":"Ive, A.: Runtime Performance Evaluation of Embedded Software. In: 8th Nordic Workshop on Programming Enviroment Research (1998)"},{"key":"10_CR3","unstructured":"Stewart, D.B.: Measuring Execution Time and Real-Time Performance. In: Proc. of the Embedded Systems Conference (ESCSF 2002) (2002)"},{"key":"10_CR4","unstructured":"AbsInt: AbsInt company homepage (2005), http:\/\/www.absint.com"},{"key":"10_CR5","unstructured":"Bound-T tool homepage (2006), http:\/\/www.tidorum.fi\/bound-t\/"},{"key":"10_CR6","unstructured":"Enea: Enea Embedded Technology homepage (2005), http:\/\/www.enea.com"},{"key":"10_CR7","volume-title":"Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS 2001)","author":"R. Kirner","year":"2001","unstructured":"Kirner, R., Puschner, P.: Transformation of Path Information for WCET Analysis during Compilation. In: Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS 2001). IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"10_CR8","unstructured":"Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, Dept.of Information Technology, Box 325, Uppsala, Sweden (2003)"},{"key":"10_CR9","unstructured":"Ferdinand, C., Heckmann, R., Theiling, H.: Convenient User Annotations for a WCET Tool. In: Proc.3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003) (2003)"},{"key":"10_CR10","unstructured":"Gustafsson, J.: Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Dept.of Information Technology, Uppsala University (2000)"},{"key":"10_CR11","unstructured":"Healy, C., Sj\u00f6din, M., Rustagi, V., Whalley, D.: Bounding Loop Iterations for Timing Analysis. In: Proc.4th IEEE Real-Time Technology and Applications Symposium (RTAS 1998) (1998)"},{"key":"10_CR12","unstructured":"Holsti, N., L\u00e5ngbacka, T., Saarinen, S.: Worst-Case Execution-Time Analysis for Digital Signal Processors. In: Proc. EUSIPCO 2000 Conference (X European Signal Processing Conference) (2000)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: The Influence of Processor Architecture on the Design and the Results of WCET Tools. In: IEEE Proceedings on Real-Time Systems (2003)","DOI":"10.1109\/JPROC.2003.814618"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Engblom, J.: Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction. In: Proc. 8th IEEE Real-Time\/Embedded Technology and Applications Symposium (RTAS 2003) (2003)","DOI":"10.1109\/RTTAS.2003.1203047"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Healy, C., Arnold, R., M\u00fcller, F., Whalley, D., Harmon, M.: Bounding Pipeline and Instruction Cache Performance. IEEE Transactions on Computers\u00a048 (1999)","DOI":"10.1109\/12.743411"},{"key":"10_CR16","unstructured":"Engblom, J.: Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, Dept.of Information Technology, Box 337, Uppsala, Sweden (2002), ISBN 91-554-5228-0"},{"key":"10_CR17","unstructured":"Ferdinand, C., Martin, F., Wilhelm, R.: Applying Compiler Techniques to Cache Behavior Prediction. In: Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS 1997) (1997)"},{"key":"10_CR18","unstructured":"Holsti, N., L\u00e5ngbacka, T., Saarinen, S.: Using a worst-case execution-time tool for real-time verification of the DEBIE software. In: Proc. DASIA 2000 Conference (Data Systems in Aerospace 2000, ESA SP-457) (2000)"},{"key":"10_CR19","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: Proc.3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003) (2003)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","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: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 469. Springer, Heidelberg (2001)"},{"key":"10_CR21","doi-asserted-by":"crossref","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: Proc. of the IEEE International Conference on Dependable Systems and Networks (DSN-2003) (2003)","DOI":"10.1109\/DSN.2003.1209972"},{"key":"10_CR22","unstructured":"Ermedahl, A., Gustafsson, J., Lisper, B.: Experiences from Industrial WCET Analysis Case Studies. In: Proc. 5th International Workshop on Worst-Case Execution Time Analysis (WCET 2005), pp. 19\u201322 (2005)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Byhlin, S., Ermedahl, A., Gustafsson, J., Lisper, B.: Applying Static WCET Analysis to Automotive Communication Software. In: Proc. 17th Euromicro Conference of Real-Time Systems (ECRTS 2005), pp. 249\u2013258 (2005)","DOI":"10.1109\/ECRTS.2005.7"},{"key":"10_CR24","volume-title":"Proc. 5th IEEE Real-Time Technology and Applications Symposium (RTAS 1999)","author":"J. Engblom","year":"1999","unstructured":"Engblom, J.: Static Properties of Embedded Real-Time Programs, and Their Implications for Worst-Case Execution Time Analysis. In: Proc. 5th IEEE Real-Time Technology and Applications Symposium (RTAS 1999). IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"10_CR25","unstructured":"Sandberg, C.: Inspection of Industrial Code for Syntactical Loop Analysis. In: Proc. 3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003) (2003)"},{"key":"10_CR26","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: Proc. 2nd International Workshop on Real-Time Tools (RT-TOOLS 2002) (2002)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Colin, A., Puaut, I.: Worst-Case Execution Time Analysis for the RTEMS Real-Time Operating System. In: Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS 2001) (2001)","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"10_CR28","unstructured":"Lisper, B.: Personal communication with C. Ferdinand at AbsInt (2004)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. 4th ACM Symposium on Principles of Programming Languages, Los Angeles, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"10_CR30","unstructured":"Sandell, D.: Evaluating Static Worst Case Execution Time Analysis for a Commercial Real-Time Operating System. Master\u2019s thesis, Mlardalen University, Vsters, Sweden (2004)"},{"key":"10_CR31","unstructured":"Lisper, B.: Fully Automatic, Parametric Worst-Case Execution Time Analysis. In: Gustafsson, J. (ed.) Proc. 3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003), Porto, pp. 77\u201380 (2003)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11925040_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:43Z","timestamp":1605643183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11925040_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489283","9783540489290"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11925040_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}