Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення
Автори: В.В. Шкарупило, І.В. Блінов, В.В. Кучанський, А.В. Давидюк, Д.О. Дімітрієва
Редактори: за заг. ред. В.В.Шкарупила
Анотація: Представлену працю присвячено висвітленню аспектів контролю показників функціональних і нефункціональних характеристик розроблюваної програмно-алгоритмічної складової систем критичного призначення. У якості досліджуваного показника функціональних характеристик адресується несуперечність програмно-алгоритмічної складової. Для цього залучаються формальні методи і засоби. При цьому у якості сценаріїв предметних областей, що охоплюються у праці, розглядаються сценарії, що мають місце на ринку електричної енергії, а також сценарії аерокосмічної галузі. Значна увага приділяється викладенню результатів проведених дослідження і розвитку поширеного методу формальної верифікації TLC. У свою чергу, сценарії енергетики подаються відповідними артефактами –UML-діаграмамидій, і викладаються з позиції їх аналізу як подань функціональних характеристик інформаційно-технологічних системи керування електроенергетичними системами та ринком електричної енергії, відповідно до рекомендацій ENTSO-E. Нефункціональні характеристики адресуються, зокрема, у розрізі пропускної спроможності ліній електропередач –викладаються напрацювання у напрямі розрахунку оптимального співвідношення між витратами на спорудження та експлуатацію ліній. Окрема увага приділяється опрацюванню аспектів реалізації кіберзахисту –шляхом викладення підходу до верифікації артефактів кіберзахисту систем критичного призначення, що базується на застосуваннілогіки предикатів як механізму формування даних для підтримки прийняття відповідних рішень.Викладений матеріал подано у вигляді чотирьох окремих розділів.
Читацька аудиторія: Монографію призначено для магістрантів та аспірантів технічних спеціальностей, зокрема спеціальностей 123 – комп’ютерна інженерія, 125 – кібербезпека; для фахівців у галузі інформаційного обміну та функціонування ринків електричної енергії; для магістрантів та аспірантів, що вивчають електроенергетичні системи і комплекси.
ISBN 978-617-8126-22-3
Відповідальна установа: Ін-т проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Видано: Вінниця: ГО «Європейська наукова платформа»
Інші установи: Ін-т електродинаміки НАН України
Кількість сторінок: 120
Тираж: 100