Проектирование программных моделей сетевых протоколов для встроенных систем
Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
Подобные документы
Компьютерные сети - основа информационной структуры учреждений и предприятий. Проектирование локальной сети по заданным характеристикам. Описание моделей сети, сетевые топологии, выбор среды передачи данных. Кодирование сигнала на физическом уровне.
курсовая работа, добавлен 05.12.2011Разработка программных продуктов и применение техники декомпозиции. Объектно-ориентированное представление программных систем и его основание на принципах абстрагирования, инкапсуляции, модульности и иерархической организации программных продуктов.
статья, добавлен 02.02.2019Анализ преимуществ современных операционной системы (Linux) и ее модулей, разработка серверных приложений. Особенности передачи данных в информационных сетях, классификация протоколов. Особенности файловой системы, принципы выбора программных средств.
контрольная работа, добавлен 01.12.2015Исследование интерактивных систем планирования и управления производством. Разработка и апробация алгоритмов построения сетевых моделей сложных социально-экономических систем. Создание информационного пространства на уровне предприятия, региона и страны.
автореферат, добавлен 15.06.2018Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
статья, добавлен 01.02.2019Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Базовая модель взаимодействия открытых систем OSI, уровни протоколов. Классификация топологических элементов сети. Топология соединения узлов сети и метод доступа к среде передачи. Управление потоком данных. Построение локальных сетей, сетевые протоколы.
курсовая работа, добавлен 13.04.2010Описание предметной области, входной и выходной информации. Сравнительная характеристика систем управления базами данных, выбор среды программирования и технических средств. Разработка физической и логической моделей, описание программных модулей.
курсовая работа, добавлен 27.10.2012Сравнительная характеристика транспортных протоколов передачи данных TCP, UDP и XTP. Анализ пропускной способности канала для коммутируемой сети при использовании данных протоколов. Процедура обработки и синхронизации пакетов в системе обмена информацией.
контрольная работа, добавлен 27.11.2015Актуальные программные инструменты формального анализа протоколов аутентификации и авторизации. Возможность повышении уровня достоверности оценки безопасности протоколов аутентификации и авторизации распределенных систем путем применения БАН-логики.
статья, добавлен 01.02.2019Протоколы передачи данных. Способы передачи сообщений между двумя и более включенными в сеть устройствами. Обработка ошибок сети. Разработка стандартов, не привязанных к конкретной аппаратной платформе. Изучение классификации сетевых протоколов.
презентация, добавлен 14.09.2016Увеличение коэффициента использования листового металла. Математический аппарат модифицированных нейро-нечетких сетей Петри. Построение моделей алгоритмов на базе нейро-нечетких сетей Петри. Моделирование механизма приоритетного выбора деловых остатков.
научная работа, добавлен 14.12.2019Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Понятие базы данных. Назначение системы управления ими. Прикладные и инструментальные СУБД. Методология проектирования БД и построения концептуальных моделей. Основные сервисы и службы сети Internet. Поиск информации в сети. Структура IP-адресов.
реферат, добавлен 30.05.2012Значение сетевых технологий обработки данных, компонентов вычислительных сетей, сетевых, аппаратных и программных обеспечений сети. Логическая архитектура сети. Распределение функций между компьютерами сети. Способы пересылки сообщений, почтовый сервер.
реферат, добавлен 06.12.2015Технические регламенты и правовые акты по защите информации. Анализ рынка существующих аналогов программных средств построения защищенных сетей, выбор наиболее приемлемой технологии. Разработка защищенной виртуальной сети системы персональных данных.
дипломная работа, добавлен 14.12.2019Цели и задачи разрабатываемой сети. Анализ возможных вариантов проектирования сети и информационных потоков. Подбор компонентов сети: серверов, конфигурации пользовательских машин, серверной ОС, сетевого оборудования, программных средств управления сетью.
дипломная работа, добавлен 28.11.2012Принципы взаимодействия между клиентскими и серверными частями в локальных сетях Интернет. Основные преимущества протоколов удаленного вызова процедур и архитектура процессора базы данных. Анализ программных средств разработки персональных баз данных.
курсовая работа, добавлен 29.07.2015Анализ набора сетевых протоколов передачи данных, используемых в сетях Интернет. Общее ознакомление с терминологией понятия компьютерной передачи данных. Характеристика протоколов ARP, ICMP, UDP, TCP. Их применение в операционной системе Windows.
презентация, добавлен 10.11.2013Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Методы построения обучающих интегрированных экспертных систем. Анализ функциональных возможностей средств подсистемы поддержки построения обучающих веб-ИЭС. Разработка алгоритмов учета степени достижения целевых компетенций по конкретным дисциплинам.
дипломная работа, добавлен 25.07.2015Применение открытых интерфейсов как одна из основ построения программных коммутаторов. Внедрение открытых архитектур на сервисном уровне сети. Обеспечение передачи пользовательских данных, неподвижных изображений и файлов, доступа к базам данных.
курсовая работа, добавлен 16.11.2014Изучение основных понятий и положений методологии и технологии разработки ПО. Обзор общих принципов разработки программных систем. Разработка техники практических навыков использования инструментальных средств для разработки программных продуктов.
учебное пособие, добавлен 23.09.2017Создание компьютерной сети для военных целей, ее использование для осуществления связи между командными пунктами системы обороны. Установка первого сервера Arpanet, развитие протоколов передачи данных. Объединение в 1982 году двух протоколов TCP и IP.
реферат, добавлен 13.12.2015Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016