Обнаружение и устранение противоречий в спецификациях сложных систем
Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
Подобные документы
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Изучение проблем реализации политик информационной безопасности в компьютерных системах на примере дискреционной модели. Реализация программного модуля, демонстрирующего работу пользователя в дискреционной модели политики информационной безопасности.
лабораторная работа, добавлен 03.06.2015Система видеоконтроля - комплекс специальных технических средств безопасности, обеспечивающий непрерывный визуальный контроль объекта. Понятие верификации и верификационного признака. Список объектов, подлежащих защите и организации видеоконтроля.
статья, добавлен 10.01.2016Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Алгоритм функционирования модуля ввода-вывода аналоговой информации по шине USB с использованием микросхемы PDIUSBD12 фирмы Philips Semiconductors. Разработка интерфейса и исполнительной части модуля. Листинг программы обработки аналогового сигнала.
курсовая работа, добавлен 30.11.2013Разработка концепции модуля и обоснование проектных решений по видам обеспечения информационных систем. Требования к системной архитектуре. Информационное, технологическое и программное обеспечение модуля, содержание мероприятий по его сопровождению.
дипломная работа, добавлен 30.04.2019Жизненный цикл программного обеспечения как интервал времени, начиная от идеи его создания с необходимым функционалом для решения задач до полного прекращения использования последней версии этой программы. Методы верификации: экспертиза и инспекция.
реферат, добавлен 17.12.2015Особенности развития современных компьютерных систем, схема эксперимента по верификации математической модели. Исследование пропускной способности беспроводного моноканала. Производительность беспроводной сети и выбор оптимального размера кадра.
статья, добавлен 23.02.2016Теоретический анализ систем подготовки отчетности о состоянии киберфзических систем в состоянии "как есть". Текстовое и формальное описание модуля подготовки отчетности в состоянии "как должно быть". Процесс разработки модуля подготовки отчетности.
дипломная работа, добавлен 28.11.2019Исследование и анализ развития компьютерных обучающих систем и математических моделей для их реализации. Выбор конкретных существующих математических моделей и их модификация. Реализация разработанных моделей при создании компьютерных обучающих систем.
автореферат, добавлен 18.07.2018Разработка и применение компьютерных технологий в обучении. Обзор средств разработки обучающих программ и программ проверки знаний. Основы создания компьютерных тестов. Пакет программ SunRav. Средства реализации модуля. Структура электронного учебника.
дипломная работа, добавлен 13.05.2009