Browsing by Author "Ponochovnyi, Y. L."
Now showing 1 - 20 of 37
Results Per Page
Sort Options
Item Availability as a cloud service for control system of critical energy infrastructure(CEUR-WS, 2018) Ivanchenko, O.; Kharchenko, V.; Moroz, B.; Kabak, L.; Smoktii, K.; Ponochovnyi, Y. L.; Поночовний, Юрій ЛеонідовичThe increasing of energy consumptions and attempts to use Management and Control System based on cloud computing technologies for ensuring normal work of the critical energy infrastructure (CEI) are made serious demands for analyzing Infrastructure as a Service (IaaS) Cloud availability level. In this paper, a new perspective unified platform for determining of availability level of the IaaS Cloud pertaining to the information components of the CEI is described. In fact Semi-Markov Modeling Process for assess of overall availability level of the IaaS Cloud with multiple pools of physical and virtual machines based on a novel Availability as a Cloud Service platform in order to improve effectiveness of CEI was presented by authors.Item Availability Assessment of a Cloud Server System: Comparing Markov and Semi-Markov Models(Cracow, Poland, 2021-09-22) Ivanchenko, O.; Kharchenko, V.; Moroz, B.; Ponochovnyi, Y. L.; Degtyareva, L. M.; Поночовний, Юрій Леонідович; Дегтярьова, Лариса МиколаївнаNowadays Markov Modelling Processes (MMP) found widely use into realm pertaining to availability assessments of diverse complex. technical systems and devices. In this regard, Cloud Server Systems (CSSs) are no exception. However, in order to leverage MMPs for the availability evaluation of CSSs the researchers should take into account that this assessmet procedure based on the utilization of just one distributio that is exponential distribution of times to failure, times 10 repair et prelit events and impacts. In that regard, that some groups of researchers into realm pertaining to CSSs availability are increasingly trying to leverage approaches based on Sem Markov Modelling Processes (SMMPs). Using SMMPs the researchers can consider more number of parametric characteristics and have a realistic picture as regards of availability level for the server system addition, seeking to improve overall availability of CSSs, the results for SMMPs in the so-called borders’ states, when Non-Markovian Process transforms at Markovian Process.Item Availability assessment of information and control systems with online software update and verification(Springer Verlag, 2014) Kharchenko, V.; Ponochovnyi, Y. L.; Boyarchuk, A.The paper is devoted to the analysis of the verification objectives and features for information and control systems (ICS) software at the different stages of life cycle, in particular, on development and operation stages for space ICS software. Theoretic-set description of objectives, verified functions considering their criticality for space systems software and scenarios of online verification are proposed. Availability Markov chains based models are developed for different scenarios of space systems software online verification. Multi-fragment Markov models of ICS software for a serviced spacecraft is researched taking into account updating and removal of detected faults.Item Availability model of two-zone physical security system considering degradation level from cyber attacks and software update(2020-05) Degtyareva, L. M.; Kharchenko, V.; Ponochovnyi, Y. L.; Al-Khafaji, Ahmed Waleed; Ivanchenko, O.; Uzun, D.; Дегтярьова, Лариса Миколаївна; Поночовний, Юрій ЛеонідовичItem Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities(Springer Verlag, 2018) Kharchenko, V.; Ponochovnyi, Y. L.; Mustafa Qahtan Abdulmunem, A.-S.; Andrashov, A.; Поночовний, Юрій ЛеонідовичThe paper deals with developing and researching Markov’s models and assessing of the availability of Instrumentation and control systems which are a part of smart building automation system (BAS). It was determined that the causes of failures and unavailability of the BAS component architecture can be hardware (physical), software (design) faults, and successful attacks on vulnerabilities (interaction faults), first of all. BAS failures are related to reliability issue, attacks on vulnerabilities is related to security issue. These two reason groups are considered as elements of two disjoint sets. The paper presents the detailed analysis of the BAS architecture consisting of control (FPGA-based), communication (ZigBee) and data levels considering their faults and vulnerabilities. Besides, maintenance procedures (without, common and separate maintenance for reliability and security) are described.Item AvTA Based Assessment of Dependability Considering Recovery After Failures and Attacks on Vulnerabilities(2019) Ponochovnyi, Y. L.; Kharchenko, V.; Abdulmunem, A. M. Q.; Shulga, I.Item AvTA Based Assessment of Dependability Considering Recovery After Failures and Attacks on Vulnerabilities(2019) Kharchenko, V.; Al-Sudani, Mustafa Qahtan Abdulmunem; Shulga, I.; Ponochovnyi, Y. L.; Поночовний, Юрій ЛеонідовичItem Basic Models for Dependable Web-Services: Technique for Development and Research(Oficyna Wydawnicza Politechnki Wroclawskiej, 2010) Ponochovnyi, Y. L.; Boyarchuk, A.; Kharchenko, V.; Odaruschenko, OlegObjective of the chapter is development of the basic models and technique for modeling and dependability assessment of Web-services for different variants of SOA. The structure of the chapter is the following. The set of the basic models for the different cases of Web-services (Web-services with and without availability losses, composite Web-services) and aggregated models which combine the dif-ferent cases is proposed in the second and third sections accordingly. The forth section is dedicated to development of the model for Web-service with availabil-ity loss. Some results of implementation of the proposed technique and directions of further research are discussed in the last section.Item Classification and research of the reactor protection instrumentation and control system functional safety Markov models in a normal operation mode(CEUR-WS, 2016) Bulba, E.; Ponochovnyi, Y. L.; Sklyar, V.; Ivasiuk, A.This article presents the basic phases of the development and research instrumentation and control system (ICS) functional safety Markov models on the basis of the self-diagnosing programmable platform. The set of the models sets is obtained on the basis of the failure tree development and analysis, which includes the ICS hardware channels detected and undetected failures. There the classification of ICS in a normal operation mode, considering the different majority body modes and diagnostics levels is presented. The application of the models has allowed determining the boundaries of the ICS safety integrity level 3 (SIL3) in two-dimensional space of the input parameters and system operational time. © 2016 by the paper authors.Item Cloud Video System Availability Assessment Using Markov and Semi-Markov Models(Lviv-Slavske, Ukraine, 2022-02-22) Ivanchenko, O.; Kharchenko, V.; Udovyk, I.; Ponochovnyi, Y. L.; Поночовний, Юрій ЛеонідовичComparative analysis of Markovian and Semi- Markovian modelling for cloud video system availability is performed considering its architecture and dependability characteristics of various components, Initial data for modelling is based on review of research and operation data of cloud systems. The results of modelling provide decision making related to choice of technique of modelling and availability assessment. Besides, they contributes to ensuring the high availability of cloud systems and can be used by developers in order to address the issues into DevOps engineering area.Item Combining Markov and Semi-Markov Modelling for Assessing Availability and Cybersecurity of Cloud and IoT Systems(2022) Kharchenko, V.; Ponochovnyi, Y. L.; Ivanchenko, O.; Fesenko, H.; Illiashenko, O.; Поночовний, Юрій ЛеонідовичItem Cybernetic Approach to Developing Resilient Systems: Concept, Models and Application(2020-07) Kharchenko, V.; Dotsenko, S.; Ponochovnyi, Y. L.; Illiashenko, O.; Поночовний, Юрій ЛеонідовичThe paper contains the results of the development and implementation of a cybernetic approach to the creation of resilient systems. The architecture of a resilient system contains redundant components compared to a traditional feedback control system. This is primarily due to the need to implement additional channels in the control system to respond to changes in requirements, environment, or unspecified faults and failures. The general structure of a resilient system is based on the principle of dividing control channels for functional and non-functional characteristics. This allows to react to changes in the information component of the environment during attacks on the system to ensure its cybersecurity. The case for a space resiient system with online verification is described. Three scenarios of the system behaviour to assure resilience are suggested and the first scenario is explored by the use of Markov model. That allows offering options for improving availability function and other indicators of resilient systems.Item Dependability Assessment for SCADA System Considering Usage of Cloud Resources(2020-05) Ivanchenko, O.; Kharchenko, V.; Brezhnev, E.; Ponochovnyi, Y. L.; Moroz, B.; Kabak, L.; Поночовний, Юрій ЛеонідовичControl (SCADA) system is one the most significant cyber-oriented components of management circuit for any complex hierarchical infrastructure. The effectiveness and performance of the SCADA system depends on a number of relevant factors including a possibility to utilize additional cloud resources. Of particular note, the cloud services ean apply in order to create concurrent redundant system for implementation of disaster recovery feature of SCADA information resources during different deliberate malicious impacts and intrusions. However, in spite of the fact that usage of the cloud services allow to enhance functionality of SCADA system, there are dependability and cybersecurity’ aspects for their joint utilization hat keep to remain a serious challenge for service personnel and users. In this paper, authors propose to employ analytical and stochastic modelling in order to get a numerical dependability assessment for SCADA system with realization of the cloud resourcing support considering influence of diverse negative factors, Furthermore, developers can utilize these modelling results in order to perform justification of overall functional requirements of the SCADA system.Item Influence of diagnostics errors on safety: Indicators and requirements(2018) Ponochovnyi, Y. L.; Bulba, E.; Yanko, A.; Hozbenko, E.; Поночовний, Юрій ЛеонідовичIn article questions of intersection of indices of technical diagnostics and the functional safety are considered. The relevant standards on diagnostics (IEC 60706-5-2007) and the functional safety (IEC 61508-1:2010) determining indices of a completeness and reliebility of diagnosing, a share of safe failures and spanning by diagnostics are defined. Requirements to indices of the functional safety for achievement of the necessary level of a completeness of safety of electronic systems are selected. Influence of errors of system of diagnosing on indices of the functional safety is considered that allows to specify their assessment before carrying out evaluation tests.Item Influence of diagnostics errors on safety: Indicators and requirements(Institute of Electrical and Electronics Engineers, 2018) Ponochovnyi, Y. L.; Bulba, E.; Yanko, A.; Hozbenko, E.In article questions of intersection of indices of technical diagnostics and the functional safety are considered. The relevant standards on diagnostics (IEC 60706-5-2007) and the functional safety (IEC 61508-4:2010) determining indices of a completeness and reliability of diagnosing, a share of safe failures and spanning by diagnostics are defined. Requirements to indices of the functional safety for achievement of the necessary level of a completeness of safety of electronic systems are selected. Influence of errors of system of diagnosing on indices of the functional safety is considered that allows to specify their assessment before carrying out evaluation tests.Item Linear Regression Model for Substantiation of Sustainable State Policy in a Digital Economy(2020-05) Dorofyeyev, O. V.; Lozynska, T. M.; Ponochovnyi, Y. L.; Vlasenko, T.; Дорофєєв, Олександр Вікторович; Лозинська, Тамара Миколаївна; Поночовний, Юрій ЛеонідовичThe article discusses the use of digital mathematical models in justifying public policy for sustainab economic development. The wider expediency uses of statis analysis methods to substantiate public administration de in the digital economy is explained, The technique of forming and preparation of experimental data for the construction of a mathematical regression model is described. The hypothesis of normal distribution ofthe input data was tested according to the statistical criteria of Kolmogorov-Smirnov and Lilliefors and Shapiro-Wilk. Box-Cox transformation was used to normalize the data, The linear multiple regression coefficients. are determined by the least squares method. The quality of the resulting model was evaluated using the Student's and Fisher's criteria, The results of the forecast of financial stability of agricultural enterprises for 2020-2022 and the factor indicators indicate the negative dynamics of the effective indicator of their financial condition. The proposed model can be used to continuously monitor the financial condition of agricultural enterprises by linking it to the State Statistics Service of Ukraine.Item Model of information and control systems in smart buildings with separate maintenance by reliability and security(CEUR-WS, 2018) Kharchenko, V.; Ponochovnyi, Y. L.; Abdulmunem, A.-S.M.Q.; Ivasiuk, A.; Ivanchenko, O.; Поночовний, Юрій ЛеонідовичThis article presents the information and control system of smart building is considered as a set of subsystems including a building automation system (BAS). BAS security and availability during its life cycle are assessed using the Markov models. Markov model is used to develop number of strategies which help to recover system and elimination all the possibility threat, during life of systems. Strategies of developing Markov models for describing the recovery of system components after an attack or a software failure are discussed. The use of Markov models is usually justified by the customer's requirements for a specific criterion for assessing the quality of the system.Item Modeling and availability assessment of smart building automation systems with multigoal maintenance("KhAI" Kharkiv, Ukraine, 2022) Ponochovnyi, Y. L.; Kharchenko, V.; Morozova, O.; Поночовний, Юрій ЛеонідовичThe rapid development of virtualization technologies and the cloud computing environment creation have led to the development and implementation of new versions of IT-systems architectures, for which it is necessary to take into account, evaluate, and provide indicators of computer systems and Web Services dependability. These include various systems, in particular smart building automation system (BAS)Item Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults(2019) Ponochovnyi, Y. L.; Kharchenko, V.; Andrashov, A.; Brezhniev, E.; Bulba, E.; Поночовний, Юрій ЛеонідовичItem Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults(2019) Kharchenko, V.; Ponochovnyi, Y. L.; Andrashov, A.; Brezhniev, E.; Bulba, E.; Поночовний, Юрій Леонідович