Вирішено важливу індустріальну проблему розробки високонадійних систем, зокрема, систем, що критичні до безпеки. Розглянуто проблеми тестування, верифікації та реверсної інженерії, які актуальні на кожній стадії процесу розробки. Надано огляд сучасного стану систем і методів модельного тестування та верифікації. Визначено специфікації моделей систем критичних до безпеки у вигляді нотації Live UCM. Розширено клас предикатних перетворювачів для вирішення завдань символьного моделювання. Розглянуто семантику методу трасової генерації для Live UCM специфікацій. Розроблено методику модельного тестування на основі методів "чорної скриньки" та "білої скриньки", методи верифікації із застосування інваріантів, а також розглянуто методи перетворення моделей для цілей реверсної інженерії.

• Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"