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