Topic 8

Заняття 8. Галузева сертифікація та аудити критичного ПЗ. Функціональна безпека вбудованих систем (Embedded Software) та транспортних засобів (ISO 26262)

Мета: формування у студентів цілісної системи знань, методологічної культури та практичних інженерних умінь у галузі проєктування, розробки, верифікації та сертифікаційного аудиту критичного вбудованого програмного забезпечення (Safety-Critical Embedded Software) відповідно до вимог міжнародного стандарту функціональної безпеки дорожнього транспорту ISO 26262. Студент має засвоїти системну декомпозицію та розрізнення категорій Mission-Critical і Safety-Critical, осягнути онтологію відмов (розрізнення випадкових апаратних збоїв і систематичних дефектів коду) та опанувати модифіковану V-модель із вимогами наскрізного двонаправленого трасування (Traceability). У процесі навчання особлива увага приділяється практичному засвоєнню методології HARA (Hazard Analysis and Risk Assessment) для визначення Рівнів цілісності автомобільної безпеки (ASIL A – ASIL D) на основі параметричного аналізу важкості наслідків (S), частоти ситуації (E) та керованості (C). Студенти мають навчитися застосовувати суворі обмеження безпечного кодування (статичне виділення пам'яті, заборона рекурсії за стандартами MISRA C / AUTOSAR C++), проєктувати відмовостійкі архітектури за шаблонами Fail-Safe, Fail-Operational та TMR, а також проводити математичну верифікацію коду з досягненням 100% покриття за суворою метрикою MC/DC. Важливим практичним результатом є формування вміння розробляти повну Доказову базу безпеки (Safety Case) та проходити процедуру сертифікаційного аудиту нотифікованими органами (зокрема TÜV) із проведенням випробувань методом впорскування помилок (Fault Injection) на апаратних стендах HIL (Hardware-in-the-Loop) для офіційного підтвердження відповідності та отримання допуску транспортних засобів до серійного випуску.