Пошук академічних текстів

Інформація × Реєстраційний номер 0222U000381, 0121U110615 , Науково-дослідна робота Назва роботи Розроблення методів та засобів верифікації артефактів процесу проєктування систем критичного призначення Назва етапу роботи Керівник роботи Шкарупило Вадим Вікторович, Дата реєстрації 07-01-2022 Організація виконавець Інститут проблем моделювання в енергетиці ім. Г. Є. Пухова Національної академії наук України Опис етапу Звіт за НДР: 200 с., 23 табл., 37 рис., 2 дод., 176 джерел. ФУНКЦІОНАЛЬНІ ХАРАКТЕРИСТИКИ, ПРОЦЕС ПРОЄКТУВАННЯ, СИСТЕМА КРИТИЧНОГО ПРИЗНАЧЕННЯ, РОЛЬОВА МОДЕЛЬ РИНКУ, ІНФОРМАЦІЙНО-ТЕХНОЛОГІЧНІ СИСТЕМИ РИНКУ ЕЛЕКТРИЧНОЇ ЕНЕРГІЇ Об’єкт дослідження – ринок електричної енерегії України та розвиток відновлювальних джерел енергії. Мета роботи – підвищення ефективності процесу проєктування систем критичного призначення з позиції рівня функціональної безпеки системи і компонентів – за рахунок розроблення відповідних методів та засобів верифікації. Методи досліджень: формальний метод – метод перевірки на моделі; методи комбінаторики; метод дискретно-подійного імітаційного моделювання; методи прогнозування з використанням штучних нейронних мереж; методи теорії графів; методи математичної статистики. Дослідженно процеси, актуальний стан, проблеми та виклики збільшення частки об’єктів низьковуглецевої енергетики, зокрема і ВДЕ, в загальному балансі ОЕС України в умовах впровадження нової моделі ринку електричної енергії, а також показані основні фактори впливу об’єктів низьковуглецевої енергетики на технологічні та економічні показники функціонування ОЕС України та ціни для кінцевих споживачів електричної енергії. Проведено аналіз предметної області, за результатами якого було розроблено комплексний підхід до контролю показників функціональних і нефункціональних характеристик розроблюваної системи критичного призначення вже на етапі проєктування процесу розроблення. Розроблено модель подання функціональних характеристик розроблюваної системи у формальних специфікаціях, відповідний метод синтезу формальних специфікацій. Набув подальшого розвитку поширений метод перевірки на моделі TLC (TLA Checker). Опис продукції Автори роботи Блінов Ігор Вікторович Дімітрієва Дар'я Олександрівна Давидюк Андрій Вікторович Кучанський Владислав Володимирович Шкарупило Вадим Вікторович Додано в НРАТ 2022-03-09 Закрити