{"id":"https://openalex.org/W2088096295","doi":"https://doi.org/10.1145/2635868.2661664","title":"Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems","display_name":"Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems","publication_year":2014,"publication_date":"2014-11-04","ids":{"openalex":"https://openalex.org/W2088096295","doi":"https://doi.org/10.1145/2635868.2661664","mag":"2088096295"},"language":"en","primary_location":{"id":"doi:10.1145/2635868.2661664","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2661664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","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/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":true,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076126132","display_name":"Hehua Zhang","orcid":"https://orcid.org/0000-0001-7105-3204"},"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":"Hehua Zhang","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100603597","display_name":"Huafeng Zhang","orcid":"https://orcid.org/0000-0003-2400-5941"},"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":"Huafeng Zhang","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062767191","display_name":"Xinyan Zhao","orcid":"https://orcid.org/0000-0002-4252-5812"},"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":"Xinyan Zhao","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100349061","display_name":"Han Liu","orcid":"https://orcid.org/0000-0003-1021-9973"},"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":"Han Liu","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengnian Sun","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113986495","display_name":"Xiaoyu Song","orcid":"https://orcid.org/0009-0002-0370-8381"},"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":"Xiaoyu Song","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100846520","display_name":"Ming Gu","orcid":null},"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":"Ming Gu","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429010","display_name":"Jiaguang Sun","orcid":"https://orcid.org/0000-0002-5884-7939"},"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":"Jiaguang Sun","raw_affiliation_strings":["Tsinghua University, China","#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Tsinghua University, China#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5060117799"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.9194,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.76104311,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"711","last_page":"714"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/computer-science","display_name":"Computer science","score":0.7188529372215271},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.47053536772727966},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33859783411026}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7188529372215271},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.47053536772727966},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33859783411026}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2635868.2661664","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2661664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W140377929","https://openalex.org/W1974422138","https://openalex.org/W2024758402","https://openalex.org/W2031381504","https://openalex.org/W2035115145","https://openalex.org/W2042277847","https://openalex.org/W2115309705","https://openalex.org/W2140935457","https://openalex.org/W2143993933","https://openalex.org/W2160367421"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"The":[0,131,158],"key":[1],"challenges":[2],"of":[3,36,52,80,112,143,160,173],"the":[4,34,37,44,47,50,53,78,81,101,110,113,129,139,149,168,171,174],"model-driven":[5],"approach":[6],"to":[7,16,32,42,64,76,97,108,121,137],"designing":[8,138],"multi-clocked":[9],"embedded":[10,88],"systems":[11],"are":[12],"three-fold:":[13],"(1)":[14,72],"how":[15,31,41],"model":[17,48],"local":[18],"synchronous":[19],"components":[20,25],"and":[21,39,49,84,99,116,148,155,170],"asynchronous":[22],"communication":[23,146],"between":[24,46],"in":[26,86,156],"a":[27,61,73,91,105,118,144],"single":[28],"framework,":[29],"(2)":[30,90],"ensure":[33],"correctness":[35,111],"model,":[38,103],"(3)":[40,104],"maintain":[43],"consistency":[45],"implementation":[51],"system.":[54],"In":[55],"this":[56,163],"paper,":[57],"we":[58],"present":[59],"Tsmart,":[60],"self-contained":[62],"toolkit":[63,132],"address":[65],"these":[66],"three":[67],"challenges.":[68],"Tsmart":[69,161],"seamlessly":[70],"integrates":[71],"graphical":[74,95],"editor":[75],"facilitate":[77],"modeling":[79],"complex":[82],"behaviors":[83],"structures":[85],"an":[87],"system,":[89],"simulator":[92],"for":[93],"interactive":[94],"simulation":[96],"understand":[98],"debug":[100],"system":[102,114,142,150],"verication":[106],"engine":[107,120],"verify":[109],"design,":[115],"(4)":[117],"synthesis":[119],"automatically":[122],"generate":[123],"ecient":[124],"executable":[125],"VHDL":[126],"code":[127],"from":[128],"model.":[130],"has":[133,151],"been":[134,153],"successfully":[135],"applied":[136],"main":[140],"control":[141],"train":[145],"controller,":[147],"already":[152],"deployed":[154],"operation.":[157],"evaluation":[159],"on":[162],"real":[164],"industrial":[165],"application":[166],"demonstrates":[167],"eectiveness":[169],"potential":[172],"toolkit.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}