Search academic texts

Information × Registration Number 0225U002021, (0122U001882) , R & D reports Title Modelling and verification of complicated software systems popup.stage_title Моделювання та верифікація складних програмних систем Head Suprunenko Oksana O., к.т.н. Registration Date 14-02-2025 Organization Bohdan Khmelnytsky National University of Cherkasy popup.description1 Improving the design quality of complex software systems by improving the methods of the dynamic properties analysis of their models. Development of methods and tools of modeling and verification of complicated software systems. popup.description2  In the course of the work on the topic ‘Modelling and Verification of Complex Software Systems’, the Department of Automated Systems Software (ASWS) of B. Khmelnytsky Cherkasy National University in 2022-2024 worked on several problems related to the development, study of the properties of software systems and their maintenance. Traditionally, scientific research has analyzed problems related to methodological and instrumental means of simulation modelling of software systems with parallelism. A way to increase the efficiency of studying the dynamic properties of PN-models of software systems based on improving the architecture of a combined approach to simulation modelling of systems with parallelism using the convolution method іwas proposed. Simulation modelling tools for software systems allow to study the operational characteristics of software systems, such as the absence of critical errors, controllability and quality of support. In the department's research, much attention іs paid to the development of the theory of multi-agent systems, which are widely used in the study of group behavior of both social groups of people and intelligent agents designed to perform technological operations and tasks of local control of technological equipment. Research was conducted on the development of virtual reality technologies for technological and educational tasks, which allow expanding their use in educational and other modern software applications. A separate problem that was worked out within the framework of this topic was the methods of increasing communication security in computer networks using cryptographic methods. Another area of the department's research was the study of algorithmic complexity and methods of increasing the efficiency of algorithms. Product Description popup.authors Hrebenovych Yuliia Ye. Huk Vitalii I. Mysnyk Bohdan V. Onyshchenko Borys O. Porublov Illia M. Suprunenko Oksana O. Yarmilko Andrii V. popup.nrat_date 2025-02-14 Close