{"id":"https://openalex.org/W4412399093","doi":"https://doi.org/10.1109/dsn-w65791.2025.00036","title":"Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions","display_name":"Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions","publication_year":2025,"publication_date":"2025-06-23","ids":{"openalex":"https://openalex.org/W4412399093","doi":"https://doi.org/10.1109/dsn-w65791.2025.00036"},"language":"en","primary_location":{"id":"doi:10.1109/dsn-w65791.2025.00036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn-w65791.2025.00036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)","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/A5099173861","display_name":"Max Taylor","orcid":null},"institutions":[{"id":"https://openalex.org/I2800102766","display_name":"Idaho National Laboratory","ror":"https://ror.org/00ty2a548","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I2800102766","https://openalex.org/I2801818860"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Max Taylor","raw_affiliation_strings":["Idaho National Laboratory,Idaho Falls,United States"],"affiliations":[{"raw_affiliation_string":"Idaho National Laboratory,Idaho Falls,United States","institution_ids":["https://openalex.org/I2800102766"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086486652","display_name":"Arthur Azevedo de Amorim","orcid":"https://orcid.org/0000-0001-9916-6614"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arthur Amorim","raw_affiliation_strings":["The University of Central Florida,Florida,United States"],"affiliations":[{"raw_affiliation_string":"The University of Central Florida,Florida,United States","institution_ids":["https://openalex.org/I106165777"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5099173861"],"corresponding_institution_ids":["https://openalex.org/I2800102766"],"apc_list":null,"apc_paid":null,"fwci":1.6414,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.86483391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9962999820709229,"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/dependability","display_name":"Dependability","score":0.9412418603897095},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7926826477050781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6178673505783081},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3597891330718994},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.344961941242218},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24456346035003662},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17156988382339478},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12213155627250671}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9412418603897095},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7926826477050781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6178673505783081},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3597891330718994},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.344961941242218},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24456346035003662},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17156988382339478},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12213155627250671}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dsn-w65791.2025.00036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn-w65791.2025.00036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1819209966","https://openalex.org/W2016206563","https://openalex.org/W2023255686","https://openalex.org/W2023808162","https://openalex.org/W2032587419","https://openalex.org/W2049489827","https://openalex.org/W2095240936","https://openalex.org/W2136310957","https://openalex.org/W2148635958","https://openalex.org/W2231402397","https://openalex.org/W2569270512","https://openalex.org/W2734817039","https://openalex.org/W2792078641","https://openalex.org/W2883465722","https://openalex.org/W2891240227","https://openalex.org/W2918040020","https://openalex.org/W2930266512","https://openalex.org/W3012002503","https://openalex.org/W3107309644","https://openalex.org/W3150335871","https://openalex.org/W3189303894","https://openalex.org/W4322717430","https://openalex.org/W4366446740","https://openalex.org/W4384300979","https://openalex.org/W4385730932","https://openalex.org/W4399543481","https://openalex.org/W4404556747","https://openalex.org/W4404556773","https://openalex.org/W4405627520","https://openalex.org/W4410770389","https://openalex.org/W4411115381"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W2049316283","https://openalex.org/W2128865566"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPS)":[2],"rely":[3],"on":[4],"software":[5,49,81],"that":[6,50,82],"contains":[7],"vulnerabilities":[8,25],"and":[9,26,37,44,47],"is":[10],"connected":[11],"to":[12,20,29,52],"the":[13,61,78,88],"public":[14],"internet.":[15],"Internet":[16],"connectivity":[17],"exposes":[18],"CPS":[19,28],"adversaries,":[21],"who":[22],"can":[23,57],"exploit":[24],"cause":[27],"operate":[30],"in":[31],"unsafe":[32,55],"ways,":[33],"thus":[34],"compromising":[35],"safety":[36,43],"liveness":[38,45],"requirements.":[39],"By":[40],"formally":[41],"designing":[42],"requirements":[46],"synthesizing":[48],"adheres":[51],"these":[53],"specifications,":[54],"behaviors":[56],"be":[58],"prevented":[59],"from":[60,72,87],"very":[62],"beginning":[63],"of":[64,80],"system":[65],"development.":[66],"This":[67],"paper":[68],"presents":[69],"initial":[70],"results":[71],"ongoing":[73],"research":[74],"aimed":[75],"at":[76],"enabling":[77],"synthesis":[79],"controls":[83],"CPS,":[84],"ensuring":[85],"dependability":[86],"outset.":[89]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}