Отрывок: Процедура «знает» тип передаваемых ей на обработку данных. Результаты обработки возвращаются узлу. Узел помещает их в соответствую- щие ячейки выходной памяти в виде датированных данных с характеристикой )(,, tlt , t - текущее показание системных часов,. При этом все датированн...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Баландин, А.В. | - |
dc.date.accessioned | 2016-12-16 10:00:54 | - |
dc.date.available | 2016-12-16 10:00:54 | - |
dc.date.issued | 2016 | - |
dc.identifier | Dspace\SGAU\20161216\60882 | ru |
dc.identifier.citation | Материалы Международной конференции и молодёжной школы «Информационные технологии и нанотехнологии», с. 919-926 | ru |
dc.identifier.isbn | 978-5-7883-1078-7 | - |
dc.identifier.uri | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Potokovye-diagrammy-asinhronnyh-temporalnyh-vychislenii-dlya-modelirovaniya-i-RVverifikacii-prilozhenii-realnogo-vremeni-60882 | - |
dc.description.abstract | Вводятся в рассмотрение потоковые диаграммы для спецификации и моделирования асинхронных распределённых вычислений над потоками датированных данных в режиме реального времени. В потоковых диаграммах определены понятия: ячейка темпоральной памяти, узел обработки потоковых датированных данных, РВ-верификация темпоральных вычислений. РВ-верификации заключается в мониторинге валидности потоковых датированных данных в ячейках темпоральной памяти в режиме реального времени. Для РВ-верификации необходима натурная реализация потоковой диаграммы на выбранном языке программирования в заданной ОС реального времени. В результате РВ-верификации выявляются ячейки памяти, в которых в результате вычислений возникают датированные данные с низким коэффициентом валидности, что свидетельствует об их несоответствии реальному времени. По итогам мониторинга делаются выводы о возможности и частоте возникновения ошибок темпоральных вычислений в ячейках темпоральной памяти приложения, специфицированного потоковой диаграммой, в заданных вычислительных ресурсах. | ru |
dc.language.iso | rus | ru |
dc.publisher | Издательство СГАУ | ru |
dc.subject | системы реального времени | ru |
dc.subject | режим реального времени | ru |
dc.subject | потоковые диаграммы | ru |
dc.subject | датированные данные | ru |
dc.subject | темпоральная память | ru |
dc.subject | валидность датированных данных | ru |
dc.subject | темпоральные вычисления | ru |
dc.subject | РВ-верификация темпоральных вычислений | ru |
dc.title | Потоковые диаграммы асинхронных темпоральных вычислений для моделирования и РВ-верификации приложений реального времени | ru |
dc.type | Article | ru |
dc.textpart | Процедура «знает» тип передаваемых ей на обработку данных. Результаты обработки возвращаются узлу. Узел помещает их в соответствую- щие ячейки выходной памяти в виде датированных данных с характеристикой )(,, tlt , t - текущее показание системных часов,. При этом все датированн... | - |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
919-926.pdf | Основная статья | 392.56 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.