Формальная постановка задачи анализа функциональной стабильности критичных информационных систем. Цель анализа ФС критичной информационной системы - выявление свойств объектов, определяющих безопасность. Вычисление значения истинности предиката.
При низкой оригинальности работы "Автоматизация анализа функциональной стабильности критичных информационных систем", Вы можете повысить уникальность этой работы до 80-100%
Автоматизация анализа функциональной стабильности критичных информационных систем Сундеев П.В. При создании и реконфигурации информационных систем, используемых в критичных приложениях, трудноразрешимой проблемой является доказательство функциональной стабильности (ФС) информационной архитектуры. В работе рассматривается подход к формализации описания процессов и состояний информационной системы с целью автоматизации логического поиска траекторий информационного процесса, приводящих систему в функционально нестабильные состояния. Формальная постановка задачи анализа функциональной стабильности критичных информационных систем Целью анализа ФС критичной информационной системы (КИС) является выявление некоторых свойств объектов, определяющих безопасность состояния системы. Пусть заданы множество Q объектов и некоторое свойство этого множества. Свойство v для некоторого объекта x может быть задано предикатом Pv (x), определенным как функция на множестве Q со значениями истинно (И) и ложно (Л) Pv : Q?{И, Л}. Модель состояний модулей Выбранный уровень рассмотрения системы предполагает определение и формализацию отношений между функциональными модулями, возникающих в ходе решения задач по обработке информации.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
