У Херсонському державному університеті відбулася робоча нарада, присвячена стану реалізації проєкту «Символьні методи переписування для забезпечення безпеки та надійності критичних кібер-фізичних систем» за програмою НАТО/NATO «Наука заради миру та безпеки».
За модерації проректорки з міжнародної, соціально-гуманітарної та науково-педагогічної роботи Вероніки Денисенко та за участі ректора Херсонського державного університету Олександра Співаковського, керівниці відділу міжнародних зв’язків Євгенії Ревенко та команди відділу, заступниці головного бухгалтера Наталії Сундрунової, координатора проєкту від ХДУ - завідувача кафедри комп’ютерних наук та програмної інженерії ХДУ Володимира Песчаненка обговорили поточний стан та плани по реалізації проєкту.
За словами координатора Володимира Песчаненка, проєкт знаходиться у стадії виконання, розрахований до вересня 2026 року. Команда працювала над розробкою автоматичних математичних методів для аналізу безпеки та правильності сучасних складних кіберфізичних (комп'ютерних) систем. Прикладами кіберфізичних систем є автомобілі, літаки, системи управління бойовими машинами, БПЛА, залізничні системи, інтелектуальні транспортні системи, системи промислового виробництва, електростанції тощо. Готується відповідна публікація.
Партнерами у цьому проєкті є – Херсонський державний університет (Україна), Політехнічний університет Валенсії (Іспанія), Тбіліський державний університет імені Іване Джавахішвілі (Грузія), Університет Осло (Норвегія), Західний університет Тімішоари (Румунія), Університет Париж ХІІІ (Університет Париж-Північ) (Франція), Пхоханський університет науки і технології (Південна Корея).
За результатами наради буде підготовлено розпорядження, яке стосуватиметься відпрацювання пропозицій по закупівлі комп’ютерного обладнання та проведення самої закупівлі.
Пресцентр ХДУ
You can: Print version Send to friend