Автоматизация анализа функциональной стабильности критичных информационных систем

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

Подобные документы

  • Исследование проблемы построения корпоративных информационных систем негосударственных пенсионных фондов. Определение структуры функциональной системы и средств разработки корпоративной информационной системы. Обеспечение информационной безопасности.

    статья, добавлен 03.02.2017

  • Сравнение способов организации данных в информационных системах. Особенности табличной и иерархической форм представления информации. Возможности использования функционального анализа и графового моделирования при проектировании информационных систем.

    статья, добавлен 18.07.2018

  • Жизненный цикл программного обеспечения информационных систем. Внедрение и эксплуатация программ. Степень автоматизация проектных решений. Преимущества и недостатки использования каскадных и спиральных моделей жизненного цикла информационных систем.

    лекция, добавлен 26.03.2014

  • История информационных систем. Анализ понятия "информационная система", ее состав и свойства. Характеристика информационного, технического, математического, программного и правового обеспечения. Классификации информационных систем, их структура.

    реферат, добавлен 01.12.2015

  • Проектирование функциональной информационной системы, способной автоматизировать ряд функций на этапе учета клиентов компании. Анализ предметной технологии решения задачи. Постановка задачи автоматизации. Описание существующего программного обеспечения.

    контрольная работа, добавлен 28.03.2014

  • Понятие автоматизированной информационной системы. Принципы создания и функционирования экономических информационных систем. Связь системы управления с информационной системой. Информационная безопасность экономических систем. Задачи защиты системы.

    реферат, добавлен 25.05.2023

  • Описание моделей оценки рисков информационной безопасности для анализа информационных систем и построения систем защиты информации. Анализ моделей на основе матрицы системы управления информационной безопасностью и на базе теории нечетких множеств.

    статья, добавлен 14.08.2016

  • Характеристика корпоративных информационных систем. Классификация информационных систем. Области применения и примеры реализации информационных систем. Основные понятия теории систем. Качественные и количественные модели. Основные задачи теории систем.

    курс лекций, добавлен 10.02.2020

  • Новый класс интеллектуальных информационных систем - системы генерации решений (СГР). Основные этапы создания СГР, особенности ее функциональной структуры. Онтологическая модель предметной области. Преимущества информационных систем данного вида.

    статья, добавлен 06.05.2018

  • Основы проектирования информационных систем с использованием CASE-средств ERwin Process Modeler 7.3.3.1773. Разработка функциональной модели автоматизированной системы ведения работы туристической фирмы. Контекстная диаграмма и диаграмма декомпозиции.

    лабораторная работа, добавлен 19.01.2015

  • Обеспечение информационной безопасности информационных систем различного назначения. Формирование специализированной системы всемирной стандартизации. Процедура проведения аудита информационных систем на их соответствие стандарту ISO/IEC 27002:2005.

    презентация, добавлен 13.09.2015

  • Основные понятия, проблемы, области применения и реализации информационных систем и информационных ресурсов организации. Общие свойства для различных информационных систем, их классификация. Взаимосвязь информационных систем и информационных технологий.

    контрольная работа, добавлен 03.07.2013

  • Классификация автоматизированных информационных систем. Место информационных и расчетных задач в составе программного обеспечения ЭВМ, их разновидности и роль. Сравнительная характеристика систем двух классов – ERP и MRPII, предложения по их улучшению.

    курсовая работа, добавлен 28.03.2012

  • Тщательное изучение уязвимости в процессе анализа защищенности информационной системы. Использование сканеров безопасности для выявления "слабых мест" программы. Изучение принципа действия агентов. Проверка работоспособности системных установок.

    статья, добавлен 25.04.2019

  • Определение состава инфраструктуры объектов безопасности. Области применения предметной области информационных систем социальной безопасности. Анализ влияния сущностей социальных инфраструктур на построение концептуальных моделей информационных систем.

    статья, добавлен 28.05.2018

  • Обеспечение эффективной безопасности информационных систем. Анализ сети на наличие уязвимостей и постоянного контроля трафика на предмет обнаружения вторжений. Программные и аппаратные автоматизированные средства поиска нарушений политики безопасности.

    статья, добавлен 10.03.2018

  • Описание проблемы выбора простой системы программирования для создания несложных информационных систем. Проведение подробного анализа существующих информационных приложений. Обзор применения электронных таблиц для разработки информационных приложений.

    статья, добавлен 25.12.2017

  • Информационные технологии и функциональная модель процесса анализа документов в организации. Автоматизация рабочего места социолога в процессе анализа документов в организации. Программно-аппаратное обеспечение анализа документов в организации.

    курсовая работа, добавлен 24.04.2015

  • Определение сущности информационной системы, которая является системой автоматизации функций управления на предприятии. Ознакомление с основными требованиями к программному обеспечению. Изучение принципов методологии проектирования информационных систем.

    реферат, добавлен 17.10.2017

  • Определение понятия и общая характеристика географических информационных систем. Изучение особенностей организации данных в ГИС. Анализ методов и технологий моделирования. Основы информационной безопасность, приложения и применение информационных систем.

    реферат, добавлен 15.08.2014

  • Информационные системы, типы информационных систем в организации, примеры. Этапы развития информационных систем, аппаратная и программная части информационной системы. Классификация видов информационных систем. Локальные и глобальные вычислительные сети.

    контрольная работа, добавлен 21.03.2009

  • Обеспечение информационных систем. Элементы глобальных распределительных систем. Классификация информационных технологий. Влияние информационных технологий на туризм на разных стадиях создания и продвижения турпродукта. Автоматизация деятельности турфирм.

    лекция, добавлен 03.04.2019

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

    курсовая работа, добавлен 27.02.2020

  • Выбор модуля бизнес-анализа. Сравнительная характеристика информационных систем для бизнес-анализа, направленных на малый и средний бизнес. Принятие решения об автоматизации предприятия. Основные требования к уровню и составу информационной системы.

    статья, добавлен 07.01.2016

  • Разработка аналитических и процедурных моделей оценки сложности сетевых информационных систем. Обеспечение стабильности функционирования сетевых информационных систем на основе мониторинга сложности на примере региональной образовательной системы.

    автореферат, добавлен 25.07.2018

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.