Разработка системы защиты от вирусов с использованием модели распределенных объектно ориентированных стохастических гибридных систем

Abstract

Описывается разработка системы стохастической гибридной защиты от вирусов на основе предлагаемой в работе методологии разработки сложных стохастических систем с асинхронной коммуникацией. В соответствии с методологией строится предварительная математическая модель системы защиты в рамках модели Распределенных Объектно-Ориентированных Стохастических Гибридных Систем посредством спецификации модели на языке SHYMaude. Далее следуют этапы апробации и реализации. На каждом из этих этапов проводится статистический анализ модели или имплементации модели для целей апробации и реализации. Результаты анализа используются для доработки исходной модели. В результате применения методологии разработчик получает как программное обеспечение реализующие систему, так и ее математическую модель