Запрошений спікер Борис ВІНТЕНКО – провідний інженер-програміст ПАТ НВП “Радій”, м. Кропивницький, провів для студентів онлайн лекцію на тему «Забезпечення функціональної безпеки програмного забезпечення систем критичного застосування», яка відбулася 3 квітня.
У сучасному цифровому світі програмне забезпечення стало невід’ємною складовою систем, що забезпечують життєдіяльність суспільства. Особливо це стосується об’єктів критичної інфраструктури — енергетичних мереж, транспортних систем, медичних пристроїв, авіаційного та залізничного транспорту, а також систем управління промисловими об’єктами. Помилки або вразливості у програмному забезпеченні таких систем можуть призвести не лише до фінансових втрат, а й до людських жертв, що робить питання функціональної безпеки надзвичайно актуальним.
Функціональна безпека полягає у здатності програмного забезпечення діяти передбачувано та безпечно навіть у разі виникнення збоїв або помилок. Зростання складності програмних систем, інтеграція штучного інтелекту та розподілених обчислень лише підвищують ризики. Наприклад, збій в автоматизованій системі сигналізації на залізниці може спричинити аварію, а вразливість в програмному забезпеченні медичного пристрою — поставити під загрозу життя пацієнтів.
Загрози можуть виникати як з технічних причин (наприклад, помилки розробників), так і внаслідок зовнішніх атак — кібератаки, зловмисні втручання або шкідливе програмне забезпечення. Так, відомі випадки атак на енергетичну інфраструктуру, коли за допомогою вразливостей у програмному забезпеченні зловмисники виводили з ладу цілі мережі електропостачання. Це доводить, що надійність ПЗ є не лише технічним, а й стратегічним питанням національної безпеки.
З огляду на вищевикладене, забезпечення функціональної безпеки програмного забезпечення — це не лише вимога сучасного програмування, а й запорука стабільної роботи суспільно важливих систем. Розробники, інженери та фахівці з безпеки повинні активно впроваджувати міжнародні стандарти (як-от IEC 61508, ISO 26262) та сучасні методи верифікації, тестування та аналізу коду. Адже лише так можна гарантувати, що критично важливі системи працюватимуть безпечно навіть в умовах непередбачених ситуацій.
Щиро дякуємо Борису ВІНТЕНКО за представлений цікавий матеріал та надані практичні кейси!
Файл з відеозаписом доступний за посиланням:
https://1drv.ms/v/c/683de6585ece60c8/EQAWnXH2xHlCpZBoaP7lGpQB_0kSM5XCZtRHehtQM0EoqA?e=xgfuJD
