СУНДЕЕВ Павел Викторович

РАЗРАБОТКА НАУЧНО-МЕТОДИЧЕСКОГО АППАРАТА АНАЛИЗА ФУНКЦИОНАЛЬНОЙ СТАБИЛЬНОСТИ

КРИТИЧНЫХ ИНФОРМАЦИОННЫХ СИСТЕМ

Специальность 05.13.01 – «Системный анализ, управление и обработка информации (информационные и технические системы)»

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

доктора технических наук

Краснодар – 2007

Работа выполнена в ГОУ ВПО «Кубанский государственный технологический университет»

Научный консультант: доктор технических наук, профессор

Симанков Владимир Сергеевич

Кубанский государственный технологический университет

Официальные

оппоненты: доктор физико-математических наук, профессор

Зотов Владимир Александрович

Российский государственный технологический университет им. К.Э. Циолковского

доктор технических наук, профессор

Ловцов Дмитрий Анатольевич

Институт точной механики и вычислительной техники им. С.А. Лебедева Российской академии наук

доктор технических наук, доцент

Аршинов Георгий Александрович

Кубанский государственный аграрный университет

Ведущая

организация: Филиал федерального государственного унитарного предприятия «Научно-технический центр «Атлас» в Краснодарском крае

Защита состоится «31» октября 2007 г. в 14.00 на заседании диссертационного совета Д 212.100.04 ГОУ ВПО «Кубанский государственный технологический университет» по адресу: г. Краснодар, ул. Московская, 2а, конференц-зал.

С диссертацией можно ознакомиться в библиотеке Кубанского государственного технологического университета по адресу: 350072, г. Краснодар, ул. Московская, 2а.

Автореферат разослан «___» ____________ 2007 г.

Отзывы на автореферат, заверенные печатью учреждения, просим направлять по адресу: 350072, г. Краснодар, ул. Московская, 2а, КубГТУ, ученому секретарю диссертационного совета Д 212.100.04.

Ученый секретарь

диссертационного совета Д 212.100.04,

канд. техн. наук, доцент А.В. Власенко

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность проблемы

Повсеместная информатизация деятельности человека и автоматизация критичных функций управления определяют устойчивый рост количества случаев дестабилизации критичных информационных систем (КИС) и, как следствие, повышение требований к функциональной стабильности (ФС) информационных процессов. Критичность в данном случае определяется высоким уровнем информационных рисков обусловленных размером ущерба, к которому может привести дестабилизация информационной системы. Снижение уровня рисков может быть достигнуто повышением ФС КИС на основе построения функционально стабильной архитектуры, в которой реализуются разнородные функционально-структурные ограничения на внешние и внутренние информационные отношения, дестабилизирующие информационный процесс. Критичность определяет необходимость проведения на разных этапах жизненного цикла систем функционально-структурного анализа информационной архитектуры, обеспечивающего получение достоверной оценки эффективности реализации установленных ограничений с формальным доказательством корректности результатов.

Основными проблемными факторами, ограничивающими качество анализа и достоверность оценки являются:

- размерность, многовариантность построения и функционально-структурная сложность архитектуры, которые приближают моделирование и анализ ее функционально-структурных свойств к классу NP-полных задач;

- разнородность, динамичность, низкий уровень систематизации и формализации функционально-структурных отношений и ограничений, что определяет сложность автоматизации процессов моделирования и анализа;

- отсутствие эффективных методов построения адекватной динамической модели и автоматизированного анализа функционально-структурных свойств архитектуры, обеспечивающих получение и формальное доказательство оценки корректности реализации кластерных ограничений, на этапах проектирования, эксплуатации, модернизации и аудита ФС КИС.

Таким образом, факторы определяют наличие сложной научной проблемы, которая заключается в недостаточной для критичных приложений достоверности оценки функционально-структурных свойств информационной архитектуры, обусловленной несовершенством существующих подходов к моделированию и анализу ФС КИС, не обеспечивающих адекватность моделей и формальное доказательство корректности реализации кластерных ограничений.

Целью научных исследований является повышение ФС КИС на основе разработки научно-методического аппарата модульно-кластерного анализа (МК-анализа), обеспечивающего достоверность результатов оценки функционально-структурных свойств архитектуры с формальным доказательством корректности реализации системы кластерных ограничений.