Email this article Discrete-event diagnostic model for a distributed computational system. independent chains
- Authors: Gruzlikov A.M.1,2, Kolesov N.V.1,2
-
Affiliations:
- JSC State Research Center of the Russian Federation Concern CSRI Elektropribor
- ITMO University
- Issue: Vol 77, No 10 (2016)
- Pages: 1805-1817
- Section: Control in Social Economic Systems, Medicine, and Biology
- URL: https://journals.rcsi.science/0005-1179/article/view/150457
- DOI: https://doi.org/10.1134/S0005117916100076
- ID: 150457
Cite item
Open Access
Access granted
Subscription Access
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.
About the authors
A. M. Gruzlikov
JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; ITMO University
Author for correspondence.
Email: agruzlikov@yandex.ru
Russian Federation, St. Petersburg; St. Petersburg
N. V. Kolesov
JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; ITMO University
Email: agruzlikov@yandex.ru
Russian Federation, St. Petersburg; St. Petersburg
Supplementary files
