{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:11:37Z","timestamp":1767262297378,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502510","type":"proceedings-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:20:08Z","timestamp":1542320408000},"page":"345-352","source":"Crossref","is-referenced-by-count":2,"title":["Hardware-in-the-loop based WCET analysis with KLEE"],"prefix":"10.1109","author":[{"given":"Marcus","family":"Lindner","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Aparicio","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Tjader","sequence":"additional","affiliation":[]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Eriksson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"cortex-m-rtfm-Real Time For the Masses (RTFM) framework for ARM Cortex-M microcontrollers","year":"2018","author":"aparicio","key":"ref10"},{"key":"ref11","first-page":"7","article-title":"Measurement-based worst-case execution time analysis using automatic test-data generation","author":"kirner","year":"2004","journal-title":"PROC IEEE WORKSHOP ON SOFTWARE TECH FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTS (SEUS'05"},{"journal-title":"The Rust Programming Language No Starch Pr City","year":"2017","author":"klabnik","key":"ref12"},{"key":"ref13","article-title":"scheduling of CRO systems under SRP-DM","author":"lindgren","year":"2011","journal-title":"Technical Report"},{"key":"ref14","article-title":"RTFM-lang Static Semantics for Systems with Mixed Criticality","author":"lindgren","year":"2014","journal-title":"Ada-Europe 2014 19th International Conference on Reliable Software Technologies"},{"key":"ref15","first-page":"482","article-title":"Sweet-a tool for wcet flow analysis","author":"lisper","year":"2014","journal-title":"International Symposium on Leveraging Applications of Formal Methods Verification and Validation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9050-9"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/2692956.2663188","article-title":"The rust language","volume":"34","author":"matsakis","year":"2014","journal-title":"ACM SIGAda Ada Letters"},{"key":"ref19","first-page":"53","article-title":"Multi-solver support in symbolic execution","author":"palikareva","year":"2013","journal-title":"International Conference on Computer-Aided Verification (CAV)"},{"key":"ref4","first-page":"1","article-title":"A Framework to Quantify the Overestimations of Static WCET Analysis","volume":"47","author":"cass\u00e9","year":"2015","journal-title":"15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)"},{"key":"ref3","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation OSDI'08"},{"key":"ref6","article-title":"Analysing stack usage in preemptive shared stack systems","author":"h\u00e4nninen","year":"2006","journal-title":"Technical Report ISSN 1404-3041 ISRN MDH-MRTC-202\/2006-1-SE MDH-MRTC"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011746.ch35"},{"journal-title":"The Rust Programming Language","year":"2013","author":"hoare","key":"ref8"},{"journal-title":"Worst-case execution time prediction by static program analysis","year":"0","author":"heckmann","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365393"},{"journal-title":"ARM Cortex-M4 Processor Technical Reference Manual-Revision r0pl","year":"2015","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.14"},{"key":"ref20","article-title":"Static worst-case execution time analysis tool development","author":"thomas jerabek","year":"2016","journal-title":"Proceedings of The Ninth International Conference on Dependability DEPEND 2016 IARIA"},{"journal-title":"Various contributors The rust programming language","year":"2018","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502510.pdf?arnumber=8502510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:30:12Z","timestamp":1598229012000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502510","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}