{"id":"https://openalex.org/W4386765871","doi":"https://doi.org/10.32620/reks.2017.3.05","title":"\u041e\u0426\u0406\u041d\u042e\u0412\u0410\u041d\u041d\u042f \u0413\u041e\u0422\u041e\u0412\u041d\u041e\u0421\u0422\u0406 \u0406\u041d\u0424\u041e\u0420\u041c\u0410\u0426\u0406\u0419\u041d\u041e-\u041a\u0415\u0420\u0423\u042e\u0427\u041e\u0407 \u0421\u0418\u0421\u0422\u0415\u041c\u0418 \u041a\u041e\u0421\u041c\u0406\u0427\u041d\u041e\u0413\u041e \u0410\u041f\u0410\u0420\u0410\u0422\u0423 \u0417 \u0423\u0421\u0423\u041d\u0415\u041d\u041d\u042f\u041c \u041f\u0420\u041e\u0413\u0420\u0410\u041c\u041d\u0418\u0425 \u0414\u0415\u0424\u0415\u041a\u0422\u0406\u0412 \u041f\u0406\u0421\u041b\u042f \u041f\u0420\u041e\u0412\u0415\u0414\u0415\u041d\u041d\u042f \u041e\u041f\u0415\u0420\u0410\u0422\u0418\u0412\u041d\u041e\u0407 \u041e\u041d\u041b\u0410\u0419\u041d-\u0412\u0415\u0420\u0418\u0424\u0406\u041a\u0410\u0426\u0406\u0407","display_name":"\u041e\u0426\u0406\u041d\u042e\u0412\u0410\u041d\u041d\u042f \u0413\u041e\u0422\u041e\u0412\u041d\u041e\u0421\u0422\u0406 \u0406\u041d\u0424\u041e\u0420\u041c\u0410\u0426\u0406\u0419\u041d\u041e-\u041a\u0415\u0420\u0423\u042e\u0427\u041e\u0407 \u0421\u0418\u0421\u0422\u0415\u041c\u0418 \u041a\u041e\u0421\u041c\u0406\u0427\u041d\u041e\u0413\u041e \u0410\u041f\u0410\u0420\u0410\u0422\u0423 \u0417 \u0423\u0421\u0423\u041d\u0415\u041d\u041d\u042f\u041c \u041f\u0420\u041e\u0413\u0420\u0410\u041c\u041d\u0418\u0425 \u0414\u0415\u0424\u0415\u041a\u0422\u0406\u0412 \u041f\u0406\u0421\u041b\u042f \u041f\u0420\u041e\u0412\u0415\u0414\u0415\u041d\u041d\u042f \u041e\u041f\u0415\u0420\u0410\u0422\u0418\u0412\u041d\u041e\u0407 \u041e\u041d\u041b\u0410\u0419\u041d-\u0412\u0415\u0420\u0418\u0424\u0406\u041a\u0410\u0426\u0406\u0407","publication_year":2019,"publication_date":"2019-03-12","ids":{"openalex":"https://openalex.org/W4386765871","doi":"https://doi.org/10.32620/reks.2017.3.05"},"language":"en","primary_location":{"id":"doi:10.32620/reks.2017.3.05","doi":"https://doi.org/10.32620/reks.2017.3.05","is_oa":true,"landing_page_url":"http://dx.doi.org/10.32620/reks.2017.3.05","pdf_url":"http://nti.khai.edu/ojs/index.php/reks/article/download/reks.2017.3.05/646","source":{"id":"https://openalex.org/S4210171973","display_name":"RADIOELECTRONIC AND COMPUTER SYSTEMS","issn_l":"1814-4225","issn":["1814-4225","2663-2012"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310321196","host_organization_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","host_organization_lineage":["https://openalex.org/P4310321196"],"host_organization_lineage_names":["National Aerospace University \u2013 Kharkiv Aviation Institute"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Radioelectronic and Computer Systems","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://nti.khai.edu/ojs/index.php/reks/article/download/reks.2017.3.05/646","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113897535","display_name":"\u0412\u044f\u0447\u0435\u0441\u043b\u0430\u0432 \u0421\u0435\u0440\u0433\u0456\u0439\u043e\u0432\u0438\u0447 \u0425\u0430\u0440\u0447\u0435\u043d\u043a\u043e","orcid":"https://orcid.org/0000-0001-5352-077X","observed_orcids":["https://orcid.org/0000-0001-5352-077X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0412\u044f\u0447\u0435\u0441\u043b\u0430\u0432 \u0421\u0435\u0440\u0433\u0456\u0439\u043e\u0432\u0438\u0447 \u0425\u0430\u0440\u0447\u0435\u043d\u043a\u043e","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038334194","display_name":"Yuriy Ponochovnyi","orcid":"https://orcid.org/0000-0002-6856-2013","observed_orcids":["https://orcid.org/0000-0002-6856-2013"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u042e\u0440\u0456\u0439 \u041b\u0435\u043e\u043d\u0456\u0434\u043e\u0432\u0438\u0447 \u041f\u043e\u043d\u043e\u0447\u043e\u0432\u043d\u0438\u0439","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076185107","display_name":"\u0410\u0440\u0442\u0435\u043c \u0412\u043e\u043b\u043e\u0434\u0438\u043c\u0438\u0440\u043e\u0432\u0438\u0447 \u0411\u043e\u044f\u0440\u0447\u0443\u043a","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0410\u0440\u0442\u0435\u043c \u0412\u043e\u043b\u043e\u0434\u0438\u043c\u0438\u0440\u043e\u0432\u0438\u0447 \u0411\u043e\u044f\u0440\u0447\u0443\u043a","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086996348","display_name":"\u0406\u043b\u043e\u043d\u0430 \u041e\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u0456\u0432\u043d\u0430 \u0427\u0435\u0440\u043d\u0438\u0446\u044c\u043a\u0430","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0406\u043b\u043e\u043d\u0430 \u041e\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u0456\u0432\u043d\u0430 \u0427\u0435\u0440\u043d\u0438\u0446\u044c\u043a\u0430","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5092877063","display_name":"\u0412\u043e\u043b\u043e\u0434\u0438\u043c\u0438\u0440 \u0421\u0442\u0430\u043d\u0456\u0441\u043b\u0430\u0432\u043e\u0432\u0438\u0447 \u0412\u043e\u0440\u043e\u043d\u044f\u043d\u0441\u044c\u043a\u0438\u0439","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0412\u043e\u043b\u043e\u0434\u0438\u043c\u0438\u0440 \u0421\u0442\u0430\u043d\u0456\u0441\u043b\u0430\u0432\u043e\u0432\u0438\u0447 \u0412\u043e\u0440\u043e\u043d\u044f\u043d\u0441\u044c\u043a\u0438\u0439","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":100,"currency":"EUR","value_usd":107},"apc_paid":{"value":100,"currency":"EUR","value_usd":107},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":"3","first_page":"49","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.3962000012397766,"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"}},"topics":[{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.3962000012397766,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.24330000579357147,"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/T13293","display_name":"Engineering and Test Systems","score":0.19699999690055847,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/availability-analysis","display_name":"availability analysis","score":0.5580000281333923},{"id":"https://openalex.org/keywords/information-and-control-systems","display_name":"information and control systems","score":0.6549999713897705},{"id":"https://openalex.org/keywords/fault-detection-probability","display_name":"fault detection probability","score":0.8100000023841858},{"id":"https://openalex.org/keywords/software-failure-rate","display_name":"software failure rate","score":0.7170000076293945},{"id":"https://openalex.org/keywords/system-recovery","display_name":"system recovery","score":0.38199999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7204686999320984},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5987281203269958},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.557483971118927},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5145649313926697},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4883708357810974},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4631670415401459},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45323821902275085},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4520254135131836},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4303207993507385},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.42745834589004517},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.42083364725112915},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42037254571914673},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4188111126422882},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37501823902130127},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28198087215423584},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2219940423965454},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1313394010066986},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12856432795524597},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09098255634307861},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.32620/reks.2017.3.05","doi":"https://doi.org/10.32620/reks.2017.3.05","is_oa":true,"landing_page_url":"http://dx.doi.org/10.32620/reks.2017.3.05","pdf_url":"http://nti.khai.edu/ojs/index.php/reks/article/download/reks.2017.3.05/646","source":{"id":"https://openalex.org/S4210171973","display_name":"RADIOELECTRONIC AND COMPUTER SYSTEMS","issn_l":"1814-4225","issn":["1814-4225","2663-2012"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310321196","host_organization_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","host_organization_lineage":["https://openalex.org/P4310321196"],"host_organization_lineage_names":["National Aerospace University \u2013 Kharkiv Aviation Institute"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Radioelectronic and Computer Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:584365e1e4844dfea75b29cc6f2b6deb","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/584365e1e4844dfea75b29cc6f2b6deb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"\u0420\u0430\u0434\u0456\u043e\u0435\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u0456 \u0456 \u043a\u043e\u043c\u043f'\u044e\u0442\u0435\u0440\u043d\u0456 \u0441\u0438\u0441\u0442\u0435\u043c\u0438, Vol 0, Iss 3, Pp 49-55 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.32620/reks.2017.3.05","doi":"https://doi.org/10.32620/reks.2017.3.05","is_oa":true,"landing_page_url":"http://dx.doi.org/10.32620/reks.2017.3.05","pdf_url":"http://nti.khai.edu/ojs/index.php/reks/article/download/reks.2017.3.05/646","source":{"id":"https://openalex.org/S4210171973","display_name":"RADIOELECTRONIC AND COMPUTER SYSTEMS","issn_l":"1814-4225","issn":["1814-4225","2663-2012"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310321196","host_organization_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","host_organization_lineage":["https://openalex.org/P4310321196"],"host_organization_lineage_names":["National Aerospace University \u2013 Kharkiv Aviation Institute"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Radioelectronic and Computer Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386765871.pdf","grobid_xml":"https://content.openalex.org/works/W4386765871.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W204981019","https://openalex.org/W1963847367","https://openalex.org/W1976009916","https://openalex.org/W1981046633","https://openalex.org/W2038971786","https://openalex.org/W2062529482","https://openalex.org/W4242237916"],"related_works":["https://openalex.org/W204981019","https://openalex.org/W4404593906","https://openalex.org/W2475689809","https://openalex.org/W4246637446","https://openalex.org/W2023917048","https://openalex.org/W2978793664","https://openalex.org/W2729740982","https://openalex.org/W2553895494","https://openalex.org/W7039506818","https://openalex.org/W4412188723"],"abstract_inverted_index":{"The":[0,18,52,118,140],"paper":[1],"deals":[2],"the":[3,7,37,43,67,72,84,95,106,144,151,154,157,176,201,204,209,212,216,223,226,255,260,280,283,287,290,294,297,302],"multi-fragmental":[4,47],"model":[5,19,159,217],"of":[6,15,22,29,39,45,54,57,71,105,111,120,134,153,163,178,195,203,211,215,225,248,258,262,272,282,289,293,304],"two-channel":[8],"space":[9],"on-board":[10],"information":[11,96],"and":[12,97,147,241,301],"control":[13,98],"system":[14,99,108,141,177,205],"piloted":[16],"spaceship.":[17],"describes":[20],"process":[21],"on-line":[23,112,266],"software":[24,31,40,86,93,113,131,249,276],"verification":[25,114,121,239,267,295],"considering":[26],"subsequent":[27],"elimination":[28,299],"detected":[30],"faults.":[32,277],"To":[33,174],"take":[34],"into":[35],"account":[36],"change":[38],"failure":[41,90],"rate,":[42],"apparatus":[44],"regular":[46],"Markov\u2019s":[48,158],"models":[49],"is":[50,62,65,100,109,122,142,166,186,189,232,268],"used.":[51,187],"algorithm":[53],"determining":[55],"sets":[56,162],"state":[58,119,146],"fragments,":[59],"states,":[60],"transitions":[61],"proposed.":[63],"It":[64,188],"considered":[66,123],"most":[68],"widespread":[69],"architecture":[70],"information-control":[73],"system,":[74],"which":[75],"includes":[76],"two":[77],"redundant":[78],"hardware":[79],"channels.":[80],"Each":[81],"channel":[82],"has":[83],"same":[85],"version.":[87],"After":[88,129],"a":[89,245],"caused":[91],"by":[92,102],"faults,":[94,132],"restored":[101],"restarting.":[103],"Particularity":[104],"researched":[107],"performing":[110],"during":[115,198],"its":[116],"operation.":[117],"as":[124],"down-state":[125],"on":[126,296],"availability":[127,155,202,227,261,305],"assessing.":[128],"onset":[130],"degradation":[133],"program":[135],"functions":[136,306],"does":[137],"not":[138],"occur.":[139],"recoveredafter":[143],"failed":[145],"continues":[148],"functioning.":[149],"For":[150,168],"estimation":[152],"function,":[156],"for":[160],"different":[161],"input":[164],"data":[165],"researched.":[167],"that":[169,191,271],"Matlab":[170,183],"programs":[171],"were":[172],"developed.":[173],"solve":[175],"differential":[179],"equations,":[180],"an":[181],"embedded":[182],"ode15s":[184],"solver":[185],"revealed":[190],"with":[192,264],"increasing":[193],"probability":[194],"faults":[196,250],"detection":[197],"on-linesoftware":[199],"verification,":[200],"will":[206],"increase":[207],"at":[208],"end":[210],"time":[213,291],"interval":[214],"study.":[218],"In":[219,254],"order":[220],"to":[221,228,234,243,279],"accelerate":[222],"transition":[224],"stationary":[229],"state,":[230],"it":[231],"necessary":[233],"carry":[235],"out":[236],"more":[237],"frequent":[238],"procedures":[240],"try":[242],"eliminate":[244],"greater":[246],"number":[247],"in":[251],"one":[252],"check.":[253],"initial":[256],"period":[257],"operation,":[259],"systems":[263,273],"planned":[265],"lower":[269],"than":[270],"without":[274],"fixing":[275],"According":[278],"results":[281],"simulation,":[284],"conclusions":[285],"about":[286],"influence":[288],"parameters":[292],"fault":[298],"intensity":[300],"minimum":[303],"are":[307],"formulated.":[308]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2023-09-16T00:00:00"}