Проектирование программных моделей сетевых протоколов для встроенных систем
Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
Подобные документы
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
презентация, добавлен 05.11.2016Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.
курсовая работа, добавлен 19.01.2017Разработка нейро-нечеткого метода обработки информации для создания моделей оценки сложности разрабатываемых программных средств. Результаты применения предлагаемого подхода к оценке сложности программных средств. Автоматизированное построение моделей.
статья, добавлен 19.01.2018Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.
презентация, добавлен 03.05.2023Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Краткая характеристика материально-технического и программного обеспечения учебных лабораторий КиТ. Осуществление интеграции программных модулей. Ревьюирование программных продуктов. Изучены основы проектирования и разработка информационных систем.
отчет по практике, добавлен 11.05.2021Совокупность стандартов, топологий и протоколов, необходимых для создания работоспособной сети. Механические и электрические параметры среды передачи, сетевых плат, соединителей. Схема семиуровневой модели OSI для протоколов связи локальных сетей.
курсовая работа, добавлен 06.03.2015Анализ сетевых протоколов для формирования исходных данных по анализу производительности работы кампусной компьютерной сети предприятия. Особенности построения и использования интеллектуальных систем поддержки принятия решений в нештатных ситуациях.
автореферат, добавлен 02.07.2018Проектирование сервиса автоматизированной среды на радиоэлектронных предприятиях. Построение схемы информационного обмена. Внедрение протоколов взаимодействия открытых систем. Моделирование взаимодействия объектов среды на основе аппарата сетей Петри.
творческая работа, добавлен 24.08.2020Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
статья, добавлен 17.01.2018Исследование проблемы проверки конформности реализации сетевых протоколов. Моделирование сетевых протоколов с использованием теории конечных автоматов. Решение задачи построения автоматизированных диагностических систем проверки сетевых протоколов.
статья, добавлен 30.10.2016Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Описание традиционного подхода к передаче данных и модификации с целью шифрования передаваемой информации. Приведение общей сети Петри для получения и передачи данных, установления соединения и обмена данными. Подход к моделированию защищенной передачи.
статья, добавлен 30.01.2019Расширение методологии проектирования интеллектуальных программных агентов для крупномасштабных гетерогенных сетей. Методика заполнения параметрического пространства расширенной объектно-ориентированной модели интеллектуального программного агента.
статья, добавлен 06.05.2018Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Создание сетевых протоколов на основе концепции многоуровневой системы. Процедура определения пути следования пакета из одной сети в другую. Спецификации сети коммутации пакетов. Иерархия протоколов TCP/IP. Характеристика пользовательского интерфейса.
контрольная работа, добавлен 07.12.2013Стадии предпроектного обследования. Методология Business Process Management. Характеристика, элементы и свойства сети Петри, правила срабатывания переходов. Понятие конфликта и его разрешения. Пример параллельной работы и построения дерева достижимости.
презентация, добавлен 06.09.2015Систематическое изложение принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Классические основы программной инженерии, научные и практические достижения, характеризующие динамику развития этой области.
учебное пособие, добавлен 15.09.2017Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Разработка малой локальной сети с высокой степенью безопасности от вторжений и сбоев. Выбор серверов, сетевых технологий и программных средств. Настройка сети и общего доступа. Описание функционирования операционной системы и работы средств безопасности.
курсовая работа, добавлен 06.02.2015