Проєктування - це етап процесу розроблення, який подається у наступній послідовності: аналіз вимог до розроблюваної системи, проєктування, реалізація і валідація, яка може бути здійснена за допомогою імітаційного моделювання або тестування. Система критичного призначення - це система, в якій збої і відмови у роботі призводять до критичних наслідків. Використано поняття "артефакт", тобто сутність, що характеризується архітектурою і змістом. Результат виконання певного кроку на етапі проєктування надано у вигляді блок-схеми алгоритму, діаграми та формалізованого подання. На етапі проєктування процесу розроблення за даними артефактами здійснюється контроль показників не лише функціональних характеристик (ФХ), а й нефункціональних характеристик (НФХ), які типово перевіряються на заключному етапі валідації процесу розроблення. Проведення контролю при цьому сприяє підвищенню рівня функційної безпечності розроблюваної системи з позиції програмноалгоритмічної складової. Запропоновано сприяти цьому через реалізацію механізму спадковості артефактів. Артефакти, несуперечність яких розглянуто і підтверджено як показник ФХ на етапі проєктування процесу розроблення, позиціонуються як вихідні конструкції, на основі яких синтезуються похідні від них артефакти, а саме формалізовані подання, тобто засоби контролю показників НФХ. Для синтезу таких засобів запропоновано ієрархічну модель подання НФХ, яка є засобом уніфікації, за допомогою якого виконується контроль показників НФХ на етапі проєктування процесу розроблення. Для цього залучено математичний апарат Discrete Event System Specification Бернарда Зейглера.

• Шкарупило Вадим Вікторович (1988–) (технічні науки)
• Душеба Валентина Віталіївна (технічні науки)
• Скрупський Степан Юрійович (технічні науки)
• Блінов Ігор Вікторович (1981–) (технічні науки)

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