{"id":"https://openalex.org/W2904017694","doi":"https://doi.org/10.1145/3229783.3229793","title":"Model-based Construction and Verification of Cyber-Physical Systems","display_name":"Model-based Construction and Verification of Cyber-Physical Systems","publication_year":2018,"publication_date":"2018-12-07","ids":{"openalex":"https://openalex.org/W2904017694","doi":"https://doi.org/10.1145/3229783.3229793","mag":"2904017694"},"language":"en","primary_location":{"id":"doi:10.1145/3229783.3229793","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3229783.3229793","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","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/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lei Bu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078890349","display_name":"Tian Zhang","orcid":"https://orcid.org/0000-0003-0104-2731"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tian Zhang","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100720628","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0001-8775-2827"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linzhang Wang","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5029676029"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.2947,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65013833,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":"3","first_page":"6","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.9137271046638489},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7954431772232056},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5912999510765076},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5504688620567322},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.47397106885910034},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.46124643087387085},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.45336347818374634},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.434079647064209},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3249853849411011},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3074483871459961},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.25706541538238525},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10104906558990479}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9137271046638489},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7954431772232056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5912999510765076},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5504688620567322},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.47397106885910034},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.46124643087387085},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.45336347818374634},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.434079647064209},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3249853849411011},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3074483871459961},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25706541538238525},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10104906558990479},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3229783.3229793","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3229783.3229793","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W59365162","https://openalex.org/W809787349","https://openalex.org/W1535537825","https://openalex.org/W1558964573","https://openalex.org/W1632844978","https://openalex.org/W2002130414","https://openalex.org/W2018704560","https://openalex.org/W2025886420","https://openalex.org/W2040637657","https://openalex.org/W2054293825","https://openalex.org/W2072325940","https://openalex.org/W2073051369","https://openalex.org/W2080834648","https://openalex.org/W2090717018","https://openalex.org/W2104258017","https://openalex.org/W2111907480","https://openalex.org/W2139872812","https://openalex.org/W2142701300","https://openalex.org/W2147171647","https://openalex.org/W2159899121","https://openalex.org/W2165203881","https://openalex.org/W2342503243","https://openalex.org/W2515014082","https://openalex.org/W2612875298","https://openalex.org/W2735004968","https://openalex.org/W2759834774","https://openalex.org/W6602444295"],"related_works":["https://openalex.org/W2049316283","https://openalex.org/W2128865566","https://openalex.org/W2994120531","https://openalex.org/W2756692340","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W3017360834","https://openalex.org/W4229048927","https://openalex.org/W3099113830","https://openalex.org/W3149651311"],"abstract_inverted_index":{"By":[0],"combining":[1],"communication,":[2],"computation,":[3],"and":[4,25,48,74,95,107,147,164,184,210,250],"control":[5,71],"(3C),":[6],"Cyber-Physical":[7],"Systems":[8],"(CPS)0tightly":[9],"couple":[10],"the":[11,15,36,40,46,50,54,66,80,104,112,124,145,152,158,176,202,208,213,216,262],"physical":[12],"world":[13],"with":[14],"cyber-world,":[16],"to":[17,65,93,115,129,137,154,206],"enable":[18],"more":[19,127],"applications,":[20],"enhance":[21],"performance,":[22],"increase":[23,207],"dependability":[24,211],"etc.":[26],"Among":[27],"these":[28,267],"goals,":[29],"as":[30],"CPS":[31,57,83,99,205,243],"are":[32,101],"widely":[33],"used":[34],"in":[35,78,103,175,201,238],"safety-critical":[37],"area,":[38],"guaranteeing":[39],"basic":[41],"dependability/safety":[42],"is":[43,58,84,91,134,161,189],"after":[44],"all":[45],"prerequisite":[47],"often":[49],"top":[51],"concern.":[52],"However,":[53],"behavior":[55,77,81,125],"of":[56,62,68,82,144,178,193,204,212,229,242,261],"extremely":[59],"complex.":[60],"First":[61],"all,":[63],"due":[64],"existence":[67],"both":[69],"discrete":[70],"modes":[72],"transition":[73],"continuous":[75],"real-time":[76,109],"CPS,":[79],"a":[85,132,168,227,239,258],"complex":[86,128,136],"hybrid":[87],"state":[88],"space,":[89],"which":[90],"difficult":[92],"understand":[94],"handle.":[96],"Secondly,":[97],"most":[98],"applications":[100],"working":[102],"open":[105],"environment":[106,113,122],"acquiring":[108],"data":[110],"from":[111],"intensively":[114],"adjust":[116],"their":[117],"own":[118],"behavior.":[119],"The":[120],"dynamic":[121],"makes":[123],"space":[126],"reason.":[130],"When":[131],"system":[133,146,160],"too":[135],"analyze":[138],"directly,":[139],"building":[140],"an":[141,162,190],"abstract":[142],"model":[143,153,170],"then":[148],"conducting":[149],"analysis":[150],"on":[151,266],"answer":[155],"questions":[156],"about":[157],"original":[159],"important":[163,173,191],"widely-used":[165],"method.":[166],"Meanwhile,":[167],"reasonable":[169],"also":[171],"plays":[172],"roles":[174],"phase":[177],"specification,":[179],"design,":[180,246],"development,":[181],"testing,":[182],"monitoring":[183],"so":[185],"on.":[186],"Therefore,":[187],"it":[188],"topic":[192],"investigating":[194],"how":[195],"model-based":[196],"methods":[197],"can":[198],"be":[199],"applied":[200],"context":[203],"quality":[209],"system.":[214],"During":[215],"past":[217],"decade,":[218],"our":[219],"research":[220,237],"group":[221],"at":[222],"Nanjing":[223],"University":[224],"has":[225],"devoted":[226],"lot":[228],"efforts":[230],"into":[231],"this":[232,253],"mission.":[233],"We":[234],"conducted":[235],"comprehensive":[236],"wide":[240],"spectrum":[241],"including":[244],"model-driven":[245],"verification,":[247],"control,":[248],"monitoring,":[249],"testing.":[251],"In":[252],"paper,":[254],"we":[255,264],"will":[256],"make":[257],"general":[259],"review":[260],"progress":[263],"made":[265],"directions":[268],"recently.":[269]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}