?
Метод передачи данных по сети Ethernet в режиме реального времени
С. 42–43.
Мороз О. В., Попов С. Н.
В статье рассмотрены вопросы организации обмена данными по сети Ethernet в режиме реального времени. Предложена структура сети, основанная на архитектуре master-slave. Рассмотрены варианты обмена данными разделяемыми блоками памяти и временными слотами. Рассмотрены преимущества и недостатки методов.
В книге
М.: Московский государственный институт электроники и математики, 2012.
Кычкин А. В., Oleg Gorshkov, Mikhail Kukarkin, , in: 2022 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM).: Sochi: IEEE, 2022. P. 1045–1050.
Добавлено: 6 августа 2022 г.
Сахипова М. С., Лядова Л. Н., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 87–96.
В статье анализируются инструменты, используемые при проектировании архитектуры предприятия, описываются их характеристики. Обосновывается вывод о том, что основной проблемой, затрудняющей процесс проектирования, приводящей к повышению трудоёмкости работы системных аналитиков и инженеров, является отсутствие средств интеграции используемых инструментов. Предлагается подход к решению задачи создания системы автоматизации проектирования архитектуры предприятия и описывается общая архитектура разрабатываемых программных средств. ...
Добавлено: 18 января 2019 г.
Подымов В. В., В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды.: МГУ, МАКС Пресс, 2018. С. 222–225.
Сеть временных автоматов (СВА) и иерархический временной автомат (ИВА) — это математические модели, используемые для формальной верификации систем реального времени (СРВ): систем, выполнение которых происходит в реальном времени и зависит от сроков выполнения задач компонентами системы. ИВА, в отличие от СВА, имеет средства описания иерархии вложенности компонентов СРВ. Верификация ИВА основана на уплощении автомата: трансляции ...
Добавлено: 25 октября 2018 г.
Зеленов С. В., Зеленова С. А., Программирование 2018 Т. 44 № 3 С. 3–16
В работе предлагается новый взгляд на проблему построения планировщика в случае группы строго периодических задач. Рассматривается представление структуры системы периодов в терминах теории графов. Дан критерий существования бесконфликтного расписания, основанный на данном представлении, а также общие схемы алгоритмов построения такого расписания. Приведены примеры применения методики для решения различных проблем, возникающих при построении расписаний для систем ...
Добавлено: 15 марта 2018 г.
Зеленова С. А., Зеленов С. В., Труды Института системного программирования РАН 2017 Т. 29 № 6 С. 183–202
В критических системах выполнение жестких требований по времени взаимодействия между задачами обеспечивается строгой периодичностью запуска задач, когда каждая задача стартует через равные промежутки времени. При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор начальных стартовых точек задач. В настоящей работе предлагается новый подход к анализу расписаний, основанный на изучении раскрасок графов периодов ...
Добавлено: 12 февраля 2018 г.
Switzerland: Springer, 2016.
Добавлено: 13 сентября 2016 г.
Подымов В. В., Попеско У. В., Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление 2014 № 2 (193) С. 169–179
В последние несколько лет активное развитие получили программно-конфигурируемые сети (ПКС) – особый вид компьютерных сетей, в которых все коммутирующие устройства имеют централизованное управление. В статье изучены задачи формального описания и верификации ПКС. Для описания ПКС использована библиотека элементов UML в редакторе диаграмм Dia. Для верификации ПКС использовано программно-инструментальное средство UPPAAL. Основной результат исследований – разработка ...
Добавлено: 29 сентября 2015 г.
Волканов Д. Ю., Захаров В. А., Зорин Д. А. и др., Моделирование и анализ информационных систем 2012 Т. 19 № 6 С. 45–56
Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных автоматов. Основным результатом данной статьи является алгоритм трансляции иерархических автоматов в сеть временных автоматов и обоснование его корректности. ...
Добавлено: 29 сентября 2015 г.