Аннотация:
В настоящей статье предложен вариант использования аппарата временных логик и верификаторов моделей в задаче контроля отклонений сложной информационной системы от “нормального” поведения, а также алгоритм слепого поиска закономерностей “черного ящика”, представимых в рамках формализма временных логик.
Ключевые слова:временные логики, верификаторы моделей, контроль отклонений системы, слепой поиск закономерностей.
Полный текст:
PDF файл (467 kB)