WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     | 1 |   ...   | 3 | 4 ||

Технология автоматизированного построения и анализа МК-модели раскрывает последовательность и специфику применения комплекса методов и средств моделирования и анализа, описывает особенности применения объектно-ориентированного моделирования для построения FLS-мультиграфа МК-модели информационной архитектуры. Для иллюстрации содержания алгоритма анализа ФС КИС представлена функционально-структурная диаграмма с основными этапами моделирования (рисунок 12).

Рисунок 12 – Этапы построения МК-модели системы в технологии автоматизированного построения и анализа

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

В заключении сделаны выводы, раскрыты направления и перспективы совершенствования и применения разработанного научно-методического аппарата.

Приложения содержат таблицы, диаграммы и исходные тексты программ, к примерам, поясняющим аспекты применения разработанного научно-методического аппарата.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ

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

Получены следующие результаты:

  1. Обоснована актуальность научной проблемы анализа ФС КИС и разработана концепция ее решения. Разработана совокупность теоретических положений по применению методологии системного анализа к решению проблемы анализа ФС КИС.
  2. Разработан подход к анализу информационных систем, концептуальной основой которого является системная парадигма информационного взаимодействия, позволяющая повысить адекватность моделирования и достоверность анализа функционально-структурных свойств информационной архитектуры за счет систематизации и учета относительно полного множества FLS-отношений.
  3. Разработаны теоретические положения ФС КИС, позволяющие систематизировать, классифицировать, формализовать и ввести в математическую модель кластерные функционально-структурные ограничения, что обеспечивает возможность автоматизации анализа информационной архитектуры.
  4. Созданы основы теории МК-сетей, которая содержит научно-методический аппарат моделирования и анализа функционально-структурных свойств информационной архитектуры, учитывающий системную парадигму информационного взаимодействия и обеспечивающий автоматизацию процессов моделирования и анализа с формальным доказательством корректности результатов.
  5. Результаты экспериментов и практика внедрения разработанного научно-методического аппарата коррелируются с теоретическими положениями и расчетной оценкой эффективности, которая варьируется в диапазоне 37 48 % в зависимости от постановки задачи. Экономическая эффективность внедрения разработанного научно-методического аппарата, полученная методом экспертных оценок, составляет 22-50 % и стремится к максимальному значению диапазона в процессе накопления опыта аналитиком и совершенствования БК МК-модели. Разработаны рекомендации по применению научно-методического аппарата МК-анализа для решения теоретических и практических задач при исследовании и проектировании информационных систем. На основе методов теории МК-сетей разработана система автоматизированного анализа МК-модели информационной архитектуры.

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

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

СПИСОК ОСНОВНЫХ ПУБЛИКАЦИЙ

Монография

  1. Системный анализ функциональной стабильности критичных информационных систем / Симанков В.С., Сундеев П.В. // Монография (научное издание)/ Под науч. ред. В.С. Симанкова. КубГТУ; ИСТЭк. – Краснодар, 2004. – 204 с. (личный вклад соискателя: системный анализ проблемы и формальная постановка научной задачи; стратификация структуры и целевых функций систем с управлением; границы и критерии ФС КИС; стратификация требований по ФС к КИС; принципы и парадигма трехуровневого информационного взаимодействия сложных систем; обобщенная функциональная модель информационных систем; анализ дестабилизирующих факторов; системная классификация каналов реализации угроз; научная концепция решения проблемы; модель угроз, принципы и концепция ФС КИС; стратегия разграничения доступа; расширенная модель безопасности с полным перекрытием; метод ФИМ декомпозиции; технология автоматизации анализа ФС; модель графа состояний КИС; математические модели модулей, информационной архитектуры и процессов функционирования; формальные правила описания условий взаимодействия модулей и переходов состояний; алгоритм анализа ФС КИС; методика оценки эффективности разработанного научно-методического аппарата).

Публикации в ведущих рецензируемых изданиях, рекомендуемых ВАК, и рецензируемых научных журналах

  1. Моделирование и анализ информационной архитектуры  методами теории модульно-кластерных сетей / Сундеев П.В. // Системы управления и информационные технологии.- 2007. - № 2.1 (28), С. 201-205.
  2. Модульно-кластерный анализ: аспекты информационной безопасности / Сундеев П.В. // Известия ТРТУ. Тематический выпуск. Материалы VII Международной научно-практической конференции «Информационная безопасность». – Таганрог: Издательство ТРТУ, 2005. № 4 (48), С. 53-60.
  3. Проблема автоматизации анализа функциональной стабильности критичных систем управления в промышленности / Сундеев П.В. // Автоматизация в промышленности. – 2004. - № 10, С. 9-12.
  4. Методология анализа информационной безопасности критичных систем управления / Сундеев П.В. // Проблемы информационной безопасности. Компьютерные системы. – 2004. - № 2, С. 13-22.
  5. Автоматизация анализа функциональной стабильности информационных систем критичных промышленных объектов / Симанков В.С., Сундеев П.В. // Проблемы машиностроения и автоматизации. – 2004. - № 3.- С. 24-29. (личный вклад соискателя: обоснование методологического подхода к автоматизации анализа ФС КИС; формальная постановка задачи анализа ФС; решение прямой задачи анализа; формальные правила описания условий взаимодействия модулей и правила переходов состояний).
  6. Автоматизация анализа функциональной стабильности критичных информационных систем / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2004. - № 03 (5). - Режим доступа: http://www.ej.kubagro.ru/ 2004/03/05/p05.asp.
  7. Функциональная стабильность критичных информационных систем: основы анализа / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2004. - № 05 (7). - Режим доступа: http://www.ej.kubagro.ru/2004/05/03/p03.asp.
  8. Модульно-кластерные сети: основы теории / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2006. - № 22 (06). - Шифр Информрегистра: 0420600012\0132. Режим доступа: http:// www.ej.kubagro.ru / 2006/22/06/p15.asp.
  9. Dynamic simulation and verification the architecture of critical information systems by methods of the theory modular-cluster networks / Sundeev P.V. // Information technologies of modeling and control. - 2007. - № 5 (39), P. 561-565.

Публикации в сборниках научных статей, трудов и материалов конференций

  1. Проблема создания защищенных информационных технологий / Кучер В.А., Королев И.Д., Сундеев П.В. // Сборник тезисов докладов на III Всероссийском симпозиуме «Математическое моделирование и компьютерные технологии».- Кисловодск. - 1999. (личный вклад соискателя: постановка проблемы и анализ путей решения).
  2. Перспективы развития комплексной методологии оценки безопасности информационных технологий / Сундеев П.В. // Материалы II межвузовской НТК Краснодарского военного института.- Краснодар, 2001. – С. 158-160.
  3. Математическая модель оценки защищенности информации от несанкционированного доступа в критических системах управления/ Хализев В.Н., Сундеев П.В. // Материалы II межвузовской НТК Краснодарского военного института.- Краснодар, 2001. – С. 156-158. (личный вклад соискателя: системный подход к решению задачи и математическая модель оценки).
  4. Анализ концепций построения политик безопасности для гарантированно защищенных информационных технологий и систем / Сундеев П.В. // Межвузовский сборник научных трудов.– Краснодар: КВИ, 2000. – С. 98-101.
  5. Построение информационной модели функционирования обобщенной системы управления и обоснование фундаментальных принципов информационного взаимодействия сложных систем / Сундеев П.В. // Межвузовский сборник научных трудов. – Краснодар: КВИ, 2000. – С. 80-83.
  6. Один из подходов к оценке защищенности информации в системах управления / Сундеев П.В. // Межвузовский сборник научных трудов. – Краснодар: КВИ, 2000. – С. 72-76.

Отчеты о НИР, патенты и авторские свидетельства

  1. Разработка новых технологий оценки и обеспечения качества проектирования и реализации программных средств перспективных АС подвижных командных пунктов ракетных комплексов / Хализев В.Н., Марков В.Н., Сундеев П.В. - итоговый отчет о НИР. – Краснодар: КВИ, 1999.- № 3/99.- 67 с. (личный вклад соискателя: принципы оценки функциональной безопасности программных средств критичных приложений).
  2. А.с. № 2007612764 от 27.06.07. Система автоматизированного анализа модульно-кластерной модели информационной архитектуры / Симанков В.С., Сундеев П.В.; заявитель и патентообладатель ГОУ ВПО «Кубанский гос. технол. ун-т.». - 61 с. (личный вклад соискателя: математический аппарат, алгоритм и исходный текст программы; постановка и проведение экспериментов; подготовка исходных данных; анализ экспериментальных данных).
Pages:     | 1 |   ...   | 3 | 4 ||






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»