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

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