{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:33Z","timestamp":1750220613100,"version":"3.41.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T00:00:00Z","timestamp":1491868800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["611085"],"award-info":[{"award-number":["611085"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006280","name":"Ministerio de Ciencia y Tecnolog\u00eda","doi-asserted-by":"publisher","award":["TIN2015-65316-P"],"award-info":[{"award-number":["TIN2015-65316-P"]}],"id":[{"id":"10.13039\/501100006280","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Horizon 2020 (BE)","award":["687698"],"award-info":[{"award-number":["687698"]}]},{"DOI":"10.13039\/501100007136","name":"Secretar\u00eda de Estado de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["RYC-2013-14717"],"award-info":[{"award-number":["RYC-2013-14717"]}],"id":[{"id":"10.13039\/501100007136","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Embedded Systems"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s13639-017-0076-8","type":"journal-article","created":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T03:58:00Z","timestamp":1491883080000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the assessment of probabilistic WCET estimates reliability for arbitrary programs"],"prefix":"10.1186","volume":"2017","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":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,11]]},"reference":[{"key":"76_CR1","unstructured":"SAE International; ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. http:\/\/standards.sae.org\/arp4761\/ . Accessed 4 Apr 2016."},{"key":"76_CR2","unstructured":"ISO\/DIS 26262. Road Vehicles \u2013 Functional Safety, 1st edn. (International Organization for Standardization, Geneva, 2011)."},{"issue":"3","key":"76_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, G Bernat, C Ferdinand, R Heckmann, T Mitra, F Mueller, I Puaut, P Puschner, J Staschulat, P Stenstr\u00f6m, The worst-case execution-time problem\u2014overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36\u201313653 (2008). doi: 10.1145\/1347375.1347389 .","journal-title":"ACM Trans. Embed. Comput. Syst"},{"key":"76_CR4","doi-asserted-by":"crossref","unstructured":"S Law, I Bate, in 2016 28th Euromicro Conference on Real-Time Systems (ECRTS). Achieving appropriate test coverage for reliable measurement-based timing analysis, (2016), pp. 189\u2013199. doi: 10.1109\/ECRTS.2016.21 .","DOI":"10.1109\/ECRTS.2016.21"},{"key":"76_CR5","doi-asserted-by":"crossref","unstructured":"L Cucu-Grosjean, L Santinelli, M Houston, C Lo, T Vardanega, L Kosmidis, J Abella, E Mezzetti, E Qui\u00f1ones, FJ Cazorla, in 2012 24th Euromicro Conference on Real-Time Systems. Measurement-based probabilistic timing analysis for multi-path programs, (2012), pp. 91\u2013101. doi: 10.1109\/ECRTS.2012.31 .","DOI":"10.1109\/ECRTS.2012.31"},{"key":"76_CR6","unstructured":"W Feller, An introduction to probability theory and its applications (John Wiley and sons, 1967). https:\/\/books.google.es\/books?id=nLgdAQAAMAAJ ."},{"key":"76_CR7","doi-asserted-by":"publisher","DOI":"10.1142\/p191","volume-title":"Extreme value distributions: theory and applications","author":"S Kotz","year":"2000","unstructured":"S Kotz, S Nadarajah, Extreme value distributions: theory and applications (World Scientific Publications, Singapore, 2000)."},{"key":"76_CR8","doi-asserted-by":"crossref","unstructured":"L Kosmidis, E Qui\u00f1ones, J Abella, T Vardanega, I Broster, FJ Cazorla, in 17th Euromicro Conference on Digital System Design (DSD). Measurement-based probabilistic timing analysis and its impact on processor architecture, (2014), pp. 401\u2013410. doi: 10.1109\/DSD.2014.50 .","DOI":"10.1109\/DSD.2014.50"},{"key":"76_CR9","doi-asserted-by":"crossref","unstructured":"L Kosmidis, J Abella, E Qui\u00f1ones, FJ Cazorla, in Design, Automation Test in Europe Conference Exhibition (DATE), 2013. A cache design for probabilistically analysable real-time systems, (2013), pp. 513\u2013518. doi: 10.7873\/DATE.2013.116 .","DOI":"10.7873\/DATE.2013.116"},{"key":"76_CR10","doi-asserted-by":"crossref","unstructured":"J Abella, E Qui\u00f1ones, F Wartel, T Vardanega, FJ Cazorla, in 26th Euromicro Conference on Real-Time Systems. Heart of gold: making the improbable happen to increase confidence in mbpta, (2014), pp. 255\u2013265. doi: 10.1109\/ECRTS.2014.33 .","DOI":"10.1109\/ECRTS.2014.33"},{"issue":"1","key":"76_CR11","first-page":"03","volume":"1","author":"J Reineke","year":"2014","unstructured":"J Reineke, Randomized caches considered harmful in hard real-time systems. Leibniz Trans. Embed. Syst.1(1), 03\u201310313 (2014).","journal-title":"Leibniz Trans. Embed. Syst."},{"issue":"1","key":"76_CR12","first-page":"01","volume":"2","author":"E Mezzetti","year":"2015","unstructured":"E Mezzetti, M Ziccardi, T Vardanega, J Abella, E Qui\u00f1ones, F Cazorla, Randomized caches can be pretty useful to hard real-time systems. Leibniz Trans. Embed. Syst.2(1), 01\u201310110 (2015).","journal-title":"Leibniz Trans. Embed. Syst."},{"key":"76_CR13","doi-asserted-by":"crossref","unstructured":"P Benedicte, L Kosmidis, E Quinones, J Abella, FJ Cazorla, in 11th IEEE Symposium on Industrial Embedded Systems (SIES). Modelling the confidence of timing analysis for time randomised caches, (2016), pp. 1\u20138. doi: 10.1109\/SIES.2016.7509421 .","DOI":"10.1109\/SIES.2016.7509421"},{"key":"76_CR14","doi-asserted-by":"crossref","unstructured":"P Benedicte, L Kosmidis, E Quinones, J Abella, FJ Cazorla, in 2016 IEEE 14th International Conference on Industrial Informatics (INDIN). A confidence assessment of WCET estimates for software time randomized caches, (2016), pp. 90\u201397. doi: 10.1109\/INDIN.2016.7819140 .","DOI":"10.1109\/INDIN.2016.7819140"},{"issue":"5","key":"76_CR15","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MM.2009.74","volume":"29","author":"JA Poovey","year":"2009","unstructured":"JA Poovey, TM Conte, M Levy, S Gal-On, A Benchmark Characterization of the EEMBC Benchmark Suite. IEEE Micro. 29(5), 18\u201329 (2009). doi: 10.1109\/MM.2009.74 .","journal-title":"IEEE Micro"},{"key":"76_CR16","doi-asserted-by":"crossref","unstructured":"F Wartel, L Kosmidis, A Gogonel, A Baldovino, Z Stephenson, B Triquet, E Qui\u00f1ones, C Lo, E Mezzetta, I Broster, J Abella, L Cucu-Grosjean, T Vardanega, FJ Cazorla, in Design, Automation Test in Europe Conference Exhibition (DATE). Timing analysis of an avionics case study on complex hardware\/software platforms, (2015), pp. 397\u2013402. doi: 10.7873\/DATE.2015.0189 .","DOI":"10.7873\/DATE.2015.0189"},{"key":"76_CR17","volume-title":"20th Data Systems In Aerospace Conference (DASIA)","author":"C Hernandez","year":"2015","unstructured":"C Hernandez, J Abella, FJ Cazorla, J Andersson, A Gianarro, in 20th Data Systems In Aerospace Conference (DASIA). Towards making a LEON3 multicore compatible with probabilistic timing analysis (ASD-EUROSPACEBrussels, 2015)."},{"key":"76_CR18","unstructured":"J Gustafsson, A Betts, A Ermedahl, B Lisper, in 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), ed. by B Lisper. The M\u00e4lardalen WCET benchmarks: past, present and future (Schloss Dagstuhl\u2013Leibniz-Zentrum fuer InformatikDagstuhl, 2010), pp. 136\u2013146. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2833 . doi: 10.4230\/OASIcs.WCET.2010.136 ."},{"key":"76_CR19","volume-title":"Nonparametric statistical methods","author":"M Hollander","year":"1973","unstructured":"M Hollander, DA Wolfe, Nonparametric statistical methods (John Wiley & Sons, New York, 1973)."},{"key":"76_CR20","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-1-4612-4380-9_8","volume-title":"Breakthroughs in Statistics: Methodology and Distribution","author":"RA Fisher","year":"1992","unstructured":"RA Fisher, in Breakthroughs in Statistics: Methodology and Distribution, ed. by S Kotz, NL Johnson. The arrangement of field experiments (Springer New YorkNew York, 1992), pp. 82\u201391. doi: 10.1007\/978-1-4612-4380-9_8 ."},{"key":"76_CR21","doi-asserted-by":"crossref","unstructured":"JL Diaz, DF Garcia, K Kim, C-G Lee, LL Bello, JM Lopez, SL Min, O Mirabella, in 23rd IEEE Real-Time Systems Symposium (RTSS). Stochastic analysis of periodic real-time systems, (2002), pp. 289\u2013300. doi: 10.1109\/REAL.2002.1181583 .","DOI":"10.1109\/REAL.2002.1181583"},{"issue":"2","key":"76_CR22","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/EMC-2005-00014","volume":"1","author":"G Bernat","year":"2005","unstructured":"G Bernat, A Burns, M Newby, Probabilistic timing analysis: an approach using copulas. J. Embedded Comput.1(2), 179\u2013194 (2005).","journal-title":"J. Embedded Comput."},{"key":"76_CR23","unstructured":"JP Hansen, SA Hissam, GA Moreno, in 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1\u20133, 2009. Statistical-based WCET estimation and validation, (2009). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2009\/2291 ."},{"key":"76_CR24","doi-asserted-by":"crossref","unstructured":"S Milutinovic, J Abella, FJ Cazorla, in 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC). Modelling probabilistic cache representativeness in the presence of arbitrary access patterns, (2016), pp. 142\u2013149. doi: 10.1109\/ISORC.2016.28 .","DOI":"10.1109\/ISORC.2016.28"},{"key":"76_CR25","doi-asserted-by":"crossref","unstructured":"J Abella, D Hardy, I Puaut, E Qui\u00f1ones, FJ Cazorla, in 26th Euromicro Conference on Real-Time Systems. On the comparison of deterministic and probabilistic wcet estimation techniques, (2014), pp. 266\u2013275. doi: 10.1109\/ECRTS.2014.16 .","DOI":"10.1109\/ECRTS.2014.16"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13639-017-0076-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13639-017-0076-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13639-017-0076-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:46:53Z","timestamp":1750196813000},"score":1,"resource":{"primary":{"URL":"https:\/\/jes-eurasipjournals.springeropen.com\/articles\/10.1186\/s13639-017-0076-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,11]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["76"],"URL":"https:\/\/doi.org\/10.1186\/s13639-017-0076-8","relation":{},"ISSN":["1687-3963"],"issn-type":[{"type":"electronic","value":"1687-3963"}],"subject":[],"published":{"date-parts":[[2017,4,11]]},"article-number":"28"}}