{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:22Z","timestamp":1740098902236,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319605876"},{"type":"electronic","value":"9783319605883"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60588-3_15","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:35:27Z","timestamp":1496046927000},"page":"233-249","source":"Crossref","is-referenced-by-count":2,"title":["Software Time Reliability in the Presence of Cache Memories"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Milutinovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irune","family":"Agirre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikel","family":"Azkarate-Askasua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abella, J., Hardy, D., Puaut, I., Quiones, E., Cazorla, F.J.: On the comparison of deterministic and probabilistic WCET estimation techniques. In: 2014 26th Euromicro Conference on Real-Time Systems, pp. 266\u2013275, July 2014","DOI":"10.1109\/ECRTS.2014.16"},{"key":"15_CR2","unstructured":"Abella, J., Padilla, M., del Castillo, J., Cazorla, F.: Measurement-based worst-case execution time estimation using the coefficient of variation. ACM Trans. Des. Autom. Electron. Syst. (to appear)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Abella, J., Quiones, E., Wartel, F., Vardanega, T., Cazorla, F.J.: Heart of gold: Making the improbable happen to increase confidence in MBPTA. In: 2014 26th Euromicro Conference on Real-Time Systems, pp. 255\u2013265, July 2014","DOI":"10.1109\/ECRTS.2014.33"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Altmeyer, S., Davis, R.I.: On the correctness, optimality and precision of static probabilistic timing analysis. In: 2014 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1\u20136, March 2014","DOI":"10.7873\/DATE2014.039"},{"key":"15_CR5","unstructured":"Bernat, G., Burns, A., Newby, M.: Probabilistic timing analysis: an approach using copulas. J. Embed. Comput. 1(2), 179\u2013194 (2005). http:\/\/content.iospress.com\/articles\/journal-of-embedded-computing\/jec00014"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cucu-Grosjean, L., Santinelli, L., Houston, M., Lo, C., Vardanega, T., Kosmidis, L., Abella, J., Mezzetti, E., Quiones, E., Cazorla, F.J.: Measurement-based probabilistic timing analysis for multi-path programs. In: 2012 24th Euromicro Conference on Real-Time Systems, pp. 91\u2013101, July 2012","DOI":"10.1109\/ECRTS.2012.31"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Edgar, S., Burns, A.: Statistical analysis of WCET for scheduling. In: Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), pp. 215\u2013224, December 2001","DOI":"10.1109\/REAL.2001.990614"},{"key":"15_CR8","unstructured":"Hansen, J.P., Hissam, S.A., Moreno, G.A.: Statistical-based WCET estimation and validation. In: Holsti, N. (ed.) 9th International Workshop on Worst-Case Execution Time Analysis, WCET 2009, OASICS, Dublin, Ireland, 1\u20133 July 2009, vol. 10. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2009\/2291"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hernandez, C., Abella, J., Gianarro, A., Andersson, J., Cazorla, F.J.: Random modulo: a new processor cache design for real-time critical systems. In: 2016 53nd ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 1\u20136, June 2016","DOI":"10.1145\/2897937.2898076"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Jalle, J., Kosmidis, L., Abella, J., Quiones, E., Cazorla, F.J.: Bus designs for time-probabilistic multicore processors. In: 2014 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1\u20136, March 2014","DOI":"10.7873\/DATE2014.063"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., Abella, J., Quiones, E., Cazorla, F.J.: A cache design for probabilistically analysable real-time systems. In: 2013 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 513\u2013518, March 2013","DOI":"10.7873\/DATE.2013.116"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., Curtsinger, C., Quiones, E., Abella, J., Berger, E., Cazorla, F.J.: Probabilistic timing analysis on conventional cache designs. In: 2013 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 603\u2013606, March 2013","DOI":"10.7873\/DATE.2013.132"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., Quiones, E., Abella, J., Vardanega, T., Broster, I., Cazorla, F.J.: Measurement-based probabilistic timing analysis and its impact on processor architecture. In: 2014 17th Euromicro Conference on Digital System Design, pp. 401\u2013410, August 2014","DOI":"10.1109\/DSD.2014.50"},{"key":"15_CR14","unstructured":"Kotz, S., Nadarajah, S.: Extreme Value Distributions: Theory and Applications. EBL-Schweitzer, Imperial College Press (2000). https:\/\/books.google.es\/books?id=tKlgDQAAQBAJ"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Lima, G., Dias, D., Barros, E.: Extreme value theory for estimating task execution time bounds: a careful look. In: 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), pp. 200\u2013211, July 2016","DOI":"10.1109\/ECRTS.2016.20"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Mezzetti, E., Vardanega, T.: A rapid cache-aware procedure positioning optimization to favor incremental development. In: 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 107\u2013116, April 2013","DOI":"10.1109\/RTAS.2013.6531084"},{"key":"15_CR17","unstructured":"Mezzetti, E., Ziccardi, M., Vardanega, T., Abella, J., Quiones, E., Cazorla, F.: Randomized caches can be pretty useful to hard real-time systems. Leibniz Trans. Embed. Syst. 2(1), 01:1\u201301:10 (2015). http:\/\/ojs.dagstuhl.de\/index.php\/lites\/article\/view\/LITES-v002-i001-a001"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Milutinovic, S., Abella, J., Cazorla, F.J.: Modelling probabilistic cache representativeness in the presence of arbitrary access patterns. In: 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC), pp. 142\u2013149, May 2016","DOI":"10.1109\/ISORC.2016.28"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Poovey, J.A., Conte, T.M., Levy, M., Gal-On, S.: A benchmark characterization of the eembc benchmark suite. IEEE Micro 29(5), 18\u201329. http:\/\/dx.doi.org\/10.1109\/MM.2009.74","DOI":"10.1109\/MM.2009.74"},{"key":"15_CR20","unstructured":"Reineke, J.: Randomized caches considered harmful in hard real-time systems. Leibniz Trans. Embed. Syst. 1(1), 03:1\u201303:13 (2014). http:\/\/ojs.dagstuhl.de\/index.php\/lites\/article\/view\/LITES-v001-i001-a003"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Wartel, F., Kosmidis, L., Gogonel, A., Baldovino, A., Stephenson, Z., Triquet, B., Quiones, E., Lo, C., Mezzetta, E., Broster, I., Abella, J., Cucu-Grosjean, L., Vardanega, T., Cazorla, F.J.: Timing analysis of an avionics case study on complex hardware\/software platforms. In: 2015 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 397\u2013402, March 2015","DOI":"10.7873\/DATE.2015.0189"},{"key":"15_CR22","doi-asserted-by":"crossref","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, J., Stenstr\u00f6m, P.: The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36:1\u201336:53. http:\/\/doi.acm.org\/10.1145\/1347375.1347389","DOI":"10.1145\/1347375.1347389"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Ziccardi, M., Mezzetti, E., Vardanega, T., Abella, J., Cazorla, F.J.: Epc: extended path coverage for measurement-based probabilistic timing analysis. In: 2015 IEEE Real-Time Systems Symposium, pp. 338\u2013349, December 2015","DOI":"10.1109\/RTSS.2015.39"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60588-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T02:25:03Z","timestamp":1569378303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60588-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319605876","9783319605883"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60588-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}