{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:38:55Z","timestamp":1761647935116,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243486"},{"type":"electronic","value":"9783642243493"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_6","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"123-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Parshin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lili","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Wachter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"6_CR1","first-page":"249","volume-title":"Applying static WCET analysis to automotive communication software","author":"S Byhlin","year":"2005","unstructured":"Byhlin S, Ermedahl A, Gustafsson J, Lisper B (2005) Applying static WCET analysis to automotive communication software. In: Proceedings of ECRTS, pp 249\u2013258"},{"doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp 238\u2013252, DOI\u00a0http:\/\/doi.acm.org\/10.1145\/512950.512973","key":"6_CR2","DOI":"10.1145\/512950.512973"},{"unstructured":"Engblom J (2002) Processor pipelines and static worst-case execution time analysis. PhD thesis, Uppsala University","key":"6_CR3"},{"unstructured":"Ermedahl A (2003) A modular tool architecture for worst-case execution time analysis. PhD thesis, Uppsala University","key":"6_CR4"},{"key":"6_CR5","first-page":"1298","volume-title":"Deriving annotations for tight calculation of execution time","author":"A Ermedahl","year":"1997","unstructured":"Ermedahl A, Gustafsson J (1997) Deriving annotations for tight calculation of execution time. In: Proceedings of Euro-Par, pp 1298\u20131307"},{"key":"6_CR6","first-page":"45","volume-title":"Deriving the worst-case execution time input values","author":"A Ermedahl","year":"2009","unstructured":"Ermedahl A, Fredriksson J, Gustafsson J, Altenbernd P (2009) Deriving the worst-case execution time input values. In: Proceedings of ECRTS, pp 45\u201354"},{"unstructured":"Ferdinand C (1997) Cache behavior prediction for real-time systems. PhD Thesis, Universit\u00e4t des Saarlandes","key":"6_CR7"},{"issue":"2\u20133","key":"6_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand C, Wilhelm R (1999) Efficient and precise cache behavior prediction for real-time systems. Real-Time Syst 17(2\u20133):131\u2013181","journal-title":"Real-Time Syst"},{"key":"6_CR9","first-page":"469","volume":"2211","author":"C Ferdinand","year":"2001","unstructured":"Ferdinand C, Heckmann R, Langenbach M, Martin F, Schmidt M, Theiling H, Thesing S, Wilhelm R (2001) Reliable and precise WCET determination for a real-life processor. In: Proceedings of EMSOFT, LNCS, vol 2211, pp 469\u2013485","journal-title":"Proceedings of EMSOFT, LNCS, vol"},{"key":"6_CR10","first-page":"145","volume-title":"Towards model-driven development of hard real-time systems","author":"C Ferdinand","year":"2006","unstructured":"Ferdinand C, Heckmann R, Wolff HJ, Renz C, Parshin O, Wilhelm R (2006) Towards model-driven development of hard real-time systems. In: Proceedings of ASWSD, pp 145\u2013160"},{"key":"6_CR11","volume-title":"Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables","author":"C Ferdinand","year":"2008","unstructured":"Ferdinand C, Heckmann R, Sergent TL, Lopes D, Martin B, Fornari X, Martin F (2008) Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In: Proceedings of ERTS"},{"key":"6_CR12","volume-title":"Clustering worst-case execution times for software components","author":"J Fredriksson","year":"2007","unstructured":"Fredriksson J, Nolte T, Ermedahl A, Nolin M (2007) Clustering worst-case execution times for software components. In: Proceedings of WCET"},{"key":"6_CR13","first-page":"101","volume-title":"Automatic scenario detection for improved WCET analysis","author":"SV Gheorghita","year":"2005","unstructured":"Gheorghita SV, Stuijk S, Basten T, Corporaal H (2005) Automatic scenario detection for improved WCET analysis. In: Proceedings of DAC, pp 101\u2013104"},{"key":"6_CR14","first-page":"231","volume-title":"Automated test data generation using an iterative relaxation method","author":"N Gupta","year":"1998","unstructured":"Gupta N, Mathur AP, Sofia ML (1998) Automated test data generation using an iterative relaxation method. In: Proceedings of SIGSOFT, pp 231\u2013244"},{"key":"6_CR15","first-page":"287","volume-title":"Towards a flow analysis for embedded System C programs","author":"J Gustafsson","year":"2005","unstructured":"Gustafsson J, Ermedahl A, Lisper B (2005) Towards a flow analysis for embedded System C programs. In: Proceedings of WORDS, pp 287\u2013300"},{"issue":"2\/3","key":"6_CR16","doi-asserted-by":"publisher","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 (2000) Supporting timing analysis by automatic bounding of loop iterations. J Real-Time Syst Vol. 18 (2\/3) 129\u2013156","journal-title":"J Real-Time Syst Vol."},{"key":"6_CR17","first-page":"288","volume-title":"Integrating the Timing Analysis of Pipelining and Instruction Caching","author":"CA Healy","year":"1995","unstructured":"Healy CA, Whalley DB, Harmon MG (1995) Integrating the Timing Analysis of Pipelining and Instruction Caching. In: Proceedings of RTSS, pp 288\u2013297"},{"issue":"7","key":"6_CR18","first-page":"1038","volume":"91","author":"R Heckmann","year":"2003","unstructured":"Heckmann R, Langenbach M, Thesing S, Wilhelm R (2003) The influence of processor architecture on the design and the results of WCET tools. Proc RTS 91(7):1038\u20131054","journal-title":"Proc RTS"},{"issue":"5","key":"6_CR19","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1093\/comjnl\/bxm058","volume":"52","author":"ML Ji","year":"2009","unstructured":"Ji ML, Wang J, Li S, Qi ZC (2009) Automated worst-case execution time analysis based on program modes. Comp J 52(5):530\u2013544, online 2007","journal-title":"Comp J"},{"key":"6_CR20","first-page":"173","volume-title":"Performance debugging of Esterel specifications","author":"L Ju","year":"2008","unstructured":"Ju L, Huynh BK, Roychoudhury A, Chakraborty S (2008) Performance debugging of Esterel specifications. In: Proceedings of CODES\/ISSS, pp 173\u2013178"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-88479-8_8","volume":"17","author":"D K\u00e4stner","year":"2008","unstructured":"K\u00e4stner D, Wilhelm R, Heckmann R, Schlickling M, Pister M, Jersak M, Richter K, Ferdinand C (2008) Timing validation of automotive software. In: Proceedings of ISOLA, communications in computer and information science, vol 17, pp 93\u2013107","journal-title":"Proceedings of ISOLA, communications in computer and information science, vol"},{"key":"6_CR22","first-page":"307","volume-title":"Software behavior description of real-time embedded systems in component based software development","author":"JE Kim","year":"2008","unstructured":"Kim JE, Kapoor R, Herrmann M, H\u00e4rdtlein J, Grzeschniok F, Lutz P (2008) Software behavior description of real-time embedded systems in component based software development. In: Proceedings of ISORC, pp 307\u2013311"},{"key":"6_CR23","first-page":"28","volume-title":"Extracting, specifying and predicting software system properties in component based real-time embedded software development","author":"JE Kim","year":"2009","unstructured":"Kim JE, Rogalla O, Kramer S, Hamann A (2009) Extracting, specifying and predicting software system properties in component based real-time embedded software development. In: Proceedings of ICSE, pp 28\u201338"},{"key":"6_CR24","first-page":"31","volume-title":"Fully automatic worst-case execution time analysis for Matlab\/Simulink models","author":"R Kirner","year":"2002","unstructured":"Kirner R, Lang R, Freiberger G, Puschner P (2002) Fully automatic worst-case execution time analysis for Matlab\/Simulink models. In: Proceedings of ECRTS, pp 31\u201340"},{"key":"6_CR25","first-page":"456","volume-title":"Performance analysis of embedded software using implicit path enumeration","author":"YTS Li","year":"1995","unstructured":"Li YTS, Malik S (1995) Performance analysis of embedded software using implicit path enumeration. In: Proceedings of DAC, pp 456\u2013461"},{"key":"6_CR26","first-page":"15","volume-title":"Operating mode specific WCET analysis","author":"P Lucas","year":"2009","unstructured":"Lucas P, Parshin O, Wilhelm R (2009) Operating mode specific WCET analysis. In: Proceedings of JRWRTC, pp 15\u201318"},{"key":"6_CR27","first-page":"5","volume":"3444","author":"L Mauborgne","year":"2005","unstructured":"Mauborgne L, Rival X (2005) Trace partitioning in abstract interpretation based static analyzers. In: Proceedings of ESOP, LNCS, vol 3444, pp 5\u201320","journal-title":"Proceedings of ESOP, LNCS, vol"},{"unstructured":"Pedro PSM (1999) Schedulability of mode changes in flexible real-time distributed systems. PhD thesis, University of York","key":"6_CR28"},{"issue":"6","key":"6_CR29","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1109\/3477.809041","volume":"29","author":"TV Ravi","year":"1999","unstructured":"Ravi TV, Gowda KC (1999) Clustering of symbolic objects using gravitational approach. IEEE Trans Syst, Man Cybernetics B 29(6):888\u2013894","journal-title":"IEEE Trans Syst, Man Cybernetics B"},{"unstructured":"Reineke J (2008) Caches in WCET analysis. PhD thesis, Universit\u00e4t des Saarlandes","key":"6_CR30"},{"key":"6_CR31","first-page":"39","volume-title":"Executable analysis using abstract interpretation with circular linear progressions","author":"R Sen","year":"2007","unstructured":"Sen R, Srikant YN (2007) Executable analysis using abstract interpretation with circular linear progressions. In: Proceedings of MEMOCODE, pp 39\u201348"},{"key":"6_CR32","volume-title":"Analysis of path exclusion at the machine code level","author":"I Stein","year":"2007","unstructured":"Stein I, Martin F (2007) Analysis of path exclusion at the machine code level. In: Proceedings of WCET"},{"issue":"2","key":"6_CR33","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10009-008-0095-9","volume":"11","author":"L Tan","year":"2009","unstructured":"Tan L (2009) The worst-case execution time tool challenge 2006. Int J Softw Tools Technol Transfer (STTT) 11(2):133\u2013152","journal-title":"Int J Softw Tools Technol Transfer (STTT)"},{"key":"6_CR34","first-page":"59","volume-title":"Improving timing analysis for Matlab Simulink\/Stateflow","author":"L Tan","year":"2009","unstructured":"Tan L, Wachter B, Lucas P, Wilhelm R (2009) Improving timing analysis for Matlab Simulink\/Stateflow. In: Proceedings of ACES-MB, pp 59\u201363"},{"unstructured":"Theiling H (2002a) Control flow graphs for real-time systems analysis. PhD thesis, Universit\u00e4t des Saarlandes","key":"6_CR35"},{"key":"6_CR36","first-page":"349","volume":"2491","author":"H Theiling","year":"2002","unstructured":"Theiling H (2002b) ILP-based interprocedural path analysis. In: Proceedings of EMSOFT, Springer, LNCS, vol 2491, pp 349\u2013363","journal-title":"Proceedings of EMSOFT, Springer, LNCS, vol"},{"issue":"2\/3","key":"6_CR37","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008141130870","volume":"18","author":"H Theiling","year":"2000","unstructured":"Theiling H, Ferdinand C, Wilhelm R (2000) Fast and precise WCET prediction by separated cache and path analyses. Real-Time Syst 18(2\/3):157\u2013179","journal-title":"Real-Time Syst"},{"unstructured":"Thesing S (2004) Safe and precise WCET determination by abstract interpretation of pipeline models. PhD thesis, Universit\u00e4t des Saarlandes","key":"6_CR38"},{"key":"6_CR39","first-page":"625","volume-title":"An abstract interpretation-based timing validation of hard real-time avionics software systems","author":"S Thesing","year":"2003","unstructured":"Thesing S, Souyris J, Heckmann R, Randimbivololona F, Langenbach M, Wilhelm R, Ferdinand C (2003) An abstract interpretation-based timing validation of hard real-time avionics software systems. In: Proceedings of DSN, pp 625\u2013632"},{"issue":"3","key":"6_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstr\u00f6m P (2008) The determination of worst-case execution times \u2013 overview of methods and survey of tools. ACM Trans Embedded Comput Syst (TECS) 7(3) pp.\u00a036:1\u201336:53","journal-title":"ACM Trans Embedded Comput Syst (TECS)"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T05:42:11Z","timestamp":1681796531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_6","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}