{"id":"https://openalex.org/W4383723154","doi":"https://doi.org/10.3390/computation11070135","title":"A Software Verification Method for the Internet of Things and Cyber-Physical Systems","display_name":"A Software Verification Method for the Internet of Things and Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-07-07","ids":{"openalex":"https://openalex.org/W4383723154","doi":"https://doi.org/10.3390/computation11070135"},"language":"en","primary_location":{"id":"doi:10.3390/computation11070135","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070135","pdf_url":"https://www.mdpi.com/2079-3197/11/7/135/pdf?version=1688731736","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-3197/11/7/135/pdf?version=1688731736","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058348680","display_name":"Yuriy Manzhos","orcid":"https://orcid.org/0000-0002-4910-7285"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Yuriy Manzhos","raw_affiliation_strings":["Department Software Engineering and Busines, National Aerospace University \u201cKharkiv Aviation Institute\u201d, 61070 Kharkiv, Ukraine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department Software Engineering and Busines, National Aerospace University \u201cKharkiv Aviation Institute\u201d, 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065311024","display_name":"Yevheniia Sokolova","orcid":"https://orcid.org/0000-0002-1497-4987"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Yevheniia Sokolova","raw_affiliation_strings":["Department Software Engineering and Busines, National Aerospace University \u201cKharkiv Aviation Institute\u201d, 61070 Kharkiv, Ukraine"],"raw_orcid":"https://orcid.org/0000-0002-1497-4987","affiliations":[{"raw_affiliation_string":"Department Software Engineering and Busines, National Aerospace University \u201cKharkiv Aviation Institute\u201d, 61070 Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058348680","https://openalex.org/A5065311024"],"corresponding_institution_ids":["https://openalex.org/I23686167"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.4251,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68481532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"11","issue":"7","first_page":"135","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9937000274658203,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9934999942779541,"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/computer-science","display_name":"Computer science","score":0.7693612575531006},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.6057288646697998},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5500667095184326},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5469484925270081},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4908645749092102},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.47478029131889343},{"id":"https://openalex.org/keywords/software-reliability-testing","display_name":"Software reliability testing","score":0.4741494059562683},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.46679550409317017},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4333497881889343},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.41400226950645447},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3014102578163147},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1183839738368988},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10642367601394653}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7693612575531006},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.6057288646697998},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5500667095184326},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5469484925270081},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4908645749092102},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.47478029131889343},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.4741494059562683},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.46679550409317017},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4333497881889343},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.41400226950645447},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3014102578163147},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1183839738368988},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10642367601394653},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/computation11070135","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070135","pdf_url":"https://www.mdpi.com/2079-3197/11/7/135/pdf?version=1688731736","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:bdafb6f2e9b14abb9aee302bc2cfb74f","is_oa":true,"landing_page_url":"https://doaj.org/article/bdafb6f2e9b14abb9aee302bc2cfb74f","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation, Vol 11, Iss 7, p 135 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2079-3197/11/7/135/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/computation11070135","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation; Volume 11; Issue 7; Pages: 135","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/computation11070135","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070135","pdf_url":"https://www.mdpi.com/2079-3197/11/7/135/pdf?version=1688731736","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.47999998927116394,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4383723154.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1965484730","https://openalex.org/W1980703300","https://openalex.org/W1992620623","https://openalex.org/W1993891073","https://openalex.org/W2164793053","https://openalex.org/W2551547071","https://openalex.org/W2569456360","https://openalex.org/W2788198797","https://openalex.org/W3021126901","https://openalex.org/W3035158397","https://openalex.org/W3104650056","https://openalex.org/W3152558621","https://openalex.org/W3183263579","https://openalex.org/W4306780287","https://openalex.org/W4317433379","https://openalex.org/W6761752109","https://openalex.org/W6959865001"],"related_works":["https://openalex.org/W1521772560","https://openalex.org/W4238386252","https://openalex.org/W4226182203","https://openalex.org/W234065253","https://openalex.org/W3185885951","https://openalex.org/W111546663","https://openalex.org/W1966392103","https://openalex.org/W2047750899","https://openalex.org/W3088925126","https://openalex.org/W2162125807"],"abstract_inverted_index":{"With":[0],"the":[1,4,42,49,63,74,91,95,106],"proliferation":[2],"of":[3,6,44,52,62,76,94,105,112,127,181,184,190,193],"Internet":[5],"Things":[7],"devices":[8],"and":[9,20,137,164,169,187,198],"cyber-physical":[10],"systems,":[11],"there":[12],"is":[13,28,39,70],"a":[14,60,124],"growing":[15],"demand":[16],"for":[17],"highly":[18],"functional":[19],"high-quality":[21],"software.":[22],"To":[23,72],"address":[24],"this":[25,77,157],"demand,":[26],"it":[27],"crucial":[29],"to":[30,178],"employ":[31],"effective":[32],"software":[33,80,113,131,153,170,185],"verification":[34,144],"methods.":[35],"The":[36,103,175],"proposed":[37,107],"method":[38,108,176],"based":[40,89,151],"on":[41,90,148,152],"use":[43],"physical":[45,57,64],"quantities":[46],"defined":[47],"by":[48,68,122,133,146],"International":[50],"System":[51],"Units,":[53],"which":[54],"have":[55,83],"specific":[56],"dimensions.":[58],"Additionally,":[59],"transformation":[61],"value":[65],"orientation":[66],"introduced":[67],"Siano":[69],"utilized.":[71],"evaluate":[73],"effectiveness":[75],"method,":[78,158],"specialized":[79],"defect":[81],"models":[82,87],"been":[84],"developed.":[85],"These":[86],"are":[88],"statistical":[92],"characteristics":[93],"open-source":[96],"C/C++":[97],"code":[98],"used":[99],"in":[100,161,166],"drone":[101],"applications.":[102],"advantages":[104],"include":[109],"early":[110],"detection":[111],"defects":[114,150],"during":[115],"compile-time,":[116],"reduced":[117],"testing":[118,162],"duration,":[119],"cost":[120],"savings":[121],"identifying":[123],"significant":[125,159],"portion":[126],"latent":[128,149],"defects,":[129],"improved":[130],"quality":[132,171],"enhancing":[134],"reliability,":[135],"robustness,":[136],"performance,":[138],"as":[139,141],"well":[140],"complementing":[142],"existing":[143],"techniques":[145],"focusing":[147],"characteristics.":[154],"By":[155],"implementing":[156],"reductions":[160],"time":[163],"improvements":[165],"both":[167,196],"reliability":[168],"can":[172],"be":[173],"achieved.":[174],"aims":[177],"detect":[179],"90%":[180],"incorrect":[182,191],"uses":[183,192],"variables":[186],"over":[188],"50%":[189],"operations":[194],"at":[195],"compile-time":[197],"run-time.":[199]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-01-25T23:04:38.658462","created_date":"2025-10-10T00:00:00"}