AUTOMATION OF DATAFLOW REAL-TIME COMPUTING SYSTEM DIAGNOSTICS

Lukoyanov E.V., Gruzlikov A.M. Automation of dataflow real-time computing system diagnostics. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2020, vol. 20, no. 1, pp. 94–100 (in Russian). doi: 10.17586/2226-1494-2020-20-1-94-100

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 briefdescription 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.

1. Issues of Fault Diagnosis for Dynamic Systems. Ed. by R.J. Patton,P.M. Frank, R.N. Clark. London, Springer-Verlag, 2000, 597 p.
2. Isermann R. Fault-Diagnosis Application. Heidelberg, Springer, 2011, 354 p.
3. Mironovskii L.A. Functional Diagnosis of Dynamic-Systems, Moscow, St. Petersburg, Moscow State University Publ., 1998, 256 p. (in Russian)
4. Shumsky A.Ye., Zhirabok A.N., Hadjiev C. Diagnosis and Fault Tolerant Control in Dynamic Systems. Vladivostok, Far Eastern Federal University, 2016, 178 p. (in Russian)
5. Burdonov I.B., Kosachev A.S., Kuliamin V.V. Compliance Theory for Lock and Crash Systems. Moscow, Fizmatlit Publ., 2008, 412 p. (in Russian)
6. Burdonov I.B., Kossatchev A.S., Kulyamin V.V. Application of finite automatons for program testing. Programming and Computer Software, 2000, vol. 26, no. 2, pp. 61–73. doi: 10.1007/BF02759192
7. Speranskii D.V. Lectures on Theory of Experiments With Finite Automata. Moscow, INTUIT Publ., 2016, 354 p. (in Russian)
8. Kolesov N.V., Tolmacheva M.V., Yukhta P.V. Real-Time Systems. Planning, Analysis, Diagnostics. St. Petersburg, Concern CSRI Elektropribor, 180 p. (in Russian)
9. Gruzlikov A.M., Kolesov N.V. Discrete-event diagnostic model for a distributed computational system. Independent chains. Automation and Remote Control, 2016, vol. 77, no. 10, pp. 1805–1817. doi: 10.1134/S0005117916100076
10. Gruzlikov A.M., Kolesov N.V. Discrete-event diagnostic model for a distributed computational system. Merging chains. Automation and Remote Control, 2017, vol. 78, no. 4, pp. 682–688. doi: 10.1134/ S0005117917040099
11. Gruzlikov A.M., Kolesov N.V., Lukoyanov E.V., Tolmacheva M.V. Test-based diagnosis of distributed computer system using a time- varying model. IFAC-PapersOnLine, 2018, vol. 51, no. 24, pp. 1075– 1082. doi: 10.1016/j.ifacol.2018.09.724
12. Gruzlikov A.M., Kolesov N.V., Lukoyanov E.V. Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model. Journal of Computer and Systems Sciences International, 2018, vol. 57, no. 3, pp. 420–433. doi: 10.1134/ S1064230718030024
13. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York, Springer, 2008, 770 p.
14. Zaytoon J., Lafortune S. Overview of fault diagnosis methods for discrete event systems. Annual Reviews in Control, 2013, vol. 37, no. 2, pp. 308–320. doi: 10.1016/j.arcontrol.2013.09.009
15. Gill A. Linear Sequential Circuits: Analysis, Synthesis, and Applications. McGraw-Hill, 1966, 215 p.
 

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License