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


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

Толық мәтін

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

Аннотация

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.

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

A. Gruzlikov

JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; ITMO University

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

N. Kolesov

JSC State Research Center of the Russian Federation Concern CSRI Elektropribor; ITMO University

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

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

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

© Pleiades Publishing, Ltd., 2016