РОЗРОБКА ФОРМАЛІЗОВАНОЇ МОВИ АНАЛІЗУ РИЗИКІВ НА ОСНОВІ ДЕСКРИПЦІЙНОЇ ЛОГІКИ

  • Николай Борисович Копытчук Одеський національний політехнічний університет
  • Петр Метталинович Тишин Одеський національний політехнічний університет
  • Константин Васильевич Ботнарь Одеський національний політехнічний університет
  • Марат Владимирович Цюрупа Одеський національний політехнічний університет

Анотація

Розглянуто питання розробки формалізованої мови представлення знань для аналізу ризиків у складній технічній системі. Описано основні поняття діаграм ризиків CORAS і мови дескрипціонної логіки ALC. Введено концепти і ролі, що описують основні поняття мови CORAS мовою ALC, і відповідні аксіоми. Наведено приклад діаграми активів і опис даної діаграми за допомогою понять розробленої мови аналізу ризиків.

Біографії авторів

Николай Борисович Копытчук, Одеський національний політехнічний університет
д-р техн. наук, проректор
Петр Метталинович Тишин, Одеський національний політехнічний університет
кандидат фізико-математ. наук, доцент
Константин Васильевич Ботнарь, Одеський національний політехнічний університет

канд. техн.наук

Марат Владимирович Цюрупа, Одеський національний політехнічний університет

аспірант

Опубліковано
2019-02-08
Номер
№ 2(78) (2011): Електротехнічні та комп'ютерні системи
Розділ
Автоматизовані електромеханічні системи