{"id":"https://openalex.org/W4380303848","doi":"https://doi.org/10.1109/tcad.2023.3285412","title":"Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL","display_name":"Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL","publication_year":2023,"publication_date":"2023-06-12","ids":{"openalex":"https://openalex.org/W4380303848","doi":"https://doi.org/10.1109/tcad.2023.3285412"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3285412","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tcad.2023.3285412","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":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04178061v1/file/author-version.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017425520","display_name":"Ming Hu","orcid":"https://orcid.org/0000-0002-5058-4660"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ming Hu","raw_affiliation_strings":["MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081669284","display_name":"Jun Xia","orcid":"https://orcid.org/0000-0003-0245-8499"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Xia","raw_affiliation_strings":["MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100402983","display_name":"Min Zhang","orcid":"https://orcid.org/0000-0003-1938-2902"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhang","raw_affiliation_strings":["MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102888742","display_name":"Xiaohong Chen","orcid":"https://orcid.org/0000-0003-0757-1204"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Chen","raw_affiliation_strings":["MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090695840","display_name":"Fr\u00e9d\u00e9ric Mallet","orcid":"https://orcid.org/0000-0002-9088-9821"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Mallet","raw_affiliation_strings":["CNRS, Inria, I3S, Université Cote d’Azur, Sophia Antipolis, France","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)"],"affiliations":[{"raw_affiliation_string":"CNRS, Inria, I3S, Université Cote d’Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center of Hardware/Software Co-Design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5017425520"],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.9796,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78815134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"42","issue":"12","first_page":"5127","last_page":"5140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/engineering","display_name":"Engineering","score":0.5490180253982544},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.42120280861854553},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.3497231602668762},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3468940556049347}],"concepts":[{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.5490180253982544},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.42120280861854553},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.3497231602668762},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3468940556049347},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2023.3285412","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tcad.2023.3285412","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"},{"id":"pmh:oai:HAL:hal-04178061v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04178061","pdf_url":"https://inria.hal.science/hal-04178061v1/file/author-version.pdf","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (12), pp.51. ⟨10.1109/TCAD.2023.3285412⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04178061v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04178061","pdf_url":"https://inria.hal.science/hal-04178061v1/file/author-version.pdf","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (12), pp.51. ⟨10.1109/TCAD.2023.3285412⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1170679397","display_name":null,"funder_award_id":"51075010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2659019386","display_name":null,"funder_award_id":"ANR-17-EURE-","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3692377274","display_name":null,"funder_award_id":"ANR-17-EURE-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5630019670","display_name":null,"funder_award_id":"ANR-17-EURE-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5764027818","display_name":null,"funder_award_id":"ANR-17-EUR","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6766199972","display_name":null,"funder_award_id":"62272170","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6803667113","display_name":null,"funder_award_id":"ANR-17","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7611692203","display_name":null,"funder_award_id":"22510750100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4380303848.pdf","grobid_xml":"https://content.openalex.org/works/W4380303848.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W105975728","https://openalex.org/W1529726435","https://openalex.org/W1573947583","https://openalex.org/W1763952687","https://openalex.org/W1989692116","https://openalex.org/W1996763007","https://openalex.org/W2024176955","https://openalex.org/W2039568153","https://openalex.org/W2053137492","https://openalex.org/W2060307524","https://openalex.org/W2078877482","https://openalex.org/W2081260576","https://openalex.org/W2090051150","https://openalex.org/W2149628155","https://openalex.org/W2266628809","https://openalex.org/W2398994387","https://openalex.org/W2406109110","https://openalex.org/W2560237969","https://openalex.org/W2562198220","https://openalex.org/W2624553782","https://openalex.org/W2752540812","https://openalex.org/W2762958850","https://openalex.org/W2798708919","https://openalex.org/W2803413084","https://openalex.org/W2887573968","https://openalex.org/W2888243497","https://openalex.org/W2894577482","https://openalex.org/W2904222803","https://openalex.org/W2913071757","https://openalex.org/W2925604206","https://openalex.org/W2940996152","https://openalex.org/W2955761557","https://openalex.org/W2993587011","https://openalex.org/W2999878474","https://openalex.org/W2999918332","https://openalex.org/W3046486172","https://openalex.org/W3103503124","https://openalex.org/W3149582469","https://openalex.org/W3153348149","https://openalex.org/W3173556662","https://openalex.org/W3186958276","https://openalex.org/W4200561255","https://openalex.org/W4206949150","https://openalex.org/W4226218259","https://openalex.org/W4229548372","https://openalex.org/W4247791659","https://openalex.org/W4292265161","https://openalex.org/W6753339696","https://openalex.org/W6762730706","https://openalex.org/W6775704151","https://openalex.org/W6783486785"],"related_works":["https://openalex.org/W2062195135","https://openalex.org/W2795079307","https://openalex.org/W2793058541","https://openalex.org/W1983629434","https://openalex.org/W2055929693","https://openalex.org/W4324271173","https://openalex.org/W1967645776","https://openalex.org/W2352227742","https://openalex.org/W4390679071","https://openalex.org/W3006966347"],"abstract_inverted_index":{"As":[0],"a":[1,136],"promising":[2],"requirement-level":[3],"specification":[4,13],"language":[5,14],"for":[6,24,40,55,82,148],"timing":[7,50,57,146,155],"behavior":[8],"modeling,":[9],"the":[10,20,31,70,83,99,120,141,153,190,204,236],"clock":[11],"constraint":[12],"(CCSL)":[15],"has":[16],"become":[17],"popular":[18],"in":[19,35,243],"model-driven":[21],"design":[22,33],"community":[23],"safety-critical":[25],"embedded":[26],"systems.":[27],"However,":[28],"due":[29],"to":[30,43,68],"skyrocketing":[32],"complexity,":[34],"practice,":[36],"it":[37],"is":[38,89],"hard":[39],"requirement":[41,46,171,196,230],"engineers":[42],"accurately":[44],"construct":[45],"models":[47,108,176,231,238],"with":[48,178,186],"expected":[49],"behaviors":[51,147],"using":[52,160],"CCSL,":[53],"especially,":[54],"safe":[56,145],"behaviors.":[58],"Although":[59],"more":[60,62],"and":[61,109,227],"CCSL":[63,73,92,102,165,184],"synthesis":[64,84,93,143],"approaches":[65],"are":[66,127,181],"designed":[67],"facilitate":[69],"generation":[71],"of":[72,76,85,101,116,124,144,157,170,207],"specifications,":[74],"most":[75],"them":[77],"cannot":[78],"be":[79],"used":[80],"directly":[81],"requirements":[86,107,149,175,209],"models.":[87,150,210],"This":[88],"because":[90],"existing":[91],"methods:":[94],"1)":[95],"focus":[96],"on":[97,113,214],"filling":[98],"holes":[100],"constraints":[103,185],"rather":[104],"than":[105],"completing":[106],"2)":[110],"rely":[111],"heavily":[112],"limited":[114],"observations":[115],"system":[117],"behaviors,":[118],"while":[119],"(temporal)":[121],"safety":[122,154,241],"properties":[123,156,180,242],"target":[125,158],"systems":[126,159],"neglected.":[128],"To":[129],"address":[130],"these":[131],"issues,":[132],"this":[133],"article":[134],"proposes":[135],"novel":[137],"method":[138],"that":[139,220,235],"enables":[140],"automated":[142],"By":[151],"specifying":[152],"safely-LTL,":[161],"our":[162,198,221],"approach":[163,199,222],"adopts":[164],"as":[166],"an":[167],"intermediate":[168],"representation":[169],"synthesis,":[172],"where":[173],"incomplete":[174,208],"coupled":[177],"safely-LTL-based":[179],"encoded":[182],"into":[183],"holes.":[187],"Guided":[188],"by":[189,195],"samples":[191],"(expected":[192],"behaviors)":[193],"provided":[194],"engineers,":[197],"can":[200,223],"automatically":[201],"figure":[202],"out":[203],"complete":[205],"version":[206],"Comprehensive":[211],"experimental":[212],"results":[213],"two":[215],"complex":[216],"case":[217],"studies":[218],"demonstrate":[219],"not":[224],"only":[225],"quickly":[226],"efficiently":[228],"synthesize":[229],"but":[232],"also":[233],"guarantee":[234],"synthesized":[237],"satisfy":[239],"specified":[240],"Safely-LTL":[244],"form.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}