Discrete-event diagnostic model for a distributed computational system. Merging chains


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

We consider synthesis problems for a discrete event model in 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. We propose a version of the model that allows for a reduction in the relative volume of diagnostic information transmitted to diagnostic tools.

Негізгі сөздер

Авторлар туралы

A. Gruzlikov

JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; National Research University of Information Technologies, Mechanics, and Optics

Хат алмасуға жауапты Автор.
Email: agruzlikov@yandex.ru
Ресей, St. Petersburg; St. Petersburg

N. Kolesov

JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; National Research University of Information Technologies, Mechanics, and Optics

Email: agruzlikov@yandex.ru
Ресей, St. Petersburg; St. Petersburg

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2017