{"id":"https://openalex.org/W4385286552","doi":"https://doi.org/10.1109/tse.2023.3298432","title":"Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems","display_name":"Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-07-26","ids":{"openalex":"https://openalex.org/W4385286552","doi":"https://doi.org/10.1109/tse.2023.3298432"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2023.3298432","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2023.3298432","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10255132/10195878.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/32/10255132/10195878.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084753554","display_name":"Toni Mancini","orcid":"https://orcid.org/0000-0003-3355-2170"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Toni Mancini","raw_affiliation_strings":["Computer Science Department, Sapienza University of Rome, Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0003-3355-2170","affiliations":[{"raw_affiliation_string":"Computer Science Department, Sapienza University of Rome, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085357809","display_name":"Igor Melatti","orcid":"https://orcid.org/0000-0002-6273-6190"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Igor Melatti","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics, University of L&#x2019;Aquila, L&#x2019;Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6273-6190","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics, University of L&#x2019;Aquila, L&#x2019;Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010524910","display_name":"Enrico Tronci","orcid":"https://orcid.org/0000-0002-0377-3119"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Tronci","raw_affiliation_strings":["Computer Science Department, Sapienza University of Rome, Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0377-3119","affiliations":[{"raw_affiliation_string":"Computer Science Department, Sapienza University of Rome, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8882,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86463239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"49","issue":"9","first_page":"4443","last_page":"4455"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9998000264167786,"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.9998000264167786,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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/liveness","display_name":"Liveness","score":0.893660306930542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8060986995697021},{"id":"https://openalex.org/keywords/modelica","display_name":"Modelica","score":0.6432918310165405},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5733613967895508},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5330608487129211},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5160896182060242},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4786587655544281},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.450281023979187},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4308314919471741},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3741459846496582},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.24164700508117676},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24108260869979858},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13193368911743164}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.893660306930542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8060986995697021},{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.6432918310165405},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5733613967895508},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5330608487129211},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5160896182060242},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4786587655544281},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.450281023979187},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4308314919471741},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3741459846496582},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.24164700508117676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24108260869979858},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13193368911743164},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2023.3298432","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2023.3298432","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10255132/10195878.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2307.15383","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.15383","pdf_url":"https://arxiv.org/pdf/2307.15383","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/1692374","is_oa":false,"landing_page_url":"https://hdl.handle.net/11573/1692374","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/tse.2023.3298432","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2023.3298432","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10255132/10195878.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1915147485","display_name":null,"funder_award_id":"RG11916B892E54DB","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"},{"id":"https://openalex.org/G2381290473","display_name":null,"funder_award_id":"CUP B83C22002820006","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"},{"id":"https://openalex.org/G3006576871","display_name":null,"funder_award_id":"2018-2022","funder_id":"https://openalex.org/F4320317295","funder_display_name":"Dipartimenti di Eccellenza"},{"id":"https://openalex.org/G3089993230","display_name":null,"funder_award_id":"Dipartimenti di eccellenza 2018-2022","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"},{"id":"https://openalex.org/G3178914890","display_name":null,"funder_award_id":"2018-2022","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G3242652738","display_name":null,"funder_award_id":"RG120172B9329D33","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"},{"id":"https://openalex.org/G3297605598","display_name":null,"funder_award_id":"CUP B83C22002820006","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4701719678","display_name":null,"funder_award_id":"2018-2022","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"},{"id":"https://openalex.org/G917007168","display_name":null,"funder_award_id":"RG12117A8B393BDC","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320317295","display_name":"Dipartimenti di Eccellenza","ror":null},{"id":"https://openalex.org/F4320322510","display_name":"Sapienza Universit\u00e0 di Roma","ror":"https://ror.org/02be6w209"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320337140","display_name":"Dipartimento di Informatica, Sapienza Universit\u00e0 di Roma","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385286552.pdf","grobid_xml":"https://content.openalex.org/works/W4385286552.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W76273397","https://openalex.org/W81140875","https://openalex.org/W98354153","https://openalex.org/W157143398","https://openalex.org/W175120007","https://openalex.org/W180513329","https://openalex.org/W252848119","https://openalex.org/W618136976","https://openalex.org/W646792496","https://openalex.org/W1484739396","https://openalex.org/W1489725951","https://openalex.org/W1547304883","https://openalex.org/W1558483585","https://openalex.org/W1570024512","https://openalex.org/W1617322827","https://openalex.org/W1783413852","https://openalex.org/W1909495822","https://openalex.org/W1965812722","https://openalex.org/W1978520001","https://openalex.org/W1996334746","https://openalex.org/W1998674588","https://openalex.org/W1999929714","https://openalex.org/W2007072455","https://openalex.org/W2012338934","https://openalex.org/W2038201208","https://openalex.org/W2049399166","https://openalex.org/W2079045633","https://openalex.org/W2115803389","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2168798915","https://openalex.org/W2171520043","https://openalex.org/W2172184261","https://openalex.org/W2185071254","https://openalex.org/W2242831442","https://openalex.org/W2248858308","https://openalex.org/W2295828805","https://openalex.org/W2312067050","https://openalex.org/W2506585881","https://openalex.org/W2566646675","https://openalex.org/W2583964271","https://openalex.org/W2590655739","https://openalex.org/W2604247018","https://openalex.org/W2734705105","https://openalex.org/W2735260746","https://openalex.org/W2759208291","https://openalex.org/W2787596386","https://openalex.org/W2907780442","https://openalex.org/W2990364579","https://openalex.org/W3100743289","https://openalex.org/W3110784443","https://openalex.org/W3122374654","https://openalex.org/W3127904973","https://openalex.org/W3197922064","https://openalex.org/W3202302376","https://openalex.org/W4232840679","https://openalex.org/W6603146186"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2357836719","https://openalex.org/W2387860042","https://openalex.org/W2352924432","https://openalex.org/W2053262709","https://openalex.org/W2036879707"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPSs),":[2],"comprising":[3],"both":[4],"software":[5],"and":[6,14,118,204,249],"physical":[7],"components,":[8],"arise":[9],"in":[10,53,59,168,170,180,241],"many":[11],"industry-relevant":[12],"domains":[13],"are":[15,37],"often":[16],"mission-":[17],"or":[18,34,39,147],"safety-critical.":[19],"System-Level":[20],"Verification":[21],"(SLV)":[22],"of":[23,44,61,64,71,87,98,108,121,123,140,142,163,191,202],"CPSs":[24],"aims":[25],"at":[26,40],"certifying":[27],"that":[28,57,215],"given":[29,137],"(":[30],"<i>e.g.</i>":[31],",":[32,156,234],"safety":[33],"liveness)":[35],"specifications":[36],"met,":[38],"estimating":[41],"the":[42,50,75,79,85,92,119,181,230],"value":[43],"some":[45],"Key":[46],"Performance":[47],"Indicators,":[48],"when":[49],"system":[51,112,164],"runs":[52],"its":[54],"operational":[55],"environment,":[56],"is":[58,115],"presence":[60],"inputs":[62],"and/or":[63],"additional,":[65],"uncontrolled":[66],"disturbances.":[67],"To":[68],"enable":[69],"SLV":[70,102,201],"complex":[72],"systems":[73],"from":[74,145,148],"early":[76],"design":[77],"phases,":[78],"currently":[80],"most":[81],"adopted":[82],"approach":[83],"envisions":[84],"<i>simulation</i>":[86],"a":[88,134,138,159,171,242],"<i>system":[89],"model</i>":[90],"under":[91],"(time":[93],"bounded)":[94],"<i>operational":[95],"scenarios</i>":[96,213],"deemed":[97],"interest.":[99],"Unfortunately,":[100],"simulation-based":[101],"can":[103,125],"be":[104,126],"computationally":[105,116],"prohibitive":[106],"(years":[107],"sequential":[109],"simulation),":[110],"since":[111],"model":[113,165],"simulation":[114,154],"intensive":[117],"set":[120],"scenarios":[122,141,179],"interest":[124,143],"extremely":[127],"large.":[128],"In":[129],"this":[130],"article,":[131],"we":[132],"present":[133],"technique":[135],"that,":[136],"collection":[139],"(extracted":[144],"databases":[146],"symbolic":[149],"structures),":[150],"computes":[151],"<i>parallel":[152],"shortest":[153],"campaigns</i>":[155],"which":[157,251],"drive":[158],"possibly":[160],"large":[161],"number":[162],"simulators":[166],"running":[167],"parallel":[169],"HPC":[172,243],"infrastructure":[173],"through":[174],"all":[175],"(and":[176],"only)":[177],"those":[178],"user-defined":[182],"(possibly":[183],"random)":[184],"order,":[185],"by":[186],"wisely":[187],"avoiding":[188],"multiple":[189],"simulations":[190],"repeated":[192],"trajectories,":[193],"thus":[194],"minimising":[195],"completion":[196],"time.":[197,257],"Our":[198],"experiments":[199],"on":[200],"Modelica/FMU":[203],"Simulink":[205],"models":[206],"with":[207,229],"up":[208],"to":[209],"almost":[210],"<i>200":[211],"million":[212],"show":[214],"our":[216],"optimisation":[217],"yields":[218],"<i>speedups":[219],"as":[220],"high":[221],"as</i>":[222],"8":[223],"<inline-formula><tex-math":[224],"notation=\"LaTeX\">$\\boldsymbol{\\times}$</tex-math></inline-formula>":[225],".":[226],"This,":[227],"together":[228],"enabled":[231],"<i>massive":[232],"parallelisation</i>":[233],"makes":[235],"practically":[236],"viable":[237],"(a":[238],"few":[239],"weeks":[240],"infrastructure)":[244],"verification":[245],"tasks":[246],"(both":[247],"statistical":[248],"exhaustive)":[250],"would":[252],"otherwise":[253],"take":[254],"<i>inconceivably</i>":[255],"long":[256]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2023-07-27T00:00:00"}