{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:26:38Z","timestamp":1743740798885,"version":"3.40.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,7,12]],"date-time":"2012-07-12T00:00:00Z","timestamp":1342051200000},"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-0248-8","type":"journal-article","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T20:36:36Z","timestamp":1342038996000},"page":"29-39","source":"Crossref","is-referenced-by-count":1,"title":["Architecture exploration and timing estimation during early design phases"],"prefix":"10.1007","volume":"15","author":[{"given":"Reinhold","family":"Heckmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefana","family":"Nenova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,12]]},"reference":[{"key":"248_CR1","unstructured":"ALL-TIMES Project. http:\/\/www.all-times.org"},{"key":"248_CR2","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: Proceedings of the 4th ACM Symposium on Principles of Programming Languages. pp. 238\u2013252, Los Angeles, California (1977)","DOI":"10.1145\/512950.512973"},{"key":"248_CR3","unstructured":"Ermedahl, A., Sandberg, C., Gustafsson, J., Bygde, S., Lisper, B.: Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In: Seventh International Workshop on Worst-Case Execution Time Analysis (WCET\u20192007), July 2007"},{"key":"248_CR4","unstructured":"Esterel Technologies. SCADE Suite. http:\/\/esterel-technologies.com\/products\/scade-suite"},{"key":"248_CR5","unstructured":"ETAS Group. ASCET Software Products. http:\/\/www.etas.com\/en\/products\/ascet_software_products.php"},{"key":"248_CR6","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)","DOI":"10.1007\/BFb0057777"},{"key":"248_CR7","unstructured":"Ferdinand, C., Heckmann, R.: aiT: Worst-case execution time prediction by static programm analysis. In: Jacquart, R. (ed.) Building the Information Society. IFIP 18th World Computer Congress, Topical Sessions, 22\u201327 August 2004, Toulouse, France, pp. 377\u2013384. Kluwer, Dordrecht (2004)"},{"key":"248_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 EMSOFT 2001, First Workshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science. pp. 469\u2013485. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45449-7_32"},{"key":"248_CR9","unstructured":"Ferdinand, C., Heckmann, R., Le Sergent, T., Lopes, D., Martin, B., Fornari, X., Martin F.: Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In: 4th European Congress ERTS Embedded Real Time Software, Toulouse, France, Jan 2008"},{"key":"248_CR10","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Heckmann, R., Wolff, H.-J., Renz, C., Gupta, M., Parshin, O., Wilhelm, R.: Towards integrating model-driven development of hard real-time systems with static program analyzers. In: SAE 2007, Detroit, USA (2007) ( http:\/\/www.sae.org\/technical\/papers\/2007-01-1495 )","DOI":"10.4271\/2007-01-1495"},{"key":"248_CR11","doi-asserted-by":"crossref","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis\u2014the SymTA\/S approach. In: IEEE Proceedings on Computers and Digital Techniques, vol. 152(2), March 2005","DOI":"10.1049\/ip-cdt:20045088"},{"issue":"5","key":"248_CR12","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph M., Pandya P.K.: Finding response times in a real-time system. Comput J 29(5), 390\u2013395 (1986)","journal-title":"Comput J"},{"key":"248_CR13","doi-asserted-by":"crossref","unstructured":"Langenbach, M., Thesing, S., Heckmann R.: Pipeline modeling for timing analysis. In: Proceedings of the 9th International Static Analysis Symposium SAS 2002, vol. 2477 of Lecture Notes in Computer Science. pp. 294\u2013309. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45789-5_22"},{"key":"248_CR14","unstructured":"Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., Gliwa, P.: Practical experiences of applying source-level WCET flow analysis to industrial code. (this volume)"},{"key":"248_CR15","unstructured":"LLNL-ROSE. http:\/\/www.rosecompiler.org"},{"key":"248_CR16","doi-asserted-by":"crossref","unstructured":"Lundquist, T., Stenstr\u00f6m, P.: Timing anomalies in dynamically scheduled microprocessors. In: Proceedings of the 20th IEEE Real-Time Systems Symposium, December 1999","DOI":"10.1109\/REAL.1999.818824"},{"issue":"1","key":"248_CR17","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/s100090050017","volume":"2","author":"F. Martin","year":"1998","unstructured":"Martin F.: PAG\u2014an efficient Program Analyzer Generator. Int. J. Softw. Tools Technol. Transf. 2(1), 46\u201367 (1998)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"248_CR18","unstructured":"Merriam, N., Gliwa, P., Broster, I.: Measurement and tracing methods for timing analysis. (this volume)"},{"key":"248_CR19","unstructured":"Merriam, N., Lisper, B.: Estimation of productivity increase. (this volume)"},{"key":"248_CR20","unstructured":"Schordan, M.: Combining tools and languages for static analysis and optimization of high-level abstractions. Technical report, TU Vienna, Austria (2007)"},{"key":"248_CR21","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":"248_CR22","unstructured":"Symtavision GmbH. SymTA\/S. http:\/\/www.symtavision.com\/symtas.html"},{"key":"248_CR23","doi-asserted-by":"crossref","unstructured":"Theiling H.: Extracting safe and precise control flow from binaries. In: Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea, IEEE Computer Society (2000)","DOI":"10.1109\/RTCSA.2000.896367"},{"key":"248_CR24","doi-asserted-by":"crossref","unstructured":"Theiling, H., Ferdinand, C.: Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 144\u2013153, Madrid, Spain, December 1998","DOI":"10.1109\/REAL.1998.739739"},{"issue":"2\u20133","key":"248_CR25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L. Thiele","year":"2004","unstructured":"Thiele L., Wilhelm R.: Design for timing predictability. Real-Time Syst. 28(2\u20133), 157\u2013177 (2004)","journal-title":"Real-Time Syst."},{"key":"248_CR26","unstructured":"XTC language specification version 2.0. http:\/\/www.absint.com\/xtc\/xtc-specification.pdf , (April 2010)"}],"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-0248-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0248-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0248-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T22:35:37Z","timestamp":1743719737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0248-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,12]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["248"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0248-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,7,12]]}}}