Delist.ru

Разработка научно-методического аппарата анализа функциональной стабильности критичных информационных систем (30.08.2007)

Автор: Сундеев Павел Викторович

объектно-ориентированного

CASE-cредства автоматизации

Перечни модулей и FLS-интерфейсов

Данные об элементах архитектуры и бинарных FLS-отношениях между ними

Комплекс моделей системы

Методы моделирования

моделирования

функционально-структурного

Средства автоматизации

Система автоматизированного анализа МК-моделей

Метод функционально-информационной модульной декомпозиции

Математическая матричная модульно-кластерная модель информационной архитектуры

Графическая объектно-ориентированная модульно-кластерная модель информационной архитектуры

Модель кластерных функционально-информационных FLS-ограничений

Методы построения МК-сетей

Декомпозиция информационной архитектуры на типовые функционально-информационные модули и FLS-интерфейсы

Математическая логическая модульно-кластерная модель информационной архитектуры

Методы структурно-функционального анализа сложных систем

Методы объектно-ориентированного построения и анализа сложных систем

Данные о структуре информационных процессов и функциях элементов

Методы теории МК-сетей

Формирование множества модулей Q = {qn}, n = 1, N и построение FLS-матриц смежности

Применение решающих правил изменения FLS-матриц смежности и подматриц FLS-интерфейсов модулей

Данные о системе

Формирование множеств интерфейсов модулей In F, In L, InS, n = 1, N и построение подматриц FLS-интерфейсов

Блок решающих правил

Блок оценки безопасности состояний и вывода результатов анализа

Блок ввода исходных данных

Графическая объектно-ориентированная модульно-кластерная модель информационной архитектуры

FLS-графы опасных состояний

FLS-матрицы функционально опасных состояний системы,

F О, L О, S О

Данные о траекториях информационного процесса, приводящих систему в функционально опасные состояния

L-матрица смежности модулей, LC

S-матрица смежности модулей, S C

F-матрица смежности модулей, F C

FLS-графы достижимости

Сравнение FLS-матриц кластерных и достижимости модулей

FLS-матрицы достижимости модулей,

F Д, L Д, S Д

загрузка...