{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:37Z","timestamp":1725557797044},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135491"},{"type":"electronic","value":"9783642135507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13550-7_10","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T15:14:12Z","timestamp":1276614852000},"page":"139-152","source":"Crossref","is-referenced-by-count":1,"title":["Cache-Aware Development of High-Integrity Systems"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Mezzetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Betts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Mezzetti, E., Holsti, N., Colin, A., Bernat, G., Vardanega, T.: Attacking the sources of unpredictability in the instruction cache behavior. In: Proc. of the 16th Internat. Conference on Real-Time and Network Systems, RTNS 2008 (2008)"},{"issue":"3","key":"10_CR2","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., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, G., Stenstr\u00f6em, P.: The worst-case execution time problem: overview of methods and survey of tools. Trans. on Embedded Computing Systems\u00a07(3), 1\u201353 (2008)","journal-title":"Trans. on Embedded Computing Systems"},{"key":"10_CR3","unstructured":"Rapita\u00a0Systems Ltd: RapiTime tool, \n                    \n                      http:\/\/www.rapitasystems.com\/rapitime"},{"key":"10_CR4","unstructured":"Absint GmbH: aiT WCET Analyzer, \n                    \n                      http:\/\/www.absint.com\/ait\/"},{"key":"10_CR5","unstructured":"Souyris, J., Le Pavec, E., Himbert, G., Borios, G., Jgu, V., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis (WCET) (2005)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A.: Experiences from Applying WCET Analysis in Industrial Settings. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC (2007)","DOI":"10.1109\/ISORC.2007.36"},{"key":"10_CR7","unstructured":"Vardanega, T., Bernat, G., Colin, A., Estevez, J., Garcia, G., Moreno, C., Holsti, N.: PEAL Final Report. Technical Report PEAL-FR-001, ESA\/ESTEC (2007)"},{"key":"10_CR8","unstructured":"Lundqvist, T., Stentr\u00f6m, P.: A Method to Improve the Estimated Worst-Case Performance of Data Caching. In: Proc. of the 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 1999 (1999)"},{"key":"10_CR9","unstructured":"Lokuciejewski, P., Falk, H., Marwedel, P.: Tighter WCET Estimates by Procedure Cloning. In: Proc. of the 7th Int. Workshop on Worst-Case Execution Time Analysis, WCET (2008)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Falk, H., Schwarzer, M.: Loop nest splitting for wcet-optimization and predictability improvement. In: Proc. of the 6th Int. Workshop on Worst-Case Execution Time Analysis, WCET (2006)","DOI":"10.1109\/ESTMED.2006.321283"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Puschner, P.: The Single-Path Approach towards WCET-analysable Software. In: Proc. of the IEEE Int. Conference on Industrial Technology (2003)","DOI":"10.1109\/ICIT.2003.1290740"},{"key":"10_CR12","unstructured":"ESTEREL SCADE Suite: \n                    \n                      http:\/\/www.estereltechnologies.com"},{"key":"10_CR13","unstructured":"Mathworks Simulink: \n                    \n                      http:\/\/www.mathworks.com\/products\/simulink"},{"key":"10_CR14","unstructured":"ISO SC22\/WG9: Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (2005)"},{"key":"10_CR15","unstructured":"IEEE Standard for Information Technology: Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) - Amendment 4: Additional Real-time Extensions (1999)"},{"key":"10_CR16","unstructured":"Betts, A., Colin, A., Holsti, N., Gouy, Y., Garcia, G., Moreno, C., Vardanega, T.: PEAL2 Final Report. Technical Report PEAL-FR-001, ESA\/ESTEC (2009)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Lokuciejewski, P., Falk, H., Marwedel, P.: WCET-driven Cache-based Procedure Positioning Optimizations. In: Proc. of the 20th Euromicro Conference on Real-Time Systems, ECRTS (2008)","DOI":"10.1109\/ECRTS.2008.20"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. In: Proc. of the 27th IEEE International Real-Time Systems Symposium, RTSS (2006)","DOI":"10.1109\/RTSS.2006.12"},{"key":"10_CR19","unstructured":"Universidad Polit\u00e9cnica de Madrid: GNAT\/ORK+ for LEON cross-compilation system, \n                    \n                      http:\/\/polaris.dit.upm.es\/~ork"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologiey \u2013 Ada-Europe 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13550-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:07:10Z","timestamp":1619784430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}