Отрывок: После описания всех операционных модулей ставится символ перевода строки, означающий конец файла спецификации. Рисунок 32 – Пример формирования файла спецификации операционного уровня 6.2.3 Динамические библиотеки вычислительных процедур Динамическая библиотека процедур содержит в себе процедуры обработки, которые на ранних этапах представлены «заглушками», производящие абстрактные вычисления, происходящие в нескольких повторяющихся циклах. Меняя к...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorКавков Р. А.ru
dc.contributor.authorБаландин А. В.ru
dc.contributor.authorБоровик С. Ю.ru
dc.contributor.authorМинистерство образования и науки Российской Федерацииru
dc.contributor.authorСамарский национальный исследовательский университет им. С. П. Королева (Самарский университет)ru
dc.contributor.authorИнститут информатикиru
dc.contributor.authorматематики и электроникиru
dc.coverage.spatialпрототипирование приложений реального времениru
dc.coverage.spatialтемпоральные вычисленияru
dc.coverage.spatialОСРВ QNX Neutrinoru
dc.coverage.spatialАТВ-диаграммыru
dc.coverage.spatialвалидность данныхru
dc.coverage.spatialвизуальное компонентное проектированиеru
dc.coverage.spatialоперативные данныеru
dc.coverage.spatialРВ-верификацияru
dc.coverage.spatialбаза оперативных данныхru
dc.creatorКавков Р. А.ru
dc.date.issued2018ru
dc.identifierRU\НТБ СГАУ\ВКР20180618104228ru
dc.identifier.citationКавков, Р. А. Прототипирование распределенного приложения реального времени в локальной сети под управлением OC PB QNX Neutrino : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / Р. А. Кавков ; рук. работы А. В. Баландин; рец. С. Ю. Боровик ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и элект. - Самара, 2018. - on-lineru
dc.description.abstractЦелью работы является разработка и апробация технологии эволюционного прототипирования распределенных приложений реального времени (ПРВ) для выполнения в локальной сети под управлением операционной системы реального времени (ОСРВ) QNX Neutrino. В работе введена многоуровневая структура прототипа приложения реального времени. Описывается спецификация многоуровневой структуры прототипа, формируемой на основе диаграмм асинхронных темпоральных вычислений. Представлена модель данных и файловая структура хранения спецификации проекта прототипа ПРВ. Разработан пакет программ, который по заданной версии проекта осуществляет автоматическое генерацию исполняемого кода прототипа ПРВ, его загрузку в локальную сеть и запуск на выполнение. Пакет программ разработан на языке C++ в инструментальной среде разработки QNX Momentics IDE. В работе описаны метод и средства РВ-верификации, встроенные в исполняемый код, позволяющие оценивать темпоральные характеристики очередной генерируемой версии прототипа на любой стадии эволюциоru
dc.format.extentЭлектрон. дан. (1 файл : 2,4 Мб)ru
dc.titleПрототипирование распределенного приложения реального времени в локальной сети под управлением OC PB QNX Neutrinoru
dc.typeTextru
dc.subject.rugasnti50.01ru
dc.subject.udc004.9(075)ru
dc.textpartПосле описания всех операционных модулей ставится символ перевода строки, означающий конец файла спецификации. Рисунок 32 – Пример формирования файла спецификации операционного уровня 6.2.3 Динамические библиотеки вычислительных процедур Динамическая библиотека процедур содержит в себе процедуры обработки, которые на ранних этапах представлены «заглушками», производящие абстрактные вычисления, происходящие в нескольких повторяющихся циклах. Меняя к...-
Располагается в коллекциях: Выпускные квалификационные работы




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