Отрывок: Процедура «знает» тип передаваемых ей на обработку данных. Результаты обработки возвращаются узлу. Узел помещает их в соответствую- щие ячейки выходной памяти в виде датированных данных с характеристикой )(,, tlt , t - текущее показание системных часов,. При этом все датированн...
Название : | Потоковые диаграммы асинхронных темпоральных вычислений для моделирования и РВ-верификации приложений реального времени |
Авторы/Редакторы : | Баландин, А.В. |
Ключевые слова : | системы реального времени режим реального времени потоковые диаграммы датированные данные темпоральная память валидность датированных данных темпоральные вычисления РВ-верификация темпоральных вычислений |
Дата публикации : | 2016 |
Издательство : | Издательство СГАУ |
Библиографическое описание : | Материалы Международной конференции и молодёжной школы «Информационные технологии и нанотехнологии», с. 919-926 |
Аннотация : | Вводятся в рассмотрение потоковые диаграммы для спецификации и моделирования асинхронных распределённых вычислений над потоками датированных данных в режиме реального времени. В потоковых диаграммах определены понятия: ячейка темпоральной памяти, узел обработки потоковых датированных данных, РВ-верификация темпоральных вычислений. РВ-верификации заключается в мониторинге валидности потоковых датированных данных в ячейках темпоральной памяти в режиме реального времени. Для РВ-верификации необходима натурная реализация потоковой диаграммы на выбранном языке программирования в заданной ОС реального времени. В результате РВ-верификации выявляются ячейки памяти, в которых в результате вычислений возникают датированные данные с низким коэффициентом валидности, что свидетельствует об их несоответствии реальному времени. По итогам мониторинга делаются выводы о возможности и частоте возникновения ошибок темпоральных вычислений в ячейках темпоральной памяти приложения, специфицированного потоковой диаграммой, в заданных вычислительных ресурсах. |
URI (Унифицированный идентификатор ресурса) : | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Potokovye-diagrammy-asinhronnyh-temporalnyh-vychislenii-dlya-modelirovaniya-i-RVverifikacii-prilozhenii-realnogo-vremeni-60882 |
ISBN : | 978-5-7883-1078-7 |
Другие идентификаторы : | Dspace\SGAU\20161216\60882 |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
919-926.pdf | Основная статья | 392.56 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.