Обнаружение и устранение противоречий в спецификациях сложных систем
Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
Подобные документы
Построение системы идентификации и верификации лиц на основе видео с возможностью ее оперативного введения в эксплуатацию и масштабирования. Разработка алгоритмов идентифицирования и выделения изображений. Анализ результатов тестового запуска программы.
статья, добавлен 17.11.2020Анализ входных и выходных данных, принципы обработки ошибок. Структурная диаграмма программного модуля и описание ее параметров. Разработка пользовательского интерфейса. Реализация и тестирование программного модуля, анализ и структура его кода.
дипломная работа, добавлен 24.03.2016Операционные системы реального времени как компактные системы, основанные на микроядерной архитектуре. Функции прикладной части API-интерфейса KURT. Рассмотрение прикладного модуля, использующего ядро реального времени RTLinux в виде загружаемого модуля.
реферат, добавлен 06.03.2014Синтез семантической информационной модели, ее структура и основные компоненты. Повышение ее эффективности и механизм верификации. Экранная форма отчета по достоверности разработанной модели, а также содержание отчета, формируемого системой "эйдос".
статья, добавлен 26.04.2017Внедрение информационных технологий для обеспечения техногенно-экологической безопасности арктических регионов. Разработка компьютерной модели устойчивого развития Мурманской области, оценка рисков. Схема работы модуля генерации планирующих документов.
статья, добавлен 03.06.2021Алгоритм создания микропроцессорной системы на базе процессора Intel 8086. Изучение основных узлов микропроцессорной системы. Анализ функциональной схемы микропроцессорного модуля. Рассмотрение основных элементов, входящих в состав модуля ввода/вывода.
реферат, добавлен 23.04.2014Структура вычислительного центра. Описание вычислительной техники. Обзор операционных систем и языков программирования. Проектирование программного модуля для автоматизации рабочего места начальника отдела кадров. Разработка программного обеспечения.
отчет по практике, добавлен 19.09.2013Функции документооборота, универсальный модуль управления документооборотом, интегрирующийся в приложения, основанные на среде Ruby on Rails. Инструментарий для разработки и сопровождения модуля. Публикация исходного кода модуля в открытый репозиторий.
дипломная работа, добавлен 12.02.2016Структурный анализ бизнес-процесса и построение модели деятельности "как есть". Разработка алгоритма построения имитационного модуля производственного процесса с помощью дискретно-событийного моделирования и системной динамики на основе CASE-средств.
дипломная работа, добавлен 22.02.2015Анализ моделей контроля и управления доступом. Методы моделирования политик безопасности. Дискреционная модель Харрисона-Руззо-Ульмана. Мандатная модель Белла-Ла Падулы. Модели контроля и управления доступом операционными системами Linux и Windows.
дипломная работа, добавлен 30.07.2016- 86. Автоматизированная система проведения соревнований игрового типа с реализацией клиентского модуля
Изучение применения на предприятии информационных технологий и систем. Использование сокетов и динамических библиотек. Взаимодействие приложения и динамической библиотеки. Описание модуля клиента. Характеристики качества программного обеспечения.
дипломная работа, добавлен 08.07.2012 Использование компьютерных сетей в промышленности, виды компьютерных сетей. Способы организации компьютерных сетей на предприятии, обзор сетевых операционных систем. Удаленный доступ и удаленное управление сервером, использование сетевого принтера.
курсовая работа, добавлен 26.05.2009Вопросы планирования и информационной поддержки эксплуатационных этапов сложных технических объектов. Характеристика метода представления знаний сложных технических объектов для индуктивных процедур вывода комплексных моделей технического состояния.
статья, добавлен 31.08.2018Введение в сетевой информационный обмен. Использование сети Интернет. Основные возможности для построения коммуникационных сетей. Обзор стандартной модели взаимодействия открытых систем. Анализ угроз сетевой безопасности и проблемы безопасности IP-сетей.
презентация, добавлен 05.10.2017Безопасность сетей на базе семейства протоколов TCP/IP на примере сети Internet. Основные понятия компьютерной безопасности. Особенности безопасности компьютерных сетей. Классификация и статистика компьютерных атак. Анализ сетевого трафика сети Internet.
реферат, добавлен 04.06.2009Разработка процедур анализа многоверсионных систем в части адаптации существующих моделей надежности и функциональной безопасности. Оценка эффективности комбинаторной схемы, теоретико-множественной модели и метрики многоверсионности данных систем.
статья, добавлен 14.07.2016Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Типология методов распознавания образов и анализа изображений. Автоматизация процесса пополнения онтологии с применением процедуры верификации. Гибридная схема синтеза рисунков. Система статистического определения. Сущность способов машинного обучения.
статья, добавлен 09.01.2016Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.
статья, добавлен 12.03.2019Проблема персонализации компьютерных систем к требованиям пользователей. Формирование пользовательского интерфейса, адаптированного под актуального пользователя использующего прикладную программу. Трудоемкость проектирования и разработки интерфейса.
статья, добавлен 17.12.2019Формализация семантики конструкций языков программирования посредством построения математических моделей. Использование операционной семантики для текстуально правильно построенных определений. Определение свойств языка и формальной верификации программ.
статья, добавлен 28.02.2019Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018- 98. Основные вопросы разработки модуля определения специальной символики на изображениях социальной сети
Разработка программного модуля для распознавания образов на изображениях из социальной сети "ВКонтакте" с целью выявления причастности пользовательских профилей к квестовой игре суицидального характера "Синий кит". Показатели точности работы модуля.
статья, добавлен 29.07.2018 Рассмотрение моделей угроз безопасности систем и способов их реализации. Анализ критериев уязвимости и устойчивости систем к деструктивным воздействиям. Изучение методического аппарата оценки ущерба от воздействия угроз информационной безопасности.
курсовая работа, добавлен 25.11.2014Рассмотрение моделей, определяемых над двухбуквенными алфавитами. Анализ аксиом исчисления и правила вывода эквивалентных преобразований однородных информационных моделей. Осуществление одновременных переходов по логическим графам в информационной модели.
статья, добавлен 25.08.2020