Testability Distributed Real-Time Computing System

An algorithm for synthesizing a diagnostic model of a distributed real-time computing system was proposed that is embedded in the system, runs in parallel with the main software of the system and allows simplifying the process of testing it. Sufficient conditions for observability and controllability are formulated for models in a field of real numbers.