Модель вычислений, управляемых данными, в программном обеспечении систем реального времени

Abstract

Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать модель вычислений, управляемых данными, с учетом неопределенностей: временной, связанной с неизвестным точным временем их получения, и интервальной, вызванной ошибками измерений и преобразований.

Показано, що контроль точності, достовірності та актуальності обчислень у програмному забезпеченні систем реального часу є актуальним завданням. Запропоновано як теоретичне вирішення даної задачі використовувати модель обчислень, керованих даними, з урахуванням невизначеностей: тимчасової, пов'язаної з невідомим точним часом їх отримання, та інтервальної, викликаної помилками вимірювань та перетворень.