Комплексный метод верификации и валидации информационно-измерительной и управляющей системы для активной зоны водо-водяных реакторов
Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
Подобные документы
Разработка системы криптографической защиты в распределенной информационно-измерительной и управляющей системе. Сервер канала общего пользования распределенной информационной системы поддержки научных исследований в области образовательного процесса.
статья, добавлен 04.12.2018Исследование проблемы обеспечения функциональной безопасности информационно-управляющих систем, а также определение требований и параметров ее сертификации. Разработка и характеристика этапов метода сертификации информационно-управляющих систем.
статья, добавлен 14.08.2016Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Возможности повышения эффективности функционирования информационно-измерительных и управляющих систем путем использования клиентоориентированных интерактивных электронных технических руководств, учитывающих разные уровни подготовленности персонала.
автореферат, добавлен 29.08.2018Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Внедрение этапа метрического оценивания марковской модели информационно-управляющей системы в целях выбора эффективного метода решения. Требования к надежности концепций, важных для безопасности. Процесс пошагового анализа рисков неточных решений.
статья, добавлен 13.01.2017Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Функциональное назначение системы, область и способы ее применения. Особенности функционирования тьюторных компонентов информационно управляющих систем предназначенных для создания обучающих программных продуктов на базе ПО Windows 95 (или выше).
статья, добавлен 13.11.2018Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Ознакомление с аналитическим обзором современных медицинских информационно-аналитических систем. Рассмотрение и характеристика особенностей проектирования интерфейсов, алгоритмов и разработки программных модулей для подсистемы "Медицина. Поликлиника".
дипломная работа, добавлен 07.08.2018Изучение основных теоретических положений и методов моделирования. Рассмотрение автоматизированных систем обработки информации и управления. Характеристика системы реального времени. Определение принципов проектирования информационно-управляющих систем.
учебное пособие, добавлен 12.08.2015Результирующая информация управляющих информационно-поисковых систем. Функции информационных систем организационного управления. Цель начальных этапов создания информационно-поисковых систем, выполняемых на стадии анализа деятельности организации.
лекция, добавлен 28.03.2020Технические требования к разработке информационно-управляющей системы. Характеристика основных составляющих изделий: микропроцессор, оперативное и постоянное запоминающее устройство. Расчет тактовой частоты процессора и правила выбора ОЗУ и ПЗУ.
курсовая работа, добавлен 28.05.2013Формулирование принципа поиска оптимальных информационно-управляющих решений метаэвристическими алгоритмами. Рассмотрение общей модели ландшафта оптимизируемой функции. Изменение среднего расстояния между множеством однородно распределенных решений.
статья, добавлен 14.08.2020Принцип работы информационно-поисковых систем диагностики компьютерных сетей. Тахометр - прибор для получения информации о частоте вращения коленчатого вала двигателя. Особенности применения измерительной и управляющей техники в медицинской практике.
контрольная работа, добавлен 30.05.2015Обработка информации информационно–измерительными системами. Регистрация исследуемых физических величин. Интерполяция основных функций нескольких информационных аргументов. Современные измерительные задачи, решаемые информационно–измерительной системы.
презентация, добавлен 11.09.2016Использование аппарата многофрагментного моделирования для учета изменения интенсивности отказов программных средств. Исследование моделей с накоплением в оперативной памяти и реестре ошибок и их устранением. Анализ характера поведения функции готовности.
статья, добавлен 28.02.2016Нейрофизиологические и нейрохимические процессы, происходящие в мозге человека. Создание интеллектуальных информационных систем поддержки творческих решений. Системный анализ междисциплинарных моделей. Проектирование информационно-управляющих систем.
статья, добавлен 24.05.2018Краткая характеристика материально-технического и программного обеспечения учебных лабораторий КиТ. Осуществление интеграции программных модулей. Ревьюирование программных продуктов. Изучены основы проектирования и разработка информационных систем.
отчет по практике, добавлен 11.05.2021Определение типа топологии и оптимального пространственного расположения объектов информационно-измерительной системы, при котором минимизируется суммарная длина линий связи системы и увеличивается ее надежность. Построение графиков зависимостей.
курсовая работа, добавлен 14.10.2013- 23. Информационно-измерительные и управляющие системы для обеспечения надежности атомных электростанций
Уменьшение человеческого фактора в управлении - одна из основных задач информационно-измерительных и управляющих систем атомных электростанций. Классификация системных уровней надежности, применяющихся для оценки опасности производственных объектов.
статья, добавлен 30.04.2019 Рассмотрение теоретических основ построения автоматизированных систем управления. Характеристика интегрированных систем проектирования и управления. Исследование основных системных методов проектирования информационно-управляющих систем автоматизации.
учебное пособие, добавлен 12.08.2015Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017