{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T06:49:18Z","timestamp":1673678958352},"reference-count":59,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tii.2012.2187457","type":"journal-article","created":{"date-parts":[[2012,2,10]],"date-time":"2012-02-10T19:26:15Z","timestamp":1328901975000},"page":"366-377","source":"Crossref","is-referenced-by-count":12,"title":["Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation"],"prefix":"10.1109","volume":"8","author":[{"given":"Trevor","family":"Harmon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schoeberl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Kirner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Klefstad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwang H.","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael R.","family":"Lowry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.933995"},{"key":"ref32","year":"2004","journal-title":"Guidelines for the use of the C language in critical systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370346"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_29"},{"key":"ref36","article-title":"Status of the Bound-T WCET tool","author":"holsti","year":"2002","journal-title":"Proc 2nd Int Workshop on Worst-Case Execution Time Anal (WCET'02)"},{"key":"ref35","author":"dasgupta","year":"2008","journal-title":"Algorithms"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/43.664229"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1814539.1814543"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1434790.1434806"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1814539.1814544"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.08.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100054"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.fusengdes.2010.12.013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1288940.1288974"},{"key":"ref21","first-page":"39","article-title":"Industrial requirements for WCET tools: Answers to the ARTIST questionnaire","author":"wilhelm","year":"2003","journal-title":"Proc 3rd Int Workshop on Worst-Case Execution Time Anal (WCET'03)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324974"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289967"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1814539.1814548"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9024-3"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.72"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1996.509534"},{"key":"ref59","article-title":"Achieving industrial strength timing predictions of embedded system behavior","author":"nolin","year":"2008","journal-title":"Proc Int Conf Embedded Syst Appl (ESA'08)"},{"key":"ref58","first-page":"190","article-title":"Intelligent editor for writing WCET-oriented programs","author":"fauster","year":"2003","journal-title":"Proc 3rd Int Conf Embedded Softw (EMSOFT'03)"},{"key":"ref57","article-title":"Identifying opportunities for worst-case execution time reduction in an avionics system","author":"bernat","year":"2007","journal-title":"Proc 12th Int Conf Reliable Softw Technol (Ada-Europe 2007)"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.2000.848751"},{"key":"ref55","author":"bollella","year":"2000","journal-title":"The Real-Time Specification for Java"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019183"},{"key":"ref53","first-page":"123","article-title":"Consideration of optimizing compilers in the context of WCET analysis","author":"kirner","year":"2000","journal-title":"Proc Deutsche Informatiktage"},{"key":"ref52","first-page":"994","article-title":"A visual environment for the development of parallel real-time programs","volume":"1388","author":"ribeiro","year":"1998","journal-title":"Proc 12th Int Parallel Process Symp \/9th Symp Parallel Distrib Process (IPPS\/SPDP'98)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.73"},{"key":"ref11","first-page":"61","article-title":"Discussion of misconceptions about WCET analysis","author":"kirner","year":"2003","journal-title":"Proc 3rd Int Workshop on Worst-Case Execution Time Anal (WCET'03)"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1996.557827"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.08.006"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.139"},{"key":"ref14","article-title":"Merging techniques for faster derivation of WCET flow information using abstract execution","author":"gustafsson","year":"2008","journal-title":"Proc 8th Int Workshop on Worst-Case Execution Time Anal (WCET'08)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/758480"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/40.592314"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2007.06.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2008.11.021"},{"key":"ref19","first-page":"9320","article-title":"Application experiences with a real-time Java processor","author":"schoeberl","year":"2008","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.05.013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013287"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.36"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1002\/spe.968"},{"key":"ref9","author":"gamma","year":"2003","journal-title":"Contributing to Eclipse Principles Patterns and Plugins"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168033"},{"key":"ref48","author":"harmon","year":"2009","journal-title":"Interactive worst-case execution time analysis of hard real-time systems"},{"key":"ref47","first-page":"40","article-title":"Exploiting branch constraints without exhaustive path enumeration","author":"chen","year":"2005","journal-title":"Proc 5th Int Workshop on Worst-Case Execution Time Anal"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.139"},{"key":"ref41","first-page":"249","article-title":"Worst case execution time analysis for a processor with branch prediction","volume":"18","author":"colin","year":"2000","journal-title":"RTS"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-30470-8_52","volume":"3292","author":"schoeberl","year":"2004","journal-title":"On the Move to Meaningful Internet Systems 2004"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019185"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6179486\/06151137.pdf?arnumber=6151137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:54:15Z","timestamp":1633910055000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6151137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":59,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2012.2187457","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}