{"id":"https://openalex.org/W4408047715","doi":"https://doi.org/10.1109/tcad.2025.3546879","title":"AccSiM: State-Aware Simulation Acceleration for Simulink Models","display_name":"AccSiM: State-Aware Simulation Acceleration for Simulink Models","publication_year":2025,"publication_date":"2025-02-28","ids":{"openalex":"https://openalex.org/W4408047715","doi":"https://doi.org/10.1109/tcad.2025.3546879"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2025.3546879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3546879","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5113630505","display_name":"Yong-Kun Cheng","orcid":"https://orcid.org/0009-0004-7947-6075"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yifan Cheng","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0009-0004-7947-6075","affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021434737","display_name":"Zehong Yu","orcid":"https://orcid.org/0000-0002-0162-7185"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zehong Yu","raw_affiliation_strings":["KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-0162-7185","affiliations":[{"raw_affiliation_string":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072163324","display_name":"Zhuo Su","orcid":"https://orcid.org/0000-0001-7083-2038"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuo Su","raw_affiliation_strings":["KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7083-2038","affiliations":[{"raw_affiliation_string":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443178","display_name":"Ting Chen","orcid":"https://orcid.org/0000-0001-9165-8331"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Chen","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0001-9165-8331","affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100780268","display_name":"Xiaosong Zhang","orcid":"https://orcid.org/0000-0001-9886-1412"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaosong Zhang","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0001-9886-1412","affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060117799","display_name":"Yu Jiang","orcid":"https://orcid.org/0000-0003-0955-503X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-0955-503X","affiliations":[{"raw_affiliation_string":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1401,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76410865,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"44","issue":"9","first_page":"3289","last_page":"3302"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9758999943733215,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9696999788284302,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.7346044778823853},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5976572036743164},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5751791000366211},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.4201195240020752},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12144854664802551},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08851993083953857},{"id":"https://openalex.org/keywords/classical-mechanics","display_name":"Classical mechanics","score":0.06468150019645691}],"concepts":[{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.7346044778823853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5976572036743164},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5751791000366211},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.4201195240020752},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12144854664802551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08851993083953857},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.06468150019645691}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3546879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3546879","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G1594973751","display_name":null,"funder_award_id":"U2336204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2795951424","display_name":null,"funder_award_id":"62332004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3159198092","display_name":null,"funder_award_id":"BX20230183","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G3409775241","display_name":null,"funder_award_id":"62472075","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4456633529","display_name":null,"funder_award_id":"92167101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5890045678","display_name":null,"funder_award_id":"62372263","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6027530306","display_name":null,"funder_award_id":"62372086","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7091651887","display_name":null,"funder_award_id":"62021002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8042119185","display_name":null,"funder_award_id":"2024NSFSC0004","funder_id":"https://openalex.org/F4320329861","funder_display_name":"Natural Science Foundation of Sichuan Province"},{"id":"https://openalex.org/G8800332778","display_name":null,"funder_award_id":"2023M731954","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"id":"https://openalex.org/F4320329861","display_name":"Natural Science Foundation of Sichuan Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W33104759","https://openalex.org/W67303858","https://openalex.org/W125726805","https://openalex.org/W1496267491","https://openalex.org/W1964546727","https://openalex.org/W1968441363","https://openalex.org/W1983110013","https://openalex.org/W2014840138","https://openalex.org/W2040514407","https://openalex.org/W2042277847","https://openalex.org/W2088096295","https://openalex.org/W2103582557","https://openalex.org/W2128905514","https://openalex.org/W2142743431","https://openalex.org/W2151377210","https://openalex.org/W2166222448","https://openalex.org/W2169180789","https://openalex.org/W2229094708","https://openalex.org/W2321997646","https://openalex.org/W2503657378","https://openalex.org/W2616765985","https://openalex.org/W2895515577","https://openalex.org/W2943756302","https://openalex.org/W2965935205","https://openalex.org/W2966632201","https://openalex.org/W2967855397","https://openalex.org/W2987186374","https://openalex.org/W3127646572","https://openalex.org/W3190527349","https://openalex.org/W4205274655","https://openalex.org/W4242985212","https://openalex.org/W4292980886","https://openalex.org/W4293022997","https://openalex.org/W4384026784","https://openalex.org/W4386041585","https://openalex.org/W4404133652","https://openalex.org/W6704579725"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Simulink":[0,38,66,81,154],"has":[1],"been":[2],"widely":[3],"used":[4],"in":[5,26,176],"embedded":[6],"software":[7],"development,":[8],"which":[9],"supports":[10],"simulation":[11,35,63,77,84,98,134,159,177],"to":[12,39,157],"validate":[13],"the":[14,20,34,105,126,181,189],"correctness":[15],"of":[16,24,37],"models.":[17,155],"However,":[18],"as":[19],"scale":[21],"and":[22,43,93,117,124,138,148],"complexity":[23],"models":[25,67,82],"industrial":[27],"applications":[28],"grow,":[29],"it":[30,150],"is":[31,100],"time-consuming":[32],"for":[33,65,80,184],"engine":[36],"achieve":[40],"high":[41],"coverage":[42,137,217],"detect":[44],"potential":[45],"errors,":[46],"especially":[47],"accumulative":[48],"errors.":[49,186],"In":[50],"this":[51],"article,":[52],"we":[53],"propose":[54],"A<sc":[55,71,128,143,161,193,209],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[56,58,72,74,129,131,144,146,162,164,169,194,196,202,210,212],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">cc</small>S<sc":[57,73,130,145,163,195,211],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">i</small>M,":[59],"an":[60,199],"accelerating":[61],"model":[62],"method":[64],"via":[68],"code":[69,79,99,107,110],"generation.":[70],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">i</small>M":[75,132,147,165,197,213],"generates":[76,133],"functionality":[78],"through":[83,188],"oriented":[85],"instrumentation,":[86],"including":[87,136],"runtime":[88],"data":[89,91],"collection,":[90],"diagnosis,":[92],"state-aware":[94,190],"acceleration.":[95],"The":[96],"final":[97],"constructed":[101],"by":[102],"composing":[103],"all":[104],"instrumentation":[106],"with":[108],"actor":[109],"generated":[111],"from":[112],"a":[113,167],"predefined":[114],"template":[115],"library":[116],"integrating":[118],"test":[119],"cases":[120],"import.":[121],"After":[122],"compiling":[123],"executing":[125],"code,":[127],"results":[135],"diagnostic":[139],"information.":[140],"We":[141],"implemented":[142],"evaluated":[149],"on":[151],"several":[152],"benchmark":[153],"Compared":[156],"Simulink\u2019s":[158],"engine,":[160],"shows":[166],"<inline-formula":[168,201],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[170,203],"<tex-math":[171,204],"notation=\"LaTeX\">$215.3\\times":[172],"$":[173],"</tex-math></inline-formula>":[174,207],"improvement":[175],"efficiency,":[178],"significantly":[179],"reduces":[180],"time":[182],"required":[183],"detecting":[185],"Furthermore,":[187],"acceleration":[191],"method,":[192],"yielded":[198],"additional":[200],"notation=\"LaTeX\">$2.8{\\times":[205],"}$":[206],"speedup.":[208],"also":[214],"achieved":[215],"greater":[216],"within":[218],"equivalent":[219],"time.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}