{"id":"https://openalex.org/W4400995651","doi":"https://doi.org/10.1007/978-3-031-65633-0_15","title":"Scenario-Based Flexible Modeling and\u00a0Scalable Falsification for\u00a0Reconfigurable CPSs","display_name":"Scenario-Based Flexible Modeling and\u00a0Scalable Falsification for\u00a0Reconfigurable CPSs","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400995651","doi":"https://doi.org/10.1007/978-3-031-65633-0_15"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65633-0_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_15.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066141316","display_name":"Jiawan Wang","orcid":"https://orcid.org/0000-0002-6170-5675"},"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":"Jiawan Wang","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-6170-5675","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103245718","display_name":"Wenxia Liu","orcid":"https://orcid.org/0000-0001-5993-1000"},"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":"Wenxia Liu","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113305211","display_name":"Muzimiao Zhang","orcid":null},"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":"Muzimiao Zhang","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101452632","display_name":"Jiaqi Wei","orcid":"https://orcid.org/0000-0002-2934-9164"},"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":"Jiaqi Wei","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000919145","display_name":"Yuhui Shi","orcid":"https://orcid.org/0000-0002-8840-723X"},"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":"Yuhui Shi","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","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":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-0517-7801","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 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":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5029676029"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.1826,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.93680453,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"329","last_page":"355"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.8895338773727417},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7367851138114929},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5372869968414307},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4711814224720001},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3883221745491028},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32437461614608765},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14370939135551453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8895338773727417},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7367851138114929},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5372869968414307},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4711814224720001},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3883221745491028},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32437461614608765},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14370939135551453}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-65633-0_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-65633-0_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1812586646","display_name":null,"funder_award_id":"62232008","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2131628907","display_name":null,"funder_award_id":"BK20202001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8333389840","display_name":null,"funder_award_id":"62172200","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400995651.pdf"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W618136976","https://openalex.org/W1490969264","https://openalex.org/W1494737186","https://openalex.org/W1533557569","https://openalex.org/W1539618464","https://openalex.org/W1547304883","https://openalex.org/W1590942805","https://openalex.org/W1605798759","https://openalex.org/W1607353007","https://openalex.org/W1966224165","https://openalex.org/W1968254796","https://openalex.org/W1983779606","https://openalex.org/W1992777946","https://openalex.org/W2000671421","https://openalex.org/W2004463571","https://openalex.org/W2027986690","https://openalex.org/W2033118636","https://openalex.org/W2039287452","https://openalex.org/W2044667269","https://openalex.org/W2077815947","https://openalex.org/W2080932760","https://openalex.org/W2097554867","https://openalex.org/W2104258017","https://openalex.org/W2112656403","https://openalex.org/W2118465540","https://openalex.org/W2129231075","https://openalex.org/W2131399618","https://openalex.org/W2147340401","https://openalex.org/W2151250495","https://openalex.org/W2152533774","https://openalex.org/W2153803621","https://openalex.org/W2154999312","https://openalex.org/W2176215692","https://openalex.org/W2461750512","https://openalex.org/W2604877292","https://openalex.org/W2742097343","https://openalex.org/W2759950027","https://openalex.org/W2798302610","https://openalex.org/W2803699674","https://openalex.org/W2912640545","https://openalex.org/W2914661919","https://openalex.org/W2939295339","https://openalex.org/W2963003663","https://openalex.org/W2973944767","https://openalex.org/W2982365423","https://openalex.org/W3011165450","https://openalex.org/W3012322967","https://openalex.org/W3014689623","https://openalex.org/W3022429701","https://openalex.org/W3023131782","https://openalex.org/W3046086400","https://openalex.org/W3105473318","https://openalex.org/W3106539157","https://openalex.org/W3127170972","https://openalex.org/W3131603686","https://openalex.org/W3137449538","https://openalex.org/W3169020724","https://openalex.org/W3184919107","https://openalex.org/W4317932557","https://openalex.org/W4384471254"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W4235240664","https://openalex.org/W2965083567","https://openalex.org/W1982914007","https://openalex.org/W2159583675","https://openalex.org/W1824242903","https://openalex.org/W1493858311","https://openalex.org/W2155470929","https://openalex.org/W2394465510","https://openalex.org/W2111125783"],"abstract_inverted_index":{"Abstract":[0],"Cyber-physical":[1],"systems":[2],"(CPSs)":[3],"are":[4,51,181],"used":[5],"in":[6,59,183,211],"many":[7],"safety-critical":[8],"areas,":[9],"making":[10],"it":[11,192],"crucial":[12],"to":[13,67,126,154,162],"ensure":[14],"their":[15,27,76,144],"safety.":[16],"However,":[17],"with":[18,94,122,207],"CPSs":[19,36],"increasingly":[20],"dynamically":[21,42],"deployed":[22],"and":[23,71,82,97,139,167,172,179,198,202],"reconfigured":[24],"during":[25,44],"runtime,":[26],"safety":[28],"analysis":[29,92],"becomes":[30],"challenging.":[31],"For":[32,64],"one":[33],"thing,":[34],"reconfigurable":[35,74,111],"usually":[37],"consist":[38],"of":[39,73],"multiple":[40,135],"agents":[41],"connected":[43,137],"runtime.":[45],"Their":[46],"highly":[47],"dynamic":[48,145],"system":[49,77,156,170],"topologies":[50],"too":[52],"intricate":[53],"for":[54,90,110,117,134,143,175],"traditional":[55],"modeling":[56,108,178,196,200],"languages,":[57],"which,":[58],"turn,":[60],"hinders":[61],"formal":[62],"analysis.":[63],"another,":[65],"due":[66],"the":[68],"growing":[69],"size":[70],"uncertainty":[72],"CPSs,":[75],"models":[78,116],"can":[79,193],"be":[80],"huge":[81],"even":[83],"unavailable":[84],"at":[85],"design":[86],"time.":[87],"This":[88],"calls":[89],"runtime":[91,130],"approaches":[93],"better":[95],"scalability":[96],"efficiency.":[98,176],"To":[99],"address":[100],"these":[101],"challenges,":[102],"we":[103],"propose":[104],"a":[105,150,184],"scenario-based":[106],"hierarchical":[107],"language":[109],"CPS.":[112],"It":[113,158],"provides":[114],"template":[115],"agent":[118],"inherent":[119],"features,":[120],"together":[121],"an":[123],"instantiation":[124],"mechanism":[125],"activate":[127],"single":[128],"agent\u2019s":[129],"behavior,":[131],"communication":[132],"configurations":[133,142],"agents\u2019":[136],"behaviors,":[138],"scenario":[140],"task":[141],"topologies.":[146],"We":[147],"also":[148],"present":[149],"path-oriented":[151],"falsification":[152,180,206],"approach":[153],"falsify":[155],"requirements.":[157],"employs":[159],"classification-model-based":[160],"optimization":[161],"explore":[163],"search":[164],"space":[165],"effectively":[166],"cut":[168],"unnecessary":[169],"simulations":[171],"robustness":[173],"calculations":[174],"Our":[177],"implemented":[182],"tool":[185],"called":[186],".":[187],"Experiments":[188],"have":[189],"shown":[190],"that":[191],"largely":[194],"reduce":[195],"time":[197],"improve":[199],"accuracy,":[201],"perform":[203],"scalable":[204],"CPS":[205],"high":[208],"success":[209],"rates":[210],"seconds.":[212]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}