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

Автор(и)

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

Анотація

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

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

Николай Борисович Копытчук, Одеський національний політехнічний університет

д-р техн. наук, проректор

Петр Метталинович Тишин, Одеський національний політехнічний університет

кандидат фізико-математ. наук, доцент

Константин Васильевич Ботнарь, Одеський національний політехнічний університет

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

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

аспірант

##submission.downloads##

Опубліковано

2019-02-08

Номер

№ 2(78) (2011): Електротехнічні та комп'ютерні системи

Розділ

Автоматизовані електромеханічні системи

Статті цього автора (авторів), які найбільше читають