{"id":"https://openalex.org/W4414433334","doi":"https://doi.org/10.1109/fdl68117.2025.11165406","title":"ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes","display_name":"ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes","publication_year":2025,"publication_date":"2025-09-10","ids":{"openalex":"https://openalex.org/W4414433334","doi":"https://doi.org/10.1109/fdl68117.2025.11165406"},"language":"en","primary_location":{"id":"doi:10.1109/fdl68117.2025.11165406","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","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/A5010414396","display_name":"Manfred Schl\u00e4gl","orcid":"https://orcid.org/0009-0007-3275-4797"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Manfred Schl\u00e4gl","raw_affiliation_strings":["Johannes Kepler University,Institute for Complex Systems,Linz,Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119704361","display_name":"Jonas Reichhardt","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jonas Reichhardt","raw_affiliation_strings":["Johannes Kepler University,Institute for Complex Systems,Linz,Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086566894","display_name":"Daniel Gro\u00dfe","orcid":"https://orcid.org/0000-0002-1490-6175"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Daniel Gro\u00dfe","raw_affiliation_strings":["Johannes Kepler University,Institute for Complex Systems,Linz,Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010414396"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":2.5005,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91860742,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9168000221252441,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9168000221252441,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7754999995231628},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6496000289916992},{"id":"https://openalex.org/keywords/transaction-processing-system","display_name":"Transaction processing system","score":0.6464999914169312},{"id":"https://openalex.org/keywords/online-transaction-processing","display_name":"Online transaction processing","score":0.6344000101089478},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.6035000085830688},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.583299994468689},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48080000281333923},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.4799000024795532}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7754999995231628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7623000144958496},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6496000289916992},{"id":"https://openalex.org/C11354467","wikidata":"https://www.wikidata.org/wiki/Q953487","display_name":"Transaction processing system","level":4,"score":0.6464999914169312},{"id":"https://openalex.org/C191087605","wikidata":"https://www.wikidata.org/wiki/Q1501395","display_name":"Online transaction processing","level":4,"score":0.6344000101089478},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.6035000085830688},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.583299994468689},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48080000281333923},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.4799000024795532},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44670000672340393},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3662000000476837},{"id":"https://openalex.org/C4379982","wikidata":"https://www.wikidata.org/wiki/Q1273511","display_name":"Software visualization","level":5,"score":0.3555000126361847},{"id":"https://openalex.org/C127722929","wikidata":"https://www.wikidata.org/wiki/Q7833714","display_name":"Transaction data","level":3,"score":0.3538999855518341},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.3474999964237213},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.3330000042915344},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3264000117778778},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C169571997","wikidata":"https://www.wikidata.org/wiki/Q966099","display_name":"Transaction-level modeling","level":3,"score":0.2897999882698059},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.26930001378059387},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.262800008058548},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.25859999656677246}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl68117.2025.11165406","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W220440441","https://openalex.org/W1555791645","https://openalex.org/W1996847729","https://openalex.org/W2035520042","https://openalex.org/W2101006566","https://openalex.org/W2294716838","https://openalex.org/W2801292404","https://openalex.org/W2808548211","https://openalex.org/W2945056715","https://openalex.org/W3091832709","https://openalex.org/W3152327067","https://openalex.org/W4243394032","https://openalex.org/W4293261662","https://openalex.org/W4294042908","https://openalex.org/W4378801016","https://openalex.org/W4386563438","https://openalex.org/W4394698868","https://openalex.org/W4400034194","https://openalex.org/W4401568655","https://openalex.org/W4405220996","https://openalex.org/W4409282730","https://openalex.org/W4410582799","https://openalex.org/W4410583813","https://openalex.org/W4410583821","https://openalex.org/W4412544367"],"related_works":[],"abstract_inverted_index":{"Transaction-level":[0],"debugging":[1,141],"in":[2,40,60,142],"Virtual":[3],"Prototypes":[4],"(VPs)":[5],"remains":[6],"challenging":[7],"due":[8],"to":[9,108,121,153],"the":[10,27,45,71,102,124,131,148],"sheer":[11],"number":[12],"and":[13,20,74,99,120,147],"intricate":[14],"nature":[15],"of":[16,34,70,101,133],"interactions":[17],"between":[18],"software":[19,93,145],"hardware":[21],"components.":[22],"This":[23,105],"paper":[24],"presents":[25],"ProtoLens,":[26],"first":[28],"open-source":[29,46],"tool":[30],"for":[31],"dynamic":[32],"visualization":[33],"Transaction":[35,84],"Level":[36],"Modeling":[37],"(TLM)":[38],"transactions":[39],"SystemC-based":[41],"VPs.":[42],"Integrated":[43],"with":[44,77,92],"RISC-V":[47],"VP++,":[48],"ProtoLens":[49,89],"provides":[50],"an":[51],"interactive":[52],"web":[53],"front-end":[54],"that":[55],"displays":[56],"architecture-aware":[57],"transaction":[58,64,97],"flows":[59],"real-time.":[61],"It":[62],"captures":[63],"data":[65],"via":[66],"a":[67,143,159],"lightweight":[68],"extension":[69],"TLM":[72],"bus":[73],"enriches":[75],"it":[76,138],"peripheral-specific":[78],"views":[79],"through":[80],"user-defined":[81],"modules,":[82],"so-called":[83],"View":[85],"Modules":[86],"(TVMs).":[87],"Additionally,":[88],"supports":[90],"integration":[91],"debuggers,":[94],"allowing":[95],"synchronized":[96],"inspection":[98],"control":[100],"simulation":[103],"flow.":[104],"enables":[106],"developers":[107],"efficiently":[109],"analyze":[110],"issues":[111],"such":[112],"as":[113],"incorrect":[114],"memory":[115],"mappings,":[116],"unexpected":[117],"peripheral":[118],"behavior,":[119],"better":[122],"understand":[123],"overall":[125],"system":[126],"architecture.Two":[127],"case":[128],"studies":[129],"highlight":[130],"capabilities":[132],"ProtoLens:":[134],"one":[135],"demonstrates":[136],"how":[137],"complements":[139],"classical":[140],"bare-metal":[144],"example,":[146],"other":[149],"showcases":[150],"its":[151],"ability":[152],"reconstruct":[154],"real-time":[155],"graphics":[156],"output":[157],"from":[158],"Linux-based":[160],"game.":[161]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}