Реєстраційний номер
0222U003088,
0118U100479
, Науково-дослідна робота
Назва роботи
Розвиток теорії моделювання та верифікації складних програмних систем
Назва етапу роботи
Керівник роботи
Онищенко Бороис Олегович,
Дата реєстрації
18-02-2022
Організація виконавець
Черкаський національний університет імені Богдана Хмельницького
Опис етапу
При роботі за темою «Розвиток теорії моделювання та верифікації складних програмних систем» кафедри програмного забезпечення автоматизованих систем (ПЗАС) Черкаського національного університету ім. Б. Хмельницького протягом 2019-2021 років опрацьовувались кілька проблем, що пов’язані з розробкою, вивченням властивостей програмних систем та їх супроводом. Це проблеми, пов’язані з перевіркою динамічних властивостей програмних систем з паралелізмом, які обумовлюють важливі властивості експлуатації програмних систем, такі як відсутність критичних помилок, керованість та якість супроводу. У дослідженнях за цією проблемою брали участь викладачі кафедри ПЗАС к.ф.-м.н., доц. Онищенко Б.О., к.т.н., доц. Супруненко О.О., ст.викл. Гребенович Ю.Є.
Також у дослідженнях кафедри велика увага приділяється розвитку теорії мультиагентних систем, які широко застосовуються у вивченні групової поведінки як соціальних груп людей, так і інтелектуальних агентів, які призначені для виконання технологічних операцій та задач локального керування технологічним обладнанням. Даними дослідженнями опікувалися к.т.н., доц. Ярмілко А.В., к.т.н., доц. Супруненко О.О. разом зі студентами та магістрантами кафедри.
Проводились дослідження з розширення функцій у програмно-апаратних системах віртуальної реальності, які дозволяють розширити їх використання у навчальних, реабілітаційних та інших сучасних задачах застосування програмних засобів. Цими дослідженнями займались к.т.н., доц. Супруненко О.О., к.т.н., ст.викл. Гук В.І. разом з магістрантами кафедри.
Окремою проблемою, яка опрацьовувалась у рамках даної тему була проблема забезпечення комунікаційної безпеки у комп’ютерних мережах, зокрема з використанням криптографічних методів, над дослідженням та розвитком яких і проводилась основна робота. Цю проблему опрацьовував к.т.н., доц. Ярмілко А.В. разом зі студентами та магістрантами кафедри.
Опис продукції
Автори роботи
Гребенович Юлія Євгеніївна
Гук Віталій Іванович
Онищенко Борис Олегович
Супруненко Оксана Олександрівна
Ярмілко Андрій Васильович
Додано/оновлено в НРАТ
2022-03-09
