{"id":"https://openalex.org/W1849742319","doi":"https://doi.org/10.1109/ipdps.2003.1213515","title":"Replay debugging of real-time systems using time machines","display_name":"Replay debugging of real-time systems using time machines","publication_year":2004,"publication_date":"2004-03-22","ids":{"openalex":"https://openalex.org/W1849742319","doi":"https://doi.org/10.1109/ipdps.2003.1213515","mag":"1849742319"},"language":"en","primary_location":{"id":"doi:10.1109/ipdps.2003.1213515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2003.1213515","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045917051","display_name":"Henrik Thane","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"H. Thane","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066654973","display_name":"Daniel Sundmark","orcid":"https://orcid.org/0000-0002-5032-2310"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"D. Sundmark","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064179470","display_name":"Joel Huselius","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"J. Huselius","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087256216","display_name":"Anders Pettersson","orcid":"https://orcid.org/0000-0002-0770-0662"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"A. Pettersson","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, Vasteras, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen Real-time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5045917051"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":null,"apc_paid":null,"fwci":3.6863,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.9254861,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":null,"first_page":"8","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.908541202545166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8658381104469299},{"id":"https://openalex.org/keywords/human-multitasking","display_name":"Human multitasking","score":0.6039117574691772},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5963752865791321},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5600214600563049},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.49078568816185},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4518314599990845},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.41690492630004883},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39875301718711853},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.380778968334198},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.371192067861557}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.908541202545166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8658381104469299},{"id":"https://openalex.org/C107418235","wikidata":"https://www.wikidata.org/wiki/Q1520565","display_name":"Human multitasking","level":2,"score":0.6039117574691772},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5963752865791321},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5600214600563049},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.49078568816185},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4518314599990845},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.41690492630004883},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39875301718711853},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.380778968334198},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.371192067861557},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ipdps.2003.1213515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2003.1213515","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W48850716","https://openalex.org/W53926580","https://openalex.org/W1877496576","https://openalex.org/W1924663050","https://openalex.org/W1973501242","https://openalex.org/W2001877551","https://openalex.org/W2028504835","https://openalex.org/W2045159786","https://openalex.org/W2096737383","https://openalex.org/W2104767177","https://openalex.org/W2105661539","https://openalex.org/W2110140003","https://openalex.org/W2116098036","https://openalex.org/W2127173779","https://openalex.org/W2127224368","https://openalex.org/W2136267798","https://openalex.org/W2140116462","https://openalex.org/W2149843953","https://openalex.org/W2154612074","https://openalex.org/W2157739289","https://openalex.org/W2160154778","https://openalex.org/W2172035080","https://openalex.org/W2188640376","https://openalex.org/W2412122876","https://openalex.org/W3137220996","https://openalex.org/W4245779357","https://openalex.org/W4248246857","https://openalex.org/W4254615111","https://openalex.org/W4285719527","https://openalex.org/W6601966005","https://openalex.org/W6602170336","https://openalex.org/W6676510900"],"related_works":["https://openalex.org/W4238897586","https://openalex.org/W435179959","https://openalex.org/W2619091065","https://openalex.org/W4388263628","https://openalex.org/W4242930893","https://openalex.org/W2059640416","https://openalex.org/W1490753184","https://openalex.org/W2284465472","https://openalex.org/W3140336604","https://openalex.org/W2230135013"],"abstract_inverted_index":{"In":[0],"this":[1,184],"paper":[2],"we":[3],"present":[4],"a":[5,37,73],"new":[6,40,43],"approach":[7],"to":[8,82,116],"deterministic":[9,46,53,95,130],"replay":[10,68,83],"using":[11,28,76],"standard":[12,24,30,80],"components.":[13],"Our":[14],"method":[15,33,202],"facilitates":[16],"cyclic":[17],"debugging":[18,120,196],"of":[19,39,55,67,110,119,129,138,179,197,200],"real-time":[20,25,121,167,198],"systems":[21,27,122,199],"with":[22],"industry":[23,29],"operating":[26,168],"debuggers.":[31],"The":[32,170],"is":[34],"based":[35,125,157],"on":[36,126,158,172],"number":[38],"techniques:":[41],"A":[42],"marker":[44],"for":[45,52,62,75,94,189,195],"differentiation":[47],"between":[48],"e.g.,":[49],"loop":[50],"iterations":[51],"reproduction":[54],"interrupts":[56],"and":[57,90,97,141,148],"task":[58],"preemptions,":[59],"an":[60,102],"algorithm":[61],"finding":[63],"well-defined":[64],"starting":[65],"points":[66],"sessions,":[69],"as":[70,72],"well":[71],"technique":[74],"conditional":[77],"breakpoints":[78],"in":[79],"debuggers":[81],"the":[84,108,117,127,177,180,201],"target":[85],"system.":[86],"We":[87],"also":[88],"propose":[89],"discuss":[91],"different":[92],"methods":[93],"monitoring,":[96],"provide":[98],"benchmarking":[99],"results":[100],"from":[101],"industrial":[103,193],"strength":[104],"case":[105],"study":[106],"demonstrating":[107],"feasibility":[109],"our":[111],"method.":[112],"Previously":[113],"published":[114],"solutions":[115],"problem":[118],"have":[123,155],"been":[124,156,187,204],"concept":[128],"replay:":[131],"where":[132],"significant":[133],"system":[134],"events":[135],"like":[136],"task-switches":[137],"multitasking":[139],"software":[140],"external":[142],"inputs":[143],"are":[144],"recorded":[145],"during":[146],"run-time,":[147],"later":[149],"replayed":[150],"(re-executed)":[151],"off-line.":[152],"Previous":[153],"works":[154],"either":[159],"non-standard":[160,173],"hardware,":[161],"specially":[162],"designed":[163],"compilers":[164],"or":[165],"modified":[166],"systems.":[169],"reliance":[171],"components":[174],"has":[175,186,203],"limited":[176],"success":[178],"approach.":[181],"Even":[182],"though":[183],"idea":[185],"around":[188],"20":[190],"years,":[191],"no":[192],"application":[194],"presented.":[205]},"counts_by_year":[{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}