Висвітлено аспекти контролю показників функціональних і нефункціональних характеристик розроблюваної програмно-алгоритмічної складової систем критичного призначення. Розглянуто сценарії, що мають місце на ринку електричної енергії, а також сценарії аерокосмічної галузі. Увагу приділено викладенню результатів проведених дослідження і розвитку поширеного методу формальної верифікації TLC, представлено сценарії енергетики відповідними артефактами - UML-діаграмами дій і викладено з позиції їх аналізу як подань функціональних характеристик інформаційно-технологічних системи керування електроенергетичними системами та ринком електричної енергії, відповідно до рекомендацій ENTSO-E. Зазначено, що нефункціональні характеристики адресуються, зокрема, у розрізі пропускної спроможності ліній електропередач - викладаються напрацювання у напрямі розрахунку оптимального співвідношення між витратами на спорудження та експлуатацію ліній. Акцентовано увагу на опрацюванні аспектів реалізації кіберзахисту - шляхом викладення підходу до верифікації артефактів кіберзахисту систем критичного призначення, що базується на застосуванні логіки предикатів як механізму формування даних для підтримки прийняття відповідних рішень.

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

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