Отрывок: После описания всех операционных модулей ставится символ перевода строки, означающий конец файла спецификации. Рисунок 32 – Пример формирования файла спецификации операционного уровня 6.2.3 Динамические библиотеки вычислительных процедур Динамическая библиотека процедур содержит в себе процедуры обработки, которые на ранних этапах представлены «заглушками», производящие абстрактные вычисления, происходящие в нескольких повторяющихся циклах. Меняя к...
Название : Прототипирование распределенного приложения реального времени в локальной сети под управлением OC PB QNX Neutrino
Авторы/Редакторы : Кавков Р. А.
Баландин А. В.
Боровик С. Ю.
Министерство образования и науки Российской Федерации
Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет)
Институт информатики
математики и электроники
Дата публикации : 2018
Библиографическое описание : Кавков, Р. А. Прототипирование распределенного приложения реального времени в локальной сети под управлением OC PB QNX Neutrino : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / Р. А. Кавков ; рук. работы А. В. Баландин; рец. С. Ю. Боровик ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и элект. - Самара, 2018. - on-line
Аннотация : Целью работы является разработка и апробация технологии эволюционного прототипирования распределенных приложений реального времени (ПРВ) для выполнения в локальной сети под управлением операционной системы реального времени (ОСРВ) QNX Neutrino. В работе введена многоуровневая структура прототипа приложения реального времени. Описывается спецификация многоуровневой структуры прототипа, формируемой на основе диаграмм асинхронных темпоральных вычислений. Представлена модель данных и файловая структура хранения спецификации проекта прототипа ПРВ. Разработан пакет программ, который по заданной версии проекта осуществляет автоматическое генерацию исполняемого кода прототипа ПРВ, его загрузку в локальную сеть и запуск на выполнение. Пакет программ разработан на языке C++ в инструментальной среде разработки QNX Momentics IDE. В работе описаны метод и средства РВ-верификации, встроенные в исполняемый код, позволяющие оценивать темпоральные характеристики очередной генерируемой версии прототипа на любой стадии эволюцио
Другие идентификаторы : RU\НТБ СГАУ\ВКР20180618104228
Ключевые слова: прототипирование приложений реального времени
темпоральные вычисления
ОСРВ QNX Neutrino
АТВ-диаграммы
валидность данных
визуальное компонентное проектирование
оперативные данные
РВ-верификация
база оперативных данных
Располагается в коллекциях: Выпускные квалификационные работы




Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.