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
