Методология функционального моделирования как инструмент разработки адекватных математических моделей процессов обеспечения антивирусной защиты в компьютерных системах

Актуальность и цели. Одним из направлений решения проблемы повышения адекватности математических моделей процессов обеспечения антивирусной защиты в компьютерных системах (КС) является формализация этих процессов с использованием методического аппарата функционального моделирования. Цель – разработка процедуры построения математических моделей временных характеристик процессов обеспечения антивирусной защиты в компьютерных системах с использованием методического аппарата функционального моделирования. Результаты. Обоснована и реализована процедура построения математических моделей временных характеристик процессов обеспечения антивирусной защиты в КС, включающая: этап детализации целевой функции «Антивирусная защита», этап установления порядка выполнения ее функциональных компонент на каждом из уровней де- композиции, этап представления модели в виде графов и этап формирования аналитических выражений для оценки временных характеристик процессов обеспечения антивирусной защиты в КС. Выводы. Достигаемая за счет функциональной декомпозиции целевой функции «Антивирусная защита» адекватность математических моделей временных характеристик процессов обеспечения антивирусной защиты в КС дает возможность научного обоснования требований к направлениям совершенствования соответствующих механизмов защиты.