AUTOMATION OF DATAFLOW REAL-TIME COMPUTING SYSTEM DIAGNOSTICS

Subject of Research. The paper considers the design issues of fault diagnostic tools in information exchange addressing between program modules for a dataflow real-time computing system. Despite the decomposition of design process on the basis of a hierarchical approach, it is quite complicated, and the problem of its automation remains an urgent challenge. Method. The design automation of model and tests for a dataflow real-time computing system is performed on the basis of decomposition and by applying discrete-event modeling. Main Results. We have developed the instrumental environment automating procedure for model design, generation of test actions and reference output sequences. Its brief description is given. The environment functional is based on the synthesis algorithms of the system dynamic model and the test formation for exchange diagnostics between the system software modules. Practical Relevance. The developed tool environment gives the possibility to reduce significantly the design time of diagnostic tools for dataflow real-time computing systems.