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

Известия РАН.Теория и системы управления [Текст] : научный журнал / РАН. Известия АН. — М. : Наука.

• УДК // Дослідження. Спостереження. Аналіз