{"id":"https://openalex.org/W2962006044","doi":"https://doi.org/10.1109/ntms.2019.8763814","title":"Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems","display_name":"Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2962006044","doi":"https://doi.org/10.1109/ntms.2019.8763814","mag":"2962006044"},"language":"en","primary_location":{"id":"doi:10.1109/ntms.2019.8763814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ntms.2019.8763814","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5089591173","display_name":"Dmitry Levshun","orcid":"https://orcid.org/0000-0003-1898-6624"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]},{"id":"https://openalex.org/I4210103826","display_name":"St. Petersburg Institute for Informatics and Automation","ror":"https://ror.org/01ccb9w37","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210103826"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Dmitry Levshun","raw_affiliation_strings":["St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia","institution_ids":["https://openalex.org/I173089394","https://openalex.org/I4210103826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001301716","display_name":"Andrey Chechulin","orcid":"https://orcid.org/0000-0001-7056-6972"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]},{"id":"https://openalex.org/I4210103826","display_name":"St. Petersburg Institute for Informatics and Automation","ror":"https://ror.org/01ccb9w37","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210103826"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Andrey Chechulin","raw_affiliation_strings":["St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia","institution_ids":["https://openalex.org/I173089394","https://openalex.org/I4210103826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033986640","display_name":"Igor Kotenko","orcid":"https://orcid.org/0000-0001-6859-7120"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]},{"id":"https://openalex.org/I4210103826","display_name":"St. Petersburg Institute for Informatics and Automation","ror":"https://ror.org/01ccb9w37","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210103826"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Igor Kotenko","raw_affiliation_strings":["St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS) ITMO University), St. Petersburg, Russia","institution_ids":["https://openalex.org/I173089394","https://openalex.org/I4210103826"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076479770","display_name":"Yannick Chevalier","orcid":"https://orcid.org/0000-0002-8617-4209"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Yannick Chevalier","raw_affiliation_strings":["St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University), St. Petersburg, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University), St. Petersburg, Russia","institution_ids":["https://openalex.org/I173089394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.9485,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.94725493,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10734","display_name":"Information and Cyber Security","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/correctness","display_name":"Correctness","score":0.8834754824638367},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7560417652130127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7455955743789673},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.508202314376831},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48412737250328064},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4763498604297638},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4327850043773651},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4269615113735199},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4160258173942566},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40351569652557373},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36791765689849854},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.352766215801239},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15322521328926086},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1477172076702118},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13096630573272705},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.10094764828681946},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09841322898864746},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08183956146240234}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8834754824638367},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7560417652130127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7455955743789673},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.508202314376831},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48412737250328064},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4763498604297638},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4327850043773651},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4269615113735199},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4160258173942566},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40351569652557373},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36791765689849854},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.352766215801239},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15322521328926086},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1477172076702118},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13096630573272705},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.10094764828681946},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09841322898864746},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08183956146240234},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ntms.2019.8763814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ntms.2019.8763814","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1546404276","https://openalex.org/W1981938824","https://openalex.org/W1996682917","https://openalex.org/W2116469687","https://openalex.org/W2192299932","https://openalex.org/W2291940259","https://openalex.org/W2475039210","https://openalex.org/W2514995061","https://openalex.org/W2585366456","https://openalex.org/W2614052576","https://openalex.org/W2756504887","https://openalex.org/W2767354816","https://openalex.org/W2800492995","https://openalex.org/W2810421629","https://openalex.org/W2910962125","https://openalex.org/W4238698725","https://openalex.org/W6733174511","https://openalex.org/W6744371439"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2153955347","https://openalex.org/W2108860137","https://openalex.org/W2325633191","https://openalex.org/W2115488885","https://openalex.org/W3023586562","https://openalex.org/W2118572231","https://openalex.org/W2533078207","https://openalex.org/W2105593427","https://openalex.org/W75359960"],"abstract_inverted_index":{"The":[0,19,68],"paper":[1],"considers":[2],"a":[3],"new":[4],"design":[5,71],"and":[6,11,43,47,51,66,72,77],"verification":[7,59,73],"methodology":[8,24,74],"for":[9,75],"secure":[10,76],"distributed":[12],"cyber-physical":[13,35,79],"systems,":[14],"which":[15],"contain":[16],"microcontroller-based":[17],"devices.":[18],"key":[20],"idea":[21],"of":[22,28,53,63,70,89,92],"the":[23,34,87],"is":[25,56,81],"in":[26,61,86],"providing":[27],"most":[29],"rational":[30],"solution":[31,55],"to":[32,38,45],"improve":[33],"systems":[36,80],"according":[37],"functional":[39],"requirements,":[40],"non-functional":[41],"requirements":[42],"limitations":[44],"security":[46,50],"reliability.":[48],"Moreover,":[49],"reliability":[52],"each":[54],"checked":[57],"by":[58,83],"process":[60],"terms":[62],"its":[64,84],"correctness":[65,69],"compatibility.":[67],"reliable":[78],"validated":[82],"use":[85],"improvement":[88],"semi-full-scale":[90],"model":[91],"railway":[93],"infrastructure.":[94]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}