{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:27:54Z","timestamp":1766485674525},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"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":[[2010,11]]},"DOI":"10.1109\/tii.2010.2068304","type":"journal-article","created":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T19:38:57Z","timestamp":1283369937000},"page":"652-663","source":"Crossref","is-referenced-by-count":31,"title":["Time-Aware Instrumentation of Embedded Software"],"prefix":"10.1109","volume":"6","author":[{"given":"Sebastian","family":"Fischmeister","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.169"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.12"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453146"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1145\/989393.989446","article-title":"atom a system for building customized program analysis tools","volume":"39","author":"srivastava","year":"2004","journal-title":"SIGPLAN Not"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"ref11","author":"liu","year":"2000","journal-title":"Real-Time Systems"},{"key":"ref12","author":"holzmann","year":"2003","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref13","first-page":"92","article-title":"A study of the allocation behavior of the SPECjvm98 Java benchmarks","author":"dieckmann","year":"1999","journal-title":"Proc ECOOP 1999"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref15","author":"de kock","year":"2009","journal-title":"Small-ffs"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"ref18","first-page":"211","article-title":"replay debugging of complex real-time systems: experiences from two industrial case studies","author":"sundmark","year":"2003","journal-title":"Proc 5th Int Workshop on Algorithmic and Automated Debugging (AADEBUG03)"},{"key":"ref19","author":"thane","year":"2000","journal-title":"Monitoring testing and debugging of distributed real-time systems"},{"key":"ref28","article-title":"instrumentation and optimization of win32\/intel executables using etch","author":"romer","year":"1997","journal-title":"Windows NT Workshop"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/289524.289525"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/207110.207163","article-title":"eel: machine-independent executable editing","author":"larus","year":"1995","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation (PLDI)"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1201\/9781482295603","author":"labrosse","year":"2002","journal-title":"MicroC\/OS-II The Real-Time Kernel"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.41"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266640"},{"key":"ref5","first-page":"10-1","author":"fischmeister","year":"2007","journal-title":"Handbook on Real-Time Systems"},{"key":"ref8","year":"2008","journal-title":"OpenEC Project Site"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref2","first-page":"1","article-title":"instrumentation and optimization of win32\/intel executables using etch","author":"romer","year":"1997","journal-title":"Proc USENIX Windows NT Workshop"},{"key":"ref9","year":"2008","journal-title":"SDCCSmall Device C Compiler"},{"key":"ref1","first-page":"327","article-title":"an overview of aspectj","volume":"2072","author":"kiczales","year":"2001","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903895"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0141-9331(94)90038-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"ref23","first-page":"143","author":"dodd","year":"1995","journal-title":"Monitoring and Debugging Distributed Real-Time Programs"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/5605856\/05559440.pdf?arnumber=5559440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T01:23:59Z","timestamp":1711761839000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5559440\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":33,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tii.2010.2068304","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11]]}}}