Abstract
We consider synthesis problems for a discrete event model of a real time distributed computational system. The model reflects information exchange events between software units of the system and is intended to construct special test sequences that detect faults in these exchanges.
Similar content being viewed by others
References
Kolesov, N.V., Tolmacheva, M.V., and Yukhta, P.V., Sistemy real’nogo vremeni. Planirovanie, analiz, diagnostirovanie (Real Time Systems. Planning, Analysis, Diagnostics), St. Petersburg: SJC Kontsern TsNII Elektropribor, 2014.
Mironovskii, L.A., Funktsional’noe diagnostirovanie dinamicheskikh sistem (Functional Diagnostics of Dynamical Systems), Moscow, St. Petersburg: MGU-GRIF, 1998.
Patton, R.J., Frank, P.M., and Clark, R.N., Issues in Fault Diagnosis for Dynamic Systems, London: Springer-Verlag, 2000.
Zhirabok, A.N., Defects Search in Nonlinear Systems by the Method of Functional Diagnostics on the Basis of Generalized Algebraic Invariants, Autom. Remote Control, 1994, vol. 55, no. 7, pp. 1060–1067.
Cassandras, C.G. and Lafortune, S., Introduction to Discrete Event Systems, Dordrecht: Kluwer, 2008.
Peterson, J.L., Petri Net. Theory and the Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981.
Cabasino, M.P., Giua, A., and Seatzu, C., Discrete Event Diagnosis Using Petri Nets, ICINCO09: 6th Int. Conf. Inform. Control, Automat. Robot., Milano, Italy, July 2009.
Lefebvre, D., Leclercq, E., and Ould El Medhi, S., Petri Net Models for Detection, Isolation and Identification of Faults in DES, Proc. 7 IFAC Sympos. Fault Detect., Supervis. Safety Technic., Barcelona, Spain, June 30–July 3, 2009, pp. 1372–1377.
Chanthery, E. and Pencolé, Y., Monitoring and Active Diagnosis for Discrete-Event Systems, Proc. 7 IFAC Sympos. Fault Detect., Supervis. Safety Technic., Barcelona, Spain, June 30–July 3, 2009, pp. 1545–1550.
Lefebvre, D., Diagnosis with Petri Nets According to Partial Events and States Observation, Proc. 8 IFAC Sympos. Fault Detect., Supervis. Safety Technical (SAFEPROCESS), 2012, August 29–31, Mexico City, Mexico, pp. 1244–1249.
Kolesov, N.V., Nonstationary Diagnostic Model of the Communication System in a Distribution Control Complex, Autom. Remote Control, 1990, vol. 51, no. 4, pp. 540–549.
Gruzlikov, A.M., Kolesov, N.V., Skorodumov, Yu.M., and Tolmacheva, M.V., Nonstationary Dynamical Models in Diagnostics Problems for Real Time Computational Systems, Izv. Ross. Akad. Nauk, Teor. Sist. Upravlen., 2014, no. 6, pp. 94–104.
Gruzlikov, A.M., Kolesov, N.V., and Tolmacheva, M.V., Event Monitoring of Parallel Computation, Int. J. Appl. Math. Comput. Sci., 2015, no. 2, pp. 311–321.
Kolesov, N.V., Diagnosing Linear Discrete-time Nonstationary Systems, Autom. Remote Control, 1988, vol. 49, no. 7, pp. 943–948.
Gill, A., Linear Sequential Circuits, New York: McGraw Hill, 1966. Translated under the title Lineinye posledovatel’nye mashiny, Moscow: Nauka, 1974.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.M. Gruzlikov, N.V. Kolesov, 2016, published in Avtomatika i Telemekhanika, 2016, No. 10, pp. 140–155.
Rights and permissions
About this article
Cite this article
Gruzlikov, A.M., Kolesov, N.V. Discrete-event diagnostic model for a distributed computational system. independent chains. Autom Remote Control 77, 1805–1817 (2016). https://doi.org/10.1134/S0005117916100076
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117916100076