Прототипирование распределенного приложения реального времени в локальной сети под управлением OC PB QNX Neutrino

Abstract

Целью работы является разработка и апробация технологии эволюционного прототипирования распределенных приложений реального времени (ПРВ) для выполнения в локальной сети под управлением операционной системы реального времени (ОСРВ) QNX Neutrino. В работе введена многоуровневая структура прототипа приложения реального времени. Описывается спецификация многоуровневой структуры прототипа, формируемой на основе диаграмм асинхронных темпоральных вычислений. Представлена модель данных и файловая структура хранения спецификации проекта прототипа ПРВ. Разработан пакет программ, который по заданной версии проекта осуществляет автоматическое генерацию исполняемого кода прототипа ПРВ, его загрузку в локальную сеть и запуск на выполнение. Пакет программ разработан на языке C++ в инструментальной среде разработки QNX Momentics IDE. В работе описаны метод и средства РВ-верификации, встроенные в исполняемый код, позволяющие оценивать темпоральные характеристики очередной генерируемой версии прототипа на любой стадии эволюцио