Потоковые диаграммы асинхронных темпоральных вычислений для моделирования и РВ-верификации приложений реального времени

Abstract

Вводятся в рассмотрение потоковые диаграммы для спецификации и моделирования асинхронных распределённых вычислений над потоками датированных данных в режиме реального времени. В потоковых диаграммах определены понятия: ячейка темпоральной памяти, узел обработки потоковых датированных данных, РВ-верификация темпоральных вычислений. РВ-верификации заключается в мониторинге валидности потоковых датированных данных в ячейках темпоральной памяти в режиме реального времени. Для РВ-верификации необходима натурная реализация потоковой диаграммы на выбранном языке программирования в заданной ОС реального времени. В результате РВ-верификации выявляются ячейки памяти, в которых в результате вычислений возникают датированные данные с низким коэффициентом валидности, что свидетельствует об их несоответствии реальному времени. По итогам мониторинга делаются выводы о возможности и частоте возникновения ошибок темпоральных вычислений в ячейках темпоральной памяти приложения, специфицированного потоковой диаграммой, в заданных вычислительных ресурсах.