Skip to main navigation menu Skip to main content Skip to site footer
##common.pageHeaderLogo.altText##

Scientific monographs

Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення: монографія

DOI
https://doi.org/10.36074/mzkapppasskp-monograph.2023
Published
05.02.2023

Abstract

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

Викладений матеріал подано у вигляді чотирьох окремих розділів.

Монографію призначено для магістрантів та аспірантів технічних спеціальностей, зокрема спеціальностей 123 – комп’ютерна інженерія, 125 – кібербезпека; для фахівців у галузі інформаційного обміну та функціонування ринків електричної енергії; для магістрантів та аспірантів, що вивчають електроенергетичні системи і комплекси.

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯

Монографію підготовлено за результатами досліджень, проведених згідно вирішуваних задач наступних НДДКР: «Розроблення методів та засобів верифікації артефактів процесу проєктування систем критичного призначення» (№ держ. реєстрації: 0121U110615); «Розроблення спеціалізованих комп’ютерних технологій моделювання та опрацювання оперативної інформації в задачах енергетики» (№ держ. реєстрації: 0120U102683).

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯

Рекомендовано до друку Вченою радою Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України (протокол № 12 від 1 грудня 2022 року), Вченою радою Інституту електродинаміки НАН України (протокол № 12 від 8 грудня 2022 року).

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯

REVIEWERS:

Лахно Валерій Анатолійович - доктор технічних наук, професор, професор кафедри комп’ютерних систем, мереж та кібербезпеки Національного університету біоресурсів і природокористування України, Україна

Зайцев Євген Олександрович - доктор технічних наук, старший науковий співробітник, провідний науковий співробітник Інституту електродинаміки Національної академії наук, Україна

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯

ЗМІСТ:

СКОРОЧЕННЯ ТА УМОВНІ ПОЗНАКИ

ПЕРЕДМОВА

РОЗДІЛ 1. РОЗВИТОК МЕТОДУ ПЕРЕВІРКИ НА МОДЕЛІ
1.1 Обґрунтування доцільності прикладного застосування і розвитку формальних методів і засобів
1.2 Постановка вирішуваної задачі
1.3 Дослідження методу перевірки на моделі
   1.3.1 Аналіз сценарію предметної області
   1.3.2 Створення і перевірка специфікації
   1.3.3 Автоматизація процесу синтезу специфікацій
   1.3.4 Дослідження послідовного сценарію
   1.3.5 Дослідження сценарію із поданням паралелізму
1.4 Розвиток методу і валідація результатів
   1.4.1 Аспекти проведеного розвитку методу
   1.4.2 Оцінювання корисного ефекту
       1.4.2.1 Опис сценарію предметної області
       1.4.2.2 Дослідження реалізацій методу
       1.4.2.3 Узагальнення результату оцінювання
       1.4.2.4 Перевірка нульової гіпотези для нижньої границі
       1.4.2.5 Перевірка нульової гіпотези для верхньої границі
   1.4.3 Огляд сценарію енергетики
1.5 Дослідження впливу мультипоточності
1.6 Висновки

РОЗДІЛ 2. ОПИС СЦЕНАРІЮ ПРЕДМЕТНОЇ ОБЛАСТІ РОЗПОДІЛУ ПРОПУСКНОЇ СПРОМОЖНОСТІ МІЖДЕРЖАВНИХ ПЕРЕТИНІВ ЕЛЕКТРИЧНИХ МЕРЕЖ НА ОСНОВІ ВИКОРИСТАННЯ РОЛЬОВИХ МОДЕЛЕЙ
2.1 Аспекти розподілу пропускної спроможності міждержавних перетинів електричних мереж
2.2 Побудова об’єктно-орієнтованих моделей розподілу пропускної спроможності з урахуванням європейських вимог
2.3 Висновки

РОЗДІЛ 3. АПРОКСИМАЦІЯ ЕКОНОМІЧНИХ КРИВИХ ПРОВОДІВ ПОВІТРЯНОЇ ЛІНІЇ ЕЛЕКТРОПЕРЕДАВАННЯ ЗАДЛЯ ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ СПОРУДЖЕННЯ ЕЛЕКТРИЧНИХ МЕРЕЖ
3.1 Методики вибору перерізів проводів повітряної лінії
3.2 Оптимізація перерізу та конструкції фази повітряної лінії
3.3 Алгоритмізація апроксимації економічних кривих і розроблення програми розрахунку
3.4 Висновки

РОЗДІЛ 4. ПІДХОДИ ДО ВЕРИФІКАЦІЇ АРТЕФАКТІВ ПРОЦЕСУ ЗАБЕЗПЕЧЕННЯ КІБЕРБЕЗПЕКИ ОБ’ЄКТІВ КРИТИЧНОГО ПРИЗНАЧЕННЯ
4.1 Аналіз нормативної бази щодо кіберзахисту систем критичного призначення
4.2 Методи отримання артефактів кіберзахисту
4.3 Підхід до верифікації артефактів кіберзахисту
4.4 Висновки

СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯

Year of publication: 2023
Language: Ukrainian
Authors: Shkarupylo V.V., Blinov I.V., Kuchanskyi V.V., Davydiuk A.V., Dimitriieva D.O.
Translation: No
Translator: -

Type: Paperbook
Number of pages: 120
Format: 148x210x10mm
ISBN: 978-617-8126-22-3
UDC: 004.052.42

References

  1. Clarke E.M., Grumberg O., Kroening D., Peled D., Veith H. Model checking: 2nd ed. Massachusetts: The MIT Press, 2018.
  2. Шкарупило В. В. Концепція формальної верифікації UML-діаграм методами Model Checking. Моделювання: ХХХІV науково-технічна конференція, 13–14 січня 2015 р.: тези доп. К.: ІПМЕ ім. Г. Є. Пухова НАН України, 2015. C. 13.
  3. Shkarupylo V. V., Tomičić I., Kasian K. M. The investigation of TLC model checker properties. Journal of Information and Organizational Sciences. 2016. Vol. 40, No. 1. P. 145-152. DOI: https://doi.org/10.31341/jios.40.1.7
  4. Shkarupylo V. V., Tomičić I., Kasian K. M., Alsayaydeh J. A. J. An Approach to increase the Effectiveness of TLC Verification with Respect to the Concurrent Structure of TLA+ Specification. International Journal of Software Engineering and Computer Systems. 2018. Vol. 4, No. 1. P. 48-60. DOI: https://doi.org/10.15282/ijsecs.4.1.2018.4.0037
  5. Shkarupylo V.V. An in-depth look at TLC model checker. Тиждень науки-2016: зб. тез доп. науково-практ. конф., 18-22 квітня 2016 р. Запоріжжя: ЗНТУ, 2016. C. 523-524.
  6. Шкарупило В. В. Особливості використання методу формальної верифікації TLC. Науково-технічна конференція молодих вчених та спеціалістів Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України: тези доп., м. Київ, 12 січня 2016 р. C. 31.
  7. Shkarupylo V. TLC model checking and the concurrency in specification. Proc. Tenth International Scientific-Practical Conference “INTERNET-EDUCATION-SCIENCE-2016”, IES-2016 (Vinnytsia, Ukraine, October 11–14, 2016). P. 89-91. URL: http://ir.lib.vntu.edu.ua/handle/123456789/13390 (дата звернення: 12.11.2022)
  8. Шкарупило В.В., Скрупський С.Ю. Комбінований підхід до застосування методу перевірки на моделі TLC. Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Х Ювілейна міжнародна науково-практична конференція, присвячена 120-річчю з дня заснування Національного університету «Запорізька політехніка» (Запоріжжя, Україна, 7-9 жовтня, 2020). Запоріжжя: НУ «ЗП». С. 95-97.
  9. Shkarupylo V.V., Tomičić I., Arapin D.V. The concurrency representation in TLA+ specification. Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій (м. Запоріжжя, Україна, 21-23 вересня, 2016). Запоріжжя: ЗНТУ, 2016. С. 118-119.
  10. Larman C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. 3rd Edition. Pearson, 2004. 736 p.
  11. Шкарупило В.В., Кудерметов Р.К., Польська О.В. Дослідження просторової складності алгоритмів в основі методу верифікації TLC. Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Х Ювілейна міжнародна науково-практична конференція, присвячена 120-річчю з дня заснування Національного університету «Запорізька політехніка» (Запоріжжя, Україна, 7-9 жовтня, 2020). Запоріжжя: НУ «ЗП». С. 93-95.
  12. Шкарупило В.В., Чемерис О.А., Душеба В.В. Оцінювання просторової складності задачі формальної верифікації, вирішуваної методом перевірки на моделі. Вчені записки Таврійського національного університету імені В.І.Вернадського, серія «Технічні науки». 2020. Том 31 (70), № 5. С. 147-151. DOI: https://doi.org/10.32838/2663-5941/2020.5/24
  13. Методичні вказівки до лабораторних робіт з дисципліни "Грід обчислення та хмарні технології" для студентів спеціальності 123 "Комп'ютерна інженерія" всіх форм навчання / Укл. С.Ю. Скрупський, В.В. Шкарупило. Запоріжжя: ЗНТУ, 2018. 64 с. URL: http://eir.zp.edu.ua/handle/123456789/3938
  14. Shkarupylo V., Alsayaydeh J.A.J, Tomičić I., Chemeris A., Dusheba V. A technique for checking the adequacy of formal model. ARPN Journal of Engineering and Applied Sciences. August 2021. Vol. 16, No. 16. P. 1707-1719. URL: http://www.arpnjournals.org/jeas/research_papers/rp_2021/jeas_0821_8670.pdf
  15. Шкарупило В.В., Блінов І.В. Щодо застосування методу перевірки на моделі при проєктуванні інформаційно-технологічних систем суб’єктів ринку електроенергії. XXXIX науково-технічна конференція молодих вчених та спеціалістів Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, присвячена 40-річчю Інституту, Дню науки в Україні та з нагоди відзначення 30-ї річниці незалежності України (м. Київ, Україна, 12 травня, 2021). Київ: ІПМЕ ім. Г.Є. Пухова НАН України. С. 7-9.
  16. Shkarupylo V., Blinov I., Chemeris A., Dusheba V., Alsayaydeh J., Oliinyk A. Iterative Approach to TLC Model Checker Application. Proc. 2021 IEEE KhPI Week on Advanced Technology (Kharkiv, Ukraine, September 13 – 17, 2021). DOI: https://doi.org/10.1109/KhPIWeek53812.2021.9569981
  17. Шкарупило В.В., Чемерис О.А., Душеба В.В., Кудерметов Р.К. Дослідження мультипоточної реалізації методу перевірки на моделі для темпоральної логіки дій. Вчені записки Таврійського національного університету імені В.І.Вернадського, серія «Технічні науки». 2020. Том 31 (70), № 6, Ч. 1. С. 173-177. DOI: https://doi.org/10.32838/TNU-2663-5941/2020.6-1/28
  18. Шкарупило В.В., Чемерис О.А., Душеба В.В. Дослідження впливу мультипоточності на швидкодію методу перевірки на моделі. Безпека енергетики в епоху цифрової трансформації: Друга науково-практична конференція Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова Національної академії наук України (Київ, Україна, 28-29 грудня, 2020). Київ : ІПМЕ ім. Г.Є. Пухова НАН України, 2020. С. 75-77.
  19. Шкарупило В.В., Блінов І.В., Душеба В.В., Кучанський В.В. Щодо мультипоточного застосування формального методу перевірки на моделі TLC. Topical issues of modern science, society and education. Proceedings of the 2nd International scientific and practical conference. SPC “Sci-conf.com.ua”. Kharkiv, Ukraine. 2021. P. 231-236. URL: https://sci-conf.com.ua/wp-content/uploads/2021/09/TOPICAL-ISSUES-OF-MODERN-SCIENCE-SOCIETY-AND-EDUCATION-5-7.09.21.pdf
  20. Shkarupylo V.V., Blinov I.V., Chemeris A.A., Dusheba V.V., Alsayaydeh J.A.J. On Applicability of Model Checking Technique in Power Systems and Electric Power Industry. In: Zaporozhets A. (eds) Systems, Decision and Control in Energy III. Studies in Systems, Decision and Control, vol 399. Springer, Cham, 2022. ISBN 978-3-030-87675-3. DOI: https://doi.org/10.1007/978-3-030-87675-3_1
  21. Тіменко А.В., Шкарупило В.В., Скрупський С.Ю., Смолій В.В. Дослідження шляхів підвищення пропускної спроможності підсистеми пам’яті сучасної обчислювальної системи. Вчені записки Таврійського національного університету імені В.І.Вернадського, серія «Технічні науки». 2020. Том 31 (70), Ч. 1, № 2. С. 208-212. DOI: https://doi.org/10.32838/2663-5941/2020.2-1/32
  22. Про ринок електричної енергії: Закон України № 2019-VIII від 13.04.2017.
  23. Блінов І.В. Проблеми функціонування та розвитку ринку електричної енергії України. (за матеріалами наукової доповіді на засіданні Президії НАН України 3 лютого 2021 р.). Вісник НАН України. 2021. № 3. С. 20-28. DOI: https://doi.org/10.15407/visn2021.03.020
  24. Постанова Національної комісії, що здійснює державне регулювання у сферах енергетики та комунальних послуг №307 від 14.03.2018 «Про затвердження Правил ринку».
  25. Парус Є.В., Блінов І.В. Складові імітаційної моделі процесів ціноутворення на ринку електричної енергії України. Праці Інституту електродинаміки НАН України. Імітаційна, 2019. Вип. 53. С. 28–34.
  26. Блінов І.В., Парус Є.В., Мірошник В.О., Шиманюк П.В. Сичова В.В. Модель оцінки доцільності переходу промислових споживачів до погодинного обліку електричної енергії на роздрібному ринку. Енергетика: економіка, технології, екологія», 2021. №1. С. 88-97. DOI: https://doi.org/10.20535/1813-5420.1.2021.242186
  27. Кириленко О.В., Блінов І.В., Парус Є.В. Оцінка роботи електростанцій при наданні допоміжних послуг з первинного та вторинного регулювання частоти в ОЕС України. Технічна електродинаміка, 2013. № 5. С. 55-60.
  28. Кириленко О.В., Блінов І.В., Парус Є.В., Іванов Г.А. Імітаційна модель ринку електричної енергії «на добу наперед» з неявним врахуванням мережевих обмежень енергетичних систем. Технічна електродинаміка, 2019. № 5. С. 60-67. DOI: https://doi.org/10.15407/techned2019.05.060
  29. Блінов І.В., Мірошник В.О., Шиманюк П.В. Оцінка вартості похибки прогнозу «на добу наперед» технологічних втрат в електричних мережах України. Технічна електродинаміка, 2020. №5. С. 70-73. DOI: https://doi.org/10.15407/techned2020.05.070
  30. Іванов Г.А., Блінов І.В., Парус Є.В. Комплексна розрахункова модель ринку на добу наперед та балансуючого ринку електроенергії України. Промелектро, 2016. № 4-5. С. 8-12.
  31. Блінов І.В., Парус Є.В., Іванов Г.А. Імітаційне моделювання функціонування балансуючого ринку електроенергії з урахуванням системних обмежень на параметри режиму ОЕС України. Технічна електродинаміка, 2017. № 6. С. 72-79. DOI: https://doi.org/10.15407/techned2017.06.072
  32. Борукаєв, З., Блінов, І., Остапченко, К., Чемерис, О., & Шкарупило, В. (2022). Моделі та засоби автоматизації систем організаційного управління енергоринком: монографія. Publishing House «European Scientific Platform», 122. https://doi.org/10.36074/mtzasoye-monograph.2022
  33. Kuchanskyy V., Malakhatka D., Blinov I. Application of Reactive Power Compensation Devices for Increasing Efficiency of Bulk Electrical Power Systems. 2020 IEEE 7th International Conference on Energy Smart Systems (ESS), 2020. P. 83-86. DOI: 10.1109/ESS50319.2020.9160072
  34. Blinov I., Zaitsev I.O., Kuchanskyy V.V. Problems, Methods and Means of Monitoring Power Losses in Overhead Transmission Lines. Systems, Decision and Control in Energy I. Studies in Systems, Decision and Control, 2020, Vol. 298. Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-48583-2_8
  35. Блінов І.В. Теоретичні та практичні засади функціонування конкурентного ринку електроенергії. К.: Наукова думка, 2015. 250 с.
  36. Блінов І.В., Парус Є.В. Спосіб реалізації аукціону пропускної спроможності міждержавних перетинів між ринками електричної енергії. Технічна електродинаміка, 2014. № 5. С. 56-58.
  37. Інтелектуальні електричні мережі: елементи та режими. Під заг. Ред. Акад. НАН України Кириленко О.В. К.: Ін-т електродинаміки НАН України, 2016. 400 с.
  38. Олефір Д.О., Бабіч В.Ю, Блінов І.В. Актуальні проблеми забезпечення ОЕС України ресурсами регулювання частоти та потужності. Енергетика: економіка, технології, екологія, 2021. № 3. С. 39-46. DOI: https://doi.org/10.20535/1813-5420.3.2021.251196
  39. Blinov I., Kyrylenko O., Parus E., Rybina O. Decentralized Market Coupling with Taking Account Power Systems Transmission Network Constraints. Power Systems Research and Operation. Studies in Systems, Decision and Control, 2022. Vol. 388. Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-82926-1_1
  40. Blinov I.V. New approach to congestion management for decentralized market coupling using net export curves. CIGRE Session 46. 2016.
  41. Блінов І.В., Парус Є.В., Іванов Г.А. Дослідження організації конкурентної моделі ринку електроенергії України з урахуванням мережевих обмежень в ОЕС України. Праці Інституту електродинаміки Національної академії наук України, 2016. № 45. С. 34-39.
  42. Постанова Національної комісії, що здійснює державне регулювання у сферах енергетики та комунальних послуг №763 від 03.04.2020 «Про затвердження Правил управління обмеженнями та Порядку розподілу пропускної спроможності міждержавних перетинів».
  43. Блінов І.В., Рибіна О.Б., Парус Є.В., Танкевич С.Є. Математична модель розподілу пропускної спроможності міждержавних перетинів між двома ринками електричної енергії. Пр. Ін-ту електродинаміки НАН України, 2014. Вип. 37. С. 125-130.
  44. Блінов І.В., Парус Є.В. Врахування мережевих обмежень та мінімізація різниці цін між ринками електроенергії. Технічна електродинаміка, 2015. № 5. С. 8-88.
  45. ENTSO-E. Capacity Allocation and Nomination System (ECAN). Implementation Guide, 2011. 235 p.
  46. Кириленко О.В., Блінов І.В., Парус Є.В., Трач І.В. Оцінка ефективності використання систем накопичення електроенергії в електричних мережах. Технічна електродинаміка, 2021. № 4. С 44-54. DOI: https://doi.org/10.15407/techned2021.04.044
  47. Кириленко О.В., Денисюк С.П., Блинов И.В. и др. Интеллектуальные электроэнергетические системы: элементы и режимы. Под общ. ред. акад. НАН Украины А.В. Кириленко. К.: Ин-т электродинамики НАН Украины, 2014. 408 с.
  48. Кириленко О.В. Блінов І.В., Корхмазов Г.С., Попович В.І. Інформаційно-технологічні системи конкурентного ринку електричної енергії в Україні. Проблеми загальної енергетики, 2009. № 19. С. 16-22.
  49. Блінов І.В., Парус Є.В., Шкарупило В.В. Структура та моделі інформаційної взаємодії учасників ринку електричної енергії. Вінниця: ГО «Європейська наукова платформа», 2021. 114 с. DOI: https://doi.org/10.36074/stmivyree-monograph.2021
  50. Танкевич С.Є., Блінов І.В., Кириленко В.В. Україна та світ: нормативне забезпечення інтелектуальних електроенергетичних систем за концепцією Smart Grid. Стандартизація, сертифікація, якість, 2014. № 4 (89). С. 38-44.
  51. ІEC/TR 63097:2017 Smart grid standardization roadmap. 2017. 315 p.
  52. Блінов І.В., Попович В.І. Гармонізована рольова модель європейського ринку електроенергії. Проблеми загальної енергетики, 2011. № 3(26). С. 5-11.
  53. Кириленко О.В., Блінов І.В., Корхмазов Г.С., Попович В.І. Рольова модель конкурентного оптового ринку електричної енергії в Україні: концептуальна схема, сегменти та ролі учасників. Пр. Ін-ту електродинаміки НАН України, 2010. Вип. 25. С. 5-13.
  54. Blinov I., Tankevych S. The harmonized role model of electricity market in Ukraine. 2016 2nd International Conference on Intelligent Energy and Power Systems, IEPS 2016 Conference Proceedings, 2016. DOI:10.1109/IEPS.2016.7521861
  55. IEC 62325-451-3:2014+AMD1:2017 CSV Consolidated version. Framework for energy market communications - Part 451-3: Transmission capacity allocation business process (explicit or implicit auction) and contextual models for European market, 2017. 934 p.
  56. Кириленко О.В., Блінов І.В., Танкевич С.Є. Smart Grid та організація інформаційного обміну в електроенергетичних системах. Технічна електродинаміка, 2012. № 3. С. 47-48.
  57. The conceptual model and its relation to market models for Smart Grids. SG-CG/M490/J_ General Market Model Development. CEN-CENELEC-ETSI Smart Grid Coordination Group, 2014. P. 25.
  58. Шкарупило В.В., Блінов І.В. Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення: монографія. Вінниця: ГО «Європейська наукова платформа», 2021. 104 с. DOI: https://doi.org/10.36074/smtzfvappskp-monograph.2021
  59. Зайцев Є., Кучанський В., Гунько І. Підвищення експлуатаційної надійності та ефективності роботи електричних мереж та електроустаковання: монографія. Publishing House «European Scientific Platform», 2021. 156 p. DOI: https://doi.org/10.36074/penereme-monograph.2021
  60. Тугай Ю.І., Кучанський В.В., Тугай І.Ю. Застосування керованих пристроїв компенсації зарядної потужності ЛЕП НВН в електричних мережах. Технічна електродинаміка, 2021. No 1. С. 53-56. DOI: https://doi.org/10.15407/techned2021.01.053
  61. Zaitsev Ie.O., Kuchanskyy V.V. Corona discharge problem in extra high voltage transmission line. In: Zaporozhets, A., Artemchuk, V. (eds.). Systems, Decision and Control in Energy II, Berlin: Springer, 2021. P. 3-30. DOI: https://doi.org/10.1007/978-3-030-69189-9_1
  62. Kuchanskyi V., Zaitsev Ie. Corona discharge power losses measurement systems in extra high voltage transmissions lines. Proceedings of 2020 IEEE 7th International Conference on Energy Smart Systems (ESS), 2020, Kyiv, Ukraine, P. 48-53. DOI: https://doi.org/10.1109/ESS50319.2020.9160088
  63. Kuchanskyy V., Satyam P., Rubanenko O. et al. Measures and Technical Means for Increasing Efficiency and Reliability of Extra High Voltage Transmission Lines. Electrotechnical Review, 2020. Vol. 96, No. 11. P. 135-141.
  64. Кучанський В., Лиховид Ю. Техніко-економічне обгрунтування вибору конструкції фази та перерізу проводу повітряної лінії електропередач. Праці Інституту електродинаміки Національної академії наук України, 2022. Вип. 61. DOI:10.15407/publishing2022.61.052
  65. Kuchanskyy V., Tereshchuk V. Method of Regulating the Operating Modes of Main Electrical Systems in Terms of Voltage and Reactive Power. Systems Decision and Control in Energy III, Springer, Cham, 2022. P. 23-38.
  66. Kuchanskyy V., Malakhatka D., Zaporozhets A. Operating Modes Optimization of Bulk Electrical Power Networks: Structural and Parametrical Methods. In: Kyrylenko O., Zharkin A., Butkevych O., Blinov I., Zaitsev I., Zaporozhets A. (eds). Power Systems Research and Operation. Studies in Systems, Decision and Control, 2022. Vol. 388, Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-82926-1_5
  67. Кучанський В., Малахатка Д. Параметрична оптимізація режимів роботи магістральних електричних мереж за критерієм втрат активної потужності. Праці Інституту електродинаміки Національної академії наук України, Вересень 2021. Вип. 59. DOI: 10.15407/publishing2021.59.072
  68. Blinov I., Trach I., Parus Y., Khomenko V., Kuchanskyy V., Shkarupylo V. Evaluation of The Efficiency of The Use of Electricity Storage Systems in The Balancing Group and The Small Distribution System. Proc. 2021 IEEE 2nd KhPI Week on Advanced Technology (KhPIWeek), 2021. P. 262-265, DOI: 10.1109/KhPIWeek53812.2021.9569981
  69. Hunko I., Kuchanskyi V., Nesterko A., Rubanenko O. Modes of electrical systems and grids with renewable energy sources. LAMBERT Academic Publishing, 2019. 184 p. ISBN 978-613-9-88956-3
  70. Hunko I.O., Kuchanskyy V.V., Nesterko A.B. Engineering sciences: development prospects in countries of Europe at the beginning of the third millennium: Collective monograph, 2018. Vol. 2, Riga: Izdevniecība “Baltija Publishing”. 492 p. ISBN 978-9934-571-63-3
  71. Kuchanskyy V., Satyam P., Rubanenko O., Hunko I. Measures and technical means for increasing efficiency and reliability of extra high voltage transmission lines. Prz. Elektrotech, 2020. 11. P. 135-141.
  72. Закон України «Про основні засади забезпечення кібербезпеки України», 2017. URL: https://zakon.rada.gov.ua/laws/show/2163-19#Text
  73. Закон України «Про критичну інфраструктуру», 2021. URL: https://zakon.rada.gov.ua/laws/show/1882-20#Text
  74. ГОСТ 34.003-90 «Інформаційна технологія Комплекс стандартів на автоматизовані системи. Автоматизовані системи. Терміни та визначення», 1992. URL: http://college.cv.ua/download/meth/Babenkov/Doc/ISTO/GOST/%C3%CE%D1%D2%2034.003-90.pdf
  75. ГОСТ 34.201-89. Види, комплектність та позначення документів при створенні автоматизованих систем, 1990. URL: http://csm.kiev.ua/nd/nd.php?b=2&l=1708
  76. ГОСТ 34.320-96. Концепції та термінологія для концептуальної схеми та інформаційної бази, 1996. URL: https://www.rts.ua/rus/forpro/613/0/19/
  77. ГОСТ 34.321-96. Інформаційні технології. Система стандартів з баз даних. Еталонна модель керування, 2001. URL: http://www.ksv.biz.ua/publ/gost_34_321_96/1-1-0-2200
  78. ГОСТ 34.601-90. Автоматизовані системи. Стадії створення, 1992. URL: https://www.rts.ua/rus/forpro/613/0/18/
  79. ГОСТ 34.602-89. Технічне завдання на створення автоматизованої системи (замість ГОСТ 24.201-85), 1990. URL: https://www.rts.ua/rus/forpro/613/0/17/
  80. ГОСТ 34.603-92. Інформаційна технологія. Види випробувань автоматизованих систем, 1993. URL: https://www.rts.ua/rus/forpro/613/0/22/
  81. Перелік документів системи технічного захисту інформації (НД ТЗІ), 2021. URL: https://cip.gov.ua/ua/news/perelik-dokumentiv-sistemi-tekhnichnogo-zakhistu-informaciyi-nd-tzi
  82. НД ТЗІ 3.7-003-2005. Порядок проведення робіт із створення комплексної системи захисту інформації в інформаційно-телекомунікаційній системі. Наказ ДСТСЗІ СБ України від 08.11.2005 № 125 (Зміна № 1 наказу Адміністрації Держспецзв’язку від 28.12.2012 № 806), 2005. URL: https://tzi.com.ua/downloads/3.7-003-2005.pdf
  83. НД ТЗІ 1.4-001-2000. Типове положення про службу захисту інформації в автоматизованих системах. Наказ ДСТСЗІ СБУ від 04.12.2000 № 53 (Зміна № 1 наказу Адміністрації Держспецзв’язку від 28.12.2012 № 806), 2000. URL: https://tzi.com.ua/downloads/1.4-001-2000.pdf
  84. ДСТУ ISO/IEC 27005:2015. Інформаційні технології. Методи захисту. Управління ризиками інформаційної безпеки (ISO/IEC 27005:2011, IDT), 2015. URL: http://online.budstandart.com/ua/catalog/doc-page.html?id_doc=66912
  85. ДСТУ ISO 31000:2018. Менеджмент ризиків. Принципи та настанови (ISO 31000:2018, IDT), 2018. URL: http://online.budstandart.com/ua/catalog/doc-page.html?id_doc=80322
  86. ДСТУ ISO/IEC 27000:2019. Інформаційні технології. Методи захисту. Системи керування інформаційною безпекою. Огляд і словник термінів (ISO/IEC 27000:2018, IDT), 2018. URL: http://online.budstandart.com/ua/catalog/doc-page.html?id_doc=85795
  87. Постанова Кабінету Міністрів України від 19 червня 2019 року № 518 «Про затвердження Загальних вимог до кіберзахисту об’єктів критичної інфраструктури», 2019. URL: https://zakon.rada.gov.ua/laws/show/518-2019-%D0%BF#Text
  88. Закон України Про захист інформації в інформаційно-комунікаційних системах, 1994. URL: https://zakon.rada.gov.ua/laws/show/80/94-%D0%B2%D1%80#Text
  89. Постанова Кабінету Міністрів України від 29 березня 2006 р. N 373 Київ Про затвердження Правил забезпечення захисту інформації в інформаційних, телекомунікаційних та інформаційно-телекомунікаційних системах, 2006. URL: https://zakon.rada.gov.ua/laws/show/373-2006-%D0%BF#Text
  90. Наказ Адміністрації Держспецзв’язку від 06 жовтня 2021 року № 601 Про затвердження Методичних рекомендацій щодо підвищення рівня кіберзахисту критичної інформаційної інфраструктури, 2021. URL: https://cip.gov.ua/ua/docs/nakaz-administraciyi-derzhspeczv-yazku-vid-06-zhovtnya-2021-roku-601-pro-zatverdzhennya-metodichnikh-rekomendacii-shodo-pidvishennya-rivnya-kiberzakhistu-kritichnoyi-informaciinoyi-infrastrukturi
  91. Про затвердження Загальних вимог до кіберзахисту об'єктів критичної інфраструктури : Постанова Каб. Міністрів України від 19.06.2019 р. № 518: станом на 7 верес. 2022 р. URL: https://zakon.rada.gov.ua/laws/show/518-2019-п#Text
  92. Stouffer K., Pillitteri V., Abrams M., Hahn A. NIST Special Publication 800-82 Guide to Industrial Control Systems (ICS) Security. NIST, 2015. №2. 247 с.
  93. Understanding IEC 62443, 2021. URL: https://www.iec.ch/blog/understanding-iec-62443
  94. ДСТУ ISO/IEC 27001:2015. Інформаційні технології. Методи захисту cистеми управління інформаційною безпекою (ISO/IEC 27001:2013; Cor 1:2014, IDT) Вимоги, 2015. URL: http://online.budstandart.com/ua/catalog/doc-page?id_doc=66910
  95. Наказ Адміністрації Державної служби спеціального зв'язку та захисту інформації України Про затвердження Положення про державну експертизу в сфері технічного захисту інформації від 16.05.2007 № 93. URL: https://zakon.rada.gov.ua/laws/show/z0820-07#Text
  96. The Syntax of Predicate Logic. LX 502 – Semantics, 2008. URL: https://www.bu.edu/linguistics/UG/course/lx502/_docs/lx502-predicate%20logic%201.pdf
  97. Derhab A., Guerroumi M., Gumaei A. et al. Blockchain and Random Subspace Learning-Based IDS for SDN-Enabled Industrial IoT Security. Sensors, 2019. 19(14), 3119. DOI: https://doi.org/10.3390/s19143119
  98. ESET has detected a new virus in Ukraine, similar to the one that cut off power in Prykarpattia in 2015. (2018, 17 Oct.). URL: https://lb.ua/news/2018/10/17/410183_eset_obnaruzhila_ukraine_noviy.html
  99. The Cyber Kill Chain: The Seven Steps of a Cyberattack Cybersecurity Exchange. URL: https://www.eccouncil.org/cybersecurity-exchange/threat-intelligence/cyber-kill-chain-seven-steps-cyberattack/
  100. ATT&CK Matrix for Enterprise. MITRE ATT&CK. URL: https://attack.mitre.org/