Search academic texts

Information × Registration Number 0222U003088, 0118U100479 , R & D reports Title Development of the theory of modelling and verification of complicated software systems popup.stage_title Head Onyshchenko Borys , Registration Date 18-02-2022 Organization Bohdan Khmelnytsky National University at Cherkasy popup.description2  When working on the topic "Development of the theory of modeling and verification of complex software systems" of the Department of Software of Automated Systems (PZAS) of the Bohdan Khmelnytsky National University of Cherkasy during 2019-2021 worked on several issues related to the development, study of the properties of software systems and their maintenance. These are problems related to the verification of the dynamic properties of software systems with parallelism, which determine the important properties of the operation of software systems, such as the absence of critical errors, controllability and quality of maintenance. The research on this problem was attended by teachers of the Department of PZAS Ph.D., Assoc. Onishchenko B.O., Ph.D., Assoc. Suprunenko O.O., senior lecturer Grebenovich Yu.Ye. Also in the research of the department much attention is paid to the development of the theory of multi-agent systems, which are widely used in the study of group behavior of social groups and intellectual agents designed to perform technological operations and local control of technological equipment. These studies were supervised by Ph.D., Assoc. Yarmilko A.V., Ph.D., Assoc. Suprunenko O.O. together with students and undergraduates of the department. Research has been conducted on the expansion of functions in software and hardware systems of virtual reality, which allow to expand their use in educational, rehabilitation and other modern applications of software. These researches were carried out by Ph.D., Assoc. Suprunenko O.O., Ph.D., senior lecturer Guk V.I. together with undergraduates of the department. A separate issue that was addressed in this topic was the problem of communication security in computer networks, in particular with the use of cryptographic methods, research and development of which was the main work. This problem was worked by Ph.D., Assoc. Yarmilko A.V. together with students and undergraduates of the department. Product Description popup.authors Grebenovych Yulia Yevgeniivna Guk Vitaliy Ivanovych Onischenko Boris Olegovich Suprunenko Oksana O Yarmilko Andrii Vasylovych popup.nrat_date 2022-03-09 Close