Отрывок: После описания всех операционных модулей ставится символ перевода строки, означающий конец файла спецификации. Рисунок 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 АТВ-диаграммы валидность данных визуальное компонентное проектирование оперативные данные РВ-верификация база оперативных данных |
Располагается в коллекциях: | Выпускные квалификационные работы |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Кавков_Роман_Андреевич_Прототипирование_распределенного_приложения_реального.pdf | 2.51 MB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.