{"id":"https://openalex.org/W2048186574","doi":"https://doi.org/10.1109/ewdts.2011.6116420","title":"The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario","display_name":"The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W2048186574","doi":"https://doi.org/10.1109/ewdts.2011.6116420","mag":"2048186574"},"language":"en","primary_location":{"id":"doi:10.1109/ewdts.2011.6116420","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2011.6116420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 9th East-West Design & Test Symposium (EWDTS)","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/A5059649491","display_name":"Konorev Borys","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Konorev Borys","raw_affiliation_strings":["State Center for Regulation of Supplies and Service Quality, Ukraine"],"affiliations":[{"raw_affiliation_string":"State Center for Regulation of Supplies and Service Quality, Ukraine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012982018","display_name":"Sergiyenko Volodymyr","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergiyenko Volodymyr","raw_affiliation_strings":["State Center for Regulation of Supplies and Service Quality, Ukraine"],"affiliations":[{"raw_affiliation_string":"State Center for Regulation of Supplies and Service Quality, Ukraine","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033362663","display_name":"Chertkov Georgiy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chertkov Georgiy","raw_affiliation_strings":["State Center for Regulation of Supplies and Service Quality, Ukraine"],"affiliations":[{"raw_affiliation_string":"State Center for Regulation of Supplies and Service Quality, Ukraine","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059649491"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6492,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78365358,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":null,"first_page":"263","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13181","display_name":"Economic and Technological Systems Analysis","score":0.9718999862670898,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13181","display_name":"Economic and Technological Systems Analysis","score":0.9718999862670898,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T14306","display_name":"Technology Assessment and Management","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T13891","display_name":"Engineering Diagnostics and Reliability","score":0.9553999900817871,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7440226078033447},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6393275260925293},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.5097226500511169},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.5053108334541321},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47883203625679016},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39695385098457336},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33348774909973145},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32964035868644714},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16474533081054688},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09347769618034363}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7440226078033447},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6393275260925293},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5097226500511169},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.5053108334541321},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47883203625679016},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39695385098457336},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33348774909973145},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32964035868644714},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16474533081054688},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09347769618034363},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ewdts.2011.6116420","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2011.6116420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 9th East-West Design & Test Symposium (EWDTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3027371154","https://openalex.org/W2296259807","https://openalex.org/W1969530778","https://openalex.org/W2112781153","https://openalex.org/W2790258116","https://openalex.org/W4243007457","https://openalex.org/W1927913644","https://openalex.org/W3202992742","https://openalex.org/W2343822268","https://openalex.org/W2065808531"],"abstract_inverted_index":{"The":[0,41],"results":[1],"of":[2,4,11,17,21,26,43,51,57,87],"development":[3],"the":[5,9,27,39,44,48],"techniques":[6],"which":[7],"form":[8],"scenario":[10,28,45],"target":[12],"technology":[13,64],"\u226aEvidential":[14],"independent":[15,79],"verification":[16,80],"I&C":[18,69],"Systems":[19],"Software":[20],"critical":[22,61,88],"application\u226b":[23],"and":[24,33,55,73,85],"utilities":[25],"support":[29],"at":[30],"information,":[31],"analytical":[32],"organizational":[34],"levels":[35],"are":[36],"presented":[37],"in":[38,97],"article.":[40],"result":[42],"implementation":[46],"is":[47],"quantitative":[49],"definition":[50],"latent":[52],"faults":[53],"probability":[54],"completeness":[56],"test":[58],"coverage":[59],"for":[60],"software.":[62],"This":[63],"can":[65],"be":[66],"used":[67],"by":[68],"systems":[70],"developers,":[71],"certification":[72],"regulation":[74],"bodies":[75],"to":[76],"carry":[77],"out":[78],"(or":[81],"certification)":[82],"during":[83],"modernization":[84],"modification":[86],"software":[89],"directly":[90],"on":[91],"client":[92],"objects":[93],"without":[94],"intruding":[95],"(interrupting)":[96],"technological":[98],"processes.":[99]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}