{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:23:19Z","timestamp":1781713399413,"version":"3.54.5"},"reference-count":49,"publisher":"IEEE","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185039","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:55:14Z","timestamp":1439506514000},"page":"1-10","source":"Crossref","is-referenced-by-count":90,"title":["WCET analysis methods: Pitfalls and challenges on their trustworthiness"],"prefix":"10.1109","author":[{"given":"Jaume","family":"Abella","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carles","family":"Hernandez","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo","family":"Qui\u00f1ones","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippa Ryan","family":"Conmy","sequence":"additional","affiliation":[{"name":"Rapita Systems Ltd."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mikel","family":"Azkarate-askasua","sequence":"additional","affiliation":[{"name":"Embedded Systems Group, IK4-Ikerlan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jon","family":"Perez","sequence":"additional","affiliation":[{"name":"Embedded Systems Group, IK4-Ikerlan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[{"name":"University of Padua"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[{"name":"University of Padua"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Randomized caches considered harmful in hard real-time systems","volume":"1","author":"reineke","year":"2014","journal-title":"Leibniz Transactions on Embedded Systems"},{"key":"ref38","year":"0","journal-title":"Rapita verification suite"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555764"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.20"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.27"},{"key":"ref30","article-title":"On the industrial fitness of WCET analysis","author":"mezzetti","year":"2011","journal-title":"WCET Workshop"},{"key":"ref37","year":"0","journal-title":"Automating WCET analysis for DO-178B\/C White Paper"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.30"},{"key":"ref35","year":"2014","journal-title":"Probabilistic real-time control of mixed-criticality multicore and manycore systems"},{"key":"ref34","article-title":"Towards modular certification of mixed-criticality product lines based on multicore and virtualization technology (IEC-61508) wind power and railway case studies","author":"perez","year":"2015","journal-title":"Workshop on Integration of mixed-criticality subsystems on multi-core and manycore processors"},{"key":"ref28","article-title":"Towards a practical WCET analysis approach based on testing","author":"lundqvist","year":"2008","journal-title":"ECRTS Work-in-progress"},{"key":"ref27","article-title":"Performance analysis of embedded software using implicit path enumeration","author":"li","year":"1995","journal-title":"DAC"},{"key":"ref29","author":"mezzetti","year":"2011","journal-title":"Cache Optimisations for LEON Analyses (COLA) Final Report Technical Report COLA-FR-001-ilrl ESA\/ESTEC"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.039"},{"key":"ref1","article-title":"Heart of gold: Making the improbable happen to extend coverage in probabilistic timing analysis","author":"abella","year":"2014","journal-title":"ECRTS"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.063"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.19"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9189-x"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.132"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.43"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659805"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.34"},{"key":"ref10","article-title":"Embedded systems at THALES: the artemis challenges for an industrial group","author":"edelin","year":"2009","journal-title":"Presentation at the ARTIST Summer School in Europe"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380389"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.24"},{"key":"ref12","year":"2012","journal-title":"P4080 QorIQ Integrated Multicore Communication Processor Family Reference Manual"},{"key":"ref13","year":"2013","journal-title":"e500mc Core Reference Manual Rev 3"},{"key":"ref14","article-title":"Personal communication from Airbus","author":"geiger","year":"2015","journal-title":"Workshop on Integration of mixed-criticality subsystems on multi-core and manycore processors"},{"key":"ref15","article-title":"Statistical-based wcet estimation and validation","author":"hansen","year":"2009","journal-title":"WCET Workshop"},{"key":"ref16","year":"2012","journal-title":"XMC4500 Microcontroller Series for Industrial Applications Reference Manual Rev 1"},{"key":"ref17","year":"2009","journal-title":"IEC 61508 Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems Edition 2 0"},{"key":"ref18","article-title":"Organization for Standardization","year":"2009","journal-title":"ISO\/DIS 262621 Road Vehicles Functional Safety"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601468"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"ref3","year":"2011","journal-title":"Cortex-R5 Technical Reference Manual Revision r1p2"},{"key":"ref6","article-title":"Upper-bounding program execution time with extreme value theory","author":"cazorla","year":"2013","journal-title":"WCET Workshop"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465796"},{"key":"ref8","article-title":"A unified WCET analysis framework for multicore platforms","author":"chattopadhyay","year":"2012","journal-title":"RTAS"},{"key":"ref7","year":"2001","journal-title":"Railway Application - Software for Railway Control and Protection System"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601497"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622975"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref47","author":"wenzel","year":"2006","journal-title":"Measurement-based timing analysis of superscalar processors"},{"key":"ref42","article-title":"Fault tolerant architectures for space and avionics","author":"siewiorek","year":"2006","journal-title":"Workshop on Dependability in Robotics and Autonomous Systems"},{"key":"ref41","year":"2011","journal-title":"DO-178C\/ED-12C Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref44","article-title":"Computing the worst case execution time of an avionics program by abstract interpretation","author":"souyris","year":"2005","journal-title":"WCET Workshop"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593235"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","location":"Siegen, Germany","start":{"date-parts":[[2015,6,8]]},"end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185039.pdf?arnumber=7185039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T17:12:39Z","timestamp":1747761159000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185039","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}