Переглянути
Нові надходження
Публікація Developing a set of models to support intelligent decision support systems(Eastern-European Journal of Enterprise Technologies, 2026) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаIntelligent decision support systems are the object of the study. The problem addressed in the study is the improvement of the validity of the functioning of intel¬ligent decision support systems. The hypothesis of the study is the possibility of increasing the effi¬ciency of the functioning of intel¬ligent decision support systems due to the development of a set of mathematical models of their functioning. The originality of the study consists of: – comprehensive assessment of the state of functioning of intel¬ligent decision support systems due to multi-level assessment; – modeling of possible states of functioning of intelligent deci¬sion support systems; – reconfiguring the number of input parameters to model the functioning process of intelligent decision support systems due to the use of evolving artificial neu¬ral networks, which achieves an increase in the efficiency and reli¬ability of the received decisions and evaluations; – setting the number of input channels of destructive influence for their accurate assessment due to the use of queuing theory; – setting the input parame¬ters of the models by adjusting the parameters of the member¬ship function of evolving artificial neural networks, which achieves an increase in the accuracy of modeling the state of function¬ing of intelligent decision support systems. Modeling of the proposed set of mathematical models of the functioning of intelligent decision support systems was carried out. In the course of modeling, it was established that an average of up to 20% gain is ensured in the effi¬ciency and reliability of calcula¬tions, while ensuring an average level of use of hardware resourcesПублікація Development of a scientific and methodological apparatus for ensuring the functional reliability of special-purpose information systems(European Journal of Enterprise Technologies, 2025) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe object of the study is informa¬tion systems. The research addresses the problem of increasing the accu¬racy of modeling the functioning pro¬cesses of information systems. A poly-model complex for resource manage¬ment in information systems has been developed. The originality of the research is ensured by: – a comprehensive description of the functioning processes of vari¬ous types of information systems through the development of corre¬sponding mathematical expressions, which enhances the accuracy of mod¬eling for subsequent managerial deci¬sion-making; – the inclusion of both static and dynamic processes occurring within information systems, using a hierar¬chical system of interconnected mathe-matical models; – the ability to model either an indi¬vidual process within an information system or to perform integrated model¬ing of multiple processes using a single or a set of mathematical models; – a dynamic description of the process of controlling the trajecto¬ry of information systems during their operation through proposed analytical expressions, enabling forecasting of the system’s behavior N steps ahead; – modeling the process of opera¬tions management during computa¬tional tasks within the functioning of information systems, which allows for planning of optimal load distribution on the hardware components; – simulation of the dynamics of resource management in information systems during their operation, making it possible to forecast the engagement of resources throughout their lifecycle. The proposed polymodel complex is advisable to use for solving man-agement tasks of information systems characterized by a high level of com¬plexity.Публікація Development of a polymodel complex of information systems resource management(European Journal of Enterprise Technologies, 2025) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe object of the study is informa¬tion systems. The research addresses the problem of increasing the accu¬racy of modeling the functioning pro¬cesses of information systems. A poly-model complex for resource manage¬ment in information systems has been developed. The originality of the research is ensured by: – a comprehensive description of the functioning processes of vari¬ous types of information systems through the development of corre¬sponding mathematical expressions, which enhances the accuracy of mod¬eling for subsequent managerial deci¬sion-making; – the inclusion of both static and dynamic processes occurring within information systems, using a hierar¬chical system of interconnected mathe-matical models; – the ability to model either an indi¬vidual process within an information system or to perform integrated model¬ing of multiple processes using a single or a set of mathematical models; – a dynamic description of the process of controlling the trajecto¬ry of information systems during their operation through proposed analytical expressions, enabling forecasting of the system’s behavior N steps ahead; – modeling the process of opera¬tions management during computa¬tional tasks within the functioning of information systems, which allows for planning of optimal load distribution on the hardware components; – simulation of the dynamics of resource management in information systems during their operation, making it possible to forecast the engagement of resources throughout their lifecycle. The proposed polymodel complex is advisable to use for solving man-agement tasks of information systems characterized by a high level of com¬plexity.Публікація Automating requirements traceability in project documentation using TraceTrend tool: model, design and application(Radioelectronic and Computer Systems, 2025) Odarushchenko, O. M.; Odarushchenko, O. B.; Одарущенко, Олег Миколайович; Одарущенко, Олена БорисівнаThe object of the study is a formalized model of requirements traceability in project documentation for hardware-software systems. The subject matter of the research encompasses the application of mathematical modeling and tool-based approaches to automate the traceability process, focusing on the design and functionality of the TraceTrend software tool. The primary goal of the study is to improve the quality and integrity of requirements management by implementing traceability mechanisms that ensure logical consistency, hierarchical correctness, and complete test coverage across all project documentation stages. The research tasks include: identifying challenges related to manual requirements tracing in safety-critical domains; constructing a formal mathemat-ical model based on set theory, binary relations, and directed graphs; defining binary matrices for requirement inheritance and test coverage; developing automated analysis techniques for traceability conditions; integrating the model into the TraceTrend tool; and demonstrating its applicability through a real-world case study. The study employed the following methods: mathematical modeling of binary relations, model-based testing, static analysis of documentation structures, and the use of Boolean matrix operations for verifying coverage and con-sistency. As a result of the research, a formal model of requirements traceability was created and implemented in the TraceTrend tool.Публікація Development of a method for detecting cyber attacks on information systems based on artificial intelligence technologies(Eastern-European Journal of Enterprise Technologies, 2025) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe object of this research is arti¬ficial immune systems. The problem addressed in the study is improving the responsiveness of cyberattack detection in information systems while ensuring a predetermined level of convergence, regardless of the num¬ber of destabilizing factors. The sub-ject of the research is the cyberattack detection process. A cyberattack detection method for information systems based on arti-ficial intelligence technologies is pro¬posed. The originality of the method lies in the use of additional enhanced procedures that allow: – initializing the initial popula¬tion of swarm agents and verifying information system parameters using an improved bat algorithm, which minimizes the error of entering incor¬rect data concerning the operational information system of military forces; – performing initial identification of attacks specific to the given infor-mation system using a decision tree; – adapting to the type and dura¬tion of cyberattacks through multi-lev¬el adaptation of the artificial immune system; – conducting initial selection of antibodies for each swarm of the artificial immune system using an improved genetic algorithm; – training general-swarm anti¬bodies using elite-swarm antibodies, thereby enabling deep learning; – replacing unfit individuals for search through antibody population renewal; – performing simultaneous solu¬tion search in multiple directions; – calculating the required amount of computational resources in cases where available resources are insuf¬ficient for the necessary calculations. An example application of the proposed method was conducted for cyberattack detection in an operation¬al military force group. The results demonstrated an average increase in detection accuracy by 16%, an aver-age improvement in responsiveness by 12%, and a high result convergence level of 95.23%Публікація Development of a solution search method using artificial intelligence(Eastern-European Journal of Enterprise Technologies, 2024-04-30) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe object of the study is decision sup¬port systems. The problem of increasing decision-mak¬ing efficiency in conditions of uncertainty and a set of different parameters was solved using a bio-inspired algorithm. The subject of the study is the deci¬sion-making process in management prob¬lems using the heron flock algorithm, the improved genetic algorithm and evolving artificial neural networks. A solution search method using the improved heron flock algorithm is pro¬posed. The study is based on the heron flock algorithm to find a solution regarding the object state. Evolving artificial neural networks are used to train the heron flock algorithm, and an advanced genetic algo¬rithm is used to select the best individuals of the heron flock. The method has the fol¬lowing sequence of actions: – input of initial data; – setting agents on the search plane; – numbering heron agents in the flock; – setting the initial velocity of heron agents; – waiting strategy for heron agents; – aggressive strategy; – checking the discriminatory condition; – selection of the best individuals from the heron flock; – ranking and sorting the obtained so-lutions; – training heron knowledge bases; – determining the amount of necessary computing resources of the intelligent deci¬sion support system.Публікація Method of Assessing the State of Hierarchical Objects based on Bio-Inspired Algorithms(Advanced Information Systems, 2023) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаNowadays, no state in the world is able to work on the creation and implementation of artificial intelligence in isolation from others. Artificial intelligence technologies are actively used to solve both general and highly specialized tasks in various spheres of society. In the process of assessing (identifying) the state of complex and objects of analysis and management, there is a high degree of a priori uncertainty regarding their state and a small amount of initial data describing them. At the same time, despite the huge amount of information, the degree of non-linearity, illogicality and noisy data is increasing. That is why the issue of improving the efficiency of assessing the condition of complex and objects is an important and urgent issue. The object of research is the objects of analysis. The subject of the research is the identification and forecasting of the analysis objects state with the help of bio-inspired algorithms. In the research, the evaluation and forecasting method was developed using fuzzy cognitive maps and the genetic algorithm.Публікація Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle(Proceedings of the 13th IEEE Conference Dependable Systems, Services and Technologies, DESSERT2023, Athens, Greece, 2023-10-14) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThis article delves into the growing significance of ensuring reliability and functional safety in hardware and embedded software of programmable controllers amidst rapid technological advancement. With the rise of FPGA-based digital Instrumentation and Control Systems (ICS), the need for dependable solutions has led to the development of the RadICS FSC (Functional Safety Controller) Platform by LLC RPC Radiy. While programmable controllers are pivotal across industries, vulnerabilities in their embedded software can lead to dire consequences for safety, economy, and the environment, particularly in safety-critical applications. Given this backdrop, testing embedded software becomes integral to ensuring reliability and safety. Tailored testing approaches are essential due to the unique characteristics of hardware, software, and specific controller applications. These approaches must encompass functional aspects as well as potential vulnerabilities exploitable by malicious actors.Публікація Development of a solution search method using an improved locust swarm algorithm(Eastern-European Journal of Enterprise Technologies, 2023-10-30) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe object of the research is deci¬sion support systems. The subject of the research is the decision-mak¬ing process in management problems using the locust swarm algorithm and evolving artificial neural networks. A solution search method using an improved locust swarm algo¬rithm is proposed. The research is based on the locust swarm algorithm for finding a solution regarding the state of an object. For training locust agents (LA), evolving artificial neu¬ral networks are used. The method has the following sequence of steps: – input of initial data; – processing of initial data tak¬ing into account the degree of uncer¬tainty; – initial setting of LA in the search area; – determination of the initial speed of the LA movement; – a search vector is generated taking into account the degree of uncertainty; – calculation of the change in the value of the LA fitness function; – training of LA knowledge bases. The originality of the proposed method lies in the arrangement of LA taking into account the uncertainty of the initial data, improved proce¬dures of global and local search tak¬ing into account the degree of noise of data about the state of the analy¬sis object. Also, the originality of the research is avoiding the concentra¬tion of LA on the current best posi¬tions, reducing the probability of pre¬mature conv/ ergence of the algorithm and maintaining a balance between the convergence rate of the algorithm and diversification. The peculiarity of the proposed method is the use of an improved procedure for LA training. The training procedure consists in learning the parameters and archi¬tecture of individual elements and the architecture of the artificial neural network as a whole.Публікація Improvement of the Optimization Method based on the Wilk Flock Algorithm(Eastern-European Journal of Enterprise Technologies, 2023) Protas, N. M.; Odarushchenko, O. B.; Vakulenko, Y. V.; Degtyareva, L. M.; Протас, Надія Михайлівна; Одарущенко, Олена Борисівна; Вакуленко, Юлія Валентинівна; Дегтярьова, Лариса МиколаївнаThe problem that is solved in the research is to increase the efficien¬cy of decision making in management tasks while ensuring the given reliabili¬ty, regardless of the hierarchical nature of the object. The object of the research is decision making support system. The subject of the research is the decision making process in management tasks using an improved wolf flock algorithm. The hypothesis of the research is to increase the efficiency of decision making with a given assessment reliability. In the course of the research, an improved opti¬mization method based on an improved wolf flock algorithm was proposed. In the course of the conducted research, the general provisions of the theory of arti¬ficial intelligence were used to solve the problem of analyzing the objects state and subsequent parametric management in intelligent decision making support systems.Публікація Improving the Accuracy of Software Reliability Modeling by Predicting the Number of Secondary Software Defects(Khmelnytskyi, Ukraine, 2022-03-25) Odarushchenko, O. M.; Odarushchenko, O. B.; Kopishynska, O. P.; Одарущенко, Олег Миколайович; Одарущенко, Олена Борисівна; Копішинська, Олена ПетрівнаReliability assessment and prediction of the number of faults/defects is an important part of the software engineering process. Many software reliability models assume that all detected are removed with certainty and no new faults are introduced. However, the introduction of secondary faults during software updates has become quite common in software evelopment practice, which can be explained by the enormous complexity of modern computer applications. In the paper we consider different scenarios of introducing secondary faults and how to predict number of such faults. Finally, we discuss how different SRGMs like Jelinski-Moranda, Exponential, Schick-Wolverton, Musa and Lipov models can be modified to account secondary faults in order to improve accuracy of software reliability prediction. We use an industrial case study to demonstrate applicability of the proposed approach. Our results show that considering secondary faults helped to considerably improve accuracy of software failure rate prediction.Публікація Cyber Security and Safety of Nucler Power Plant Instrumentation and Control Systems. Chapter 7. Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling(IGI Global, Hershey, Pennsylvania, USA, 2020) Odarushchenko, O. M.; Odarushchenko, O. B.; Одарущенко, Олег Миколайович; Одарущенко, Олена БорисівнаChapter 7 presents the gap-analysis of well-known modeling approach using Markov modeling (MM), mainly for technique and tool selection and application procedures, and how one of the leading safety standard IEC 61508 tracks those gaps. The task of accurate availability and safety assessment of a Reactor Trip Systems for Nuclear Power Plants Instrumentation and Control Systems (NPP I&C) applications is discussed in context of development and certification processes. Risks of inaccurate assessment can be eliminated or minimized using metric-based approach and present the safety assessment of typical NPP I&C system. The results analysis determines the feasibility of introducing new regulatory requirements for selection and application of techniques and tools, which are used for MMbased assessment of availability and safety.Публікація Routing an Unmanned Aerial Vehicle During NPP Monitoring in the Presence of an Automatic Battery Replacement Aerial System(The 11th IEEE International Conference on Dependable Systems, Services and Technologies, DESSERT’2020, 2020-05-18) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe paper is devoted to routing an unmanned aerial vehicle (UAV) during the Zaporizhzhia nuclear power plant monitoring without returning to the depot due to the deployment of an automatic battery replacement aerial system in specified places. The monitoring includes the overflight of the 11 monitoring stations to collect radiation monitoring data from them in case of damage of wired networks between the monitoring stations and the crisis centre. The shortest possible UAV route that visits every monitoring station (route point) exactly once and returns to the UAV depot is found by solving the Travelling Salesman Problem. An algorithm for determining the places for deployment of the automatic battery replacement aerial system is presented. A flight schedule both for the UAV and the automatic battery replacement aerial system is developed. The DJI Mavic 2 Enterprise Dual quadcopter is considered as a UAV for monitoring missions. The SL-231 Scout helicopter capable to operate in an unmanned mode is considered as a platform for the automatic battery replacement system.Публікація Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System(2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT), 2020) Odarushchenko, O. M.; Odarushchenko, O. B.; Одарущенко, Олег Миколайович; Одарущенко, Олена БорисівнаThe problems of the safety PLC market are analyzed. A tendency of the PLCs transition for industrial applications (for example NPP I&C) in new technologies has been identified. The advantages of FPGA technology for developing safety-based PLCs in comparison with microprocessor technology are formulated. The fault insertion testing (FIT) is considered as one of the mandatory techniques applied in the process of the certification against requirements of IEC 61508 according to safety integrity level (SIL). The concept of the HW FIT-ability is generalized for SW components of FPGA PLC-based safety-critical I&C systems (FPICS) (SW FIT-ability). Procedures, techniques and tools taking into account existing set of insertion variants for SW faults are proposed.Публікація Method and tool for support of software requirements profile quality assessment(2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT), 2020-05-18) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаMethod for support of software requirements profile quality assessment was reviewed. External and internal quality of software requirements profile in the method was reviewed separately. Metrics and indexes as general taxonomy was used in the method for assessment. Radial-metrics diagrams was used For visualization of received results. Method in full volume was supported by developed tool. An example use of tool for assessment draft of new standard «Requirements to computer security of NPP Instrumentation and Control Systems (NPP I&C)» developed by Ukrainian state regulatory body was represented.Публікація Development of a method for assessing cybernetic security in special-purpose information systems(Eastern-European Journal of Enterprise Technologies, 2020-12-18) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаA method for assessing cybersecurity in special-purpose information systems was developed. Cybersecurity assessment was performed using decision trees, implemented using “IF-THEN” fuzzy rules, which are considered as common building blocks of the decision tree. This approach allows processing large amounts of data. The use of the decision tree allows increasing evaluation accuracy, is easy to set up and intuitive. Improvement of the efficiency of cybersecurity assessment (error reduction) was achieved using evolving neuro-fuzzy artificial neural networks. Training of evolving neuro-fuzzy artificial neural networks was carried out by learning not only the synaptic weights of the artificial neural network, type, parameters of the membership function, but also by reducing the dimensionality of the feature space. The efficiency of information processing was also achieved through training the architecture of artificial neural networks; taking into account the type of uncertainty of information to be assessed; working with both clear and fuzzy products, and reducing the feature space. This reduces the computational complexity of decision-making and eliminates the accumulation of learning errors of artificial neural networks. The computational complexity of the method is on average 2 million calculations less compared to the known ones, and after 2 epochs, the learning error decreases. Cybersecurity analysis in general occurs due to an advanced clustering procedure that allows working with both static and dynamic data. Testing of the proposed method was carried out. The increase in the efficiency of cybersecurity assessment of about 20–25 % in terms of information processing efficiency was revealed.Публікація Development of Wearable Solutions for Healthcare: Initial Stages Analysis and Case Study(International Workshop on Intelligent Information Technologies & Systems of Information Security, 2020) Odarushchenko, O. B.; Odarushchenko, O. M.; Degtyareva, L. M.; Одарущенко, Олена Борисівна; Одарущенко, Олег Миколайович; Дегтярьова, Лариса МиколаївнаIn the last decade Wearable Health Devices (WHDs) have enabled continuous monitoring of various human vital signs during both everyday routine and emerging situations, such as hospitalization etc. Nowadays most of WHDs are tightly coupled with smartphones, which provide means for gathering, processing, analyzing and saving personal health data for further use. The constant development of new devices and improvement of existing ones enlarge WHDs and mobile applications markets. This pose difficulties for non-technical users to select most fitting solution for their existing problems. In this paper we present an survey of up to date WHDs as well as vital signs that can be monitored using them. Further, we provide list of basic characteristics that have to be analyzed while selecting the appropriate WHD and state upcoming challenges that emerge in wearable devices industry. Additionally, we present the developed glucose rate management applications. This applications aim to help user in managing personal glucose rate, based on gathered and stored data from various WHDs.Публікація Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю(Радіоелектронні і комп’ютерні системи, 2019) Одарущенко, Олег Миколайович; Одарущенко, Олена Борисівна; Харченко, В. С.Забезпечення безпечної експлуатації АЕС залишається однією із найважливіших задач безпеки енергетики та енергетичного комплексу в цілому. В забезпеченні безпеки АЕС важливу роль відіграють ін-формаційно-керуючі системи (ІКС) та їх складові – програмно-технічні комплекси (ПТК). До таких комплексів висуваються надзвичайно високі вимоги, перш за все, до їх надійності та функціональної безпеки. Об’єктом дослідження і аналізу в даній роботі є ПТК ІКС АЕС, зокрема, керуючої системи нормальної експлуатації (СНЕ) та системи аварійного захисту (САЗ), які розроблено з використанням програмовної платформи RadICS. Метою статті є розроблення та аналіз результатів дослідження марковськіх моделей оцінювання надійності та функціональної безпеки програмно-технічних комплек-сів (ПТК), які розробляються на основі самодіагностовних програмовних платформ. Розроблено дерева відмов таких платформ і ПТК на їх основі. На наступному етапі розроблено кілька марковських моде-лей резервованих ПТК. Моделі враховують помилки засобів контролю та діагностування, а саме поми-лки, пов’язані з невиявленням збоїв і відмов відповідних компонентів ПТК і каналів резервованих стру-ктур. Розроблено моделі для різних варіантів резервованих структур з урахуванням застосування принципу диверсності для ІКС САЗ і процесів відновлення, параметрів потоків відмов, обумовлених де-фектами проектування. Досліджено також багатофрагментні марковські моделі відновлюваних ПТК для одно- та двохверсійних структур. Проаналізовано результати моделювання для систем при вико-ристанні різних пакетів комп’ютерної математики. Сформульовано висновки щодо вибору пакетів та налаштувань при вирішенні систем диференційних рівнянь Колмогорова-Чепмена. Наукова новизна результатів полягає у тому, що запропоновані моделі ураховують розширену множину параметрів самодіагностовних платформ на програмовній логіці, ПТК та ІКС, процесів їх використання та обслу-говування. Сформульовано рекомендації щодо вибору параметрів та варіантів структур для ПТК си-стем нормальної експлуатації та аварійного захисту.Публікація The secondary software faults number evaluation based on correction of the experimental data exponential line approximation(2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), 2018-05-27) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe paper presents an analysis of existing approaches to the secondary software fault problem. The new method for secondary faults assessment in considered. It is based.Публікація Markov's Modeling of NPP I&C Reliability and Safety: Optimization of Tool-and-Technique Selection(2016 Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management (SMRLO), 2016) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаMarkov’s chains (MC) are well-know and widely applied in dependability and performability analysis of safety-critical systems, because of the flexible representation of system components dependencies and synchronization. There are few roadblocks for greater application of the MC: accounting the additional system components increases the model statespace and complicates analysis; the non-numerically sophisticated user may find it difficult to decide between the variety of numerical methods to determine the most suitable and accurate for their application. Thus obtaining the high accurate and trusted modeling results becomes a nontrivial task. In this paper, we present the metric-based approach for selection of the applicable solution approach, based on the analysis of MCs stiffness, decomposability, sparsity and fragmentedness. Using this selection procedure the modeler can provide the verification of earlier obtained results. The presented approach was implemented in utility MSMC, which supports the MC construction, metric-based analysis, recommendations shaping and model solution. The model can be exported to the well-known off-the-shelf mathematical packages for verification. The paper presents the case study of the industrial NPP I&C system, manufactured by RPC Radiy. The paper shows an application of metric-based approach and MSMC tool for dependability and safety analysis of RTS, and procedure of results verification.