2 грудня 2025 року для студентів 4-го курсу спеціальності 126 «Інформаційні системи та технології» відбулася гостьова лекція на тему «Верифікація та валідація програмного забезпечення для систем, важливих для безпеки (Safety-Critical Systems)». Лекцію провів Олексій Юрійович Стрюк, кандидат технічних наук, доцент, провідний інженер з верифікації (Verification Lead Engineer) компанії RadICS, яка спеціалізується на розробленні програмно-апаратних систем критичного застосування. Під час лекції студентам було представлено сучасні підходи до верифікації та валідації (Verification & Validation, V&V) програмного забезпечення, що використовується у складних технічних системах із підвищеними вимогами до надійності та безпеки. Особливу увагу було приділено практичним аспектам участі інженерів у міжнародних проєктах із розроблення та тестування програмно-апаратних систем критичного призначення (Safety-Critical Systems).
У межах лекції розглядалися ключові питання забезпечення якості програмного забезпечення на різних етапах життєвого циклу систем, зокрема:
- сучасні методи Verification & Validation (V&V) у процесах розроблення складних програмно-апаратних систем;
- підходи до тестування програмного забезпечення та FPGA-проєктів;
- методи аналізу, формалізації та трасування вимог;
- використання інструментів статичного аналізу, моделювання та функціонального тестування;
- застосування міжнародних стандартів функціональної безпечності та інженерії життєвого циклу систем.
Лектор також ознайомив студентів з особливостями організації процесів верифікації у промислових проєктах, методами виявлення та аналізу дефектів, а також підходами до забезпечення якості програмного забезпечення у системах, від функціонування яких залежить безпека технічних об’єктів та інфраструктури. Наведені приклади практичних інженерних рішень та індустріальних кейсів дозволили студентам отримати уявлення про реальні виклики та вимоги до розробників і інженерів з верифікації у сучасних високотехнологічних проєктах.
Гостьова лекція викликала значний інтерес серед студентів, оскільки дала змогу ознайомитися з реальними практиками інженерної діяльності, сучасними технологіями тестування та перспективами професійного розвитку у сфері інженерії програмного забезпечення, тестування та верифікації складних технічних систем.
Співпраця кафедри з ІТ-індустрією
Проведення таких гостьових лекцій є важливою складовою розвитку партнерства кафедри інформаційних систем та технологій з ІТ-індустрією. Залучення практикуючих фахівців до освітнього процесу сприяє поєднанню фундаментальної університетської підготовки студентів із сучасними технологічними практиками, що використовуються у міжнародних інженерних проєктах.
Подібні заходи дозволяють студентам ознайомитися з актуальними напрямами розвитку галузі, отримати практичне уявлення про сучасні інструменти розроблення, тестування та верифікації програмного забезпечення, а також сприяють формуванню професійних компетентностей, необхідних для роботи у високотехнологічних компаніях.
Кафедра інформаційних систем та технологій і надалі планує розширювати співпрацю з представниками ІТ-індустрії, залучаючи фахівців-практиків до проведення гостьових лекцій, практичних занять та спільних освітньо-наукових заходів.
