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


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

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.

Sobre autores

A. Gruzlikov

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

Autor responsável pela correspondência
Email: agruzlikov@yandex.ru
Rússia, St. Petersburg; St. Petersburg

N. Kolesov

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

Email: agruzlikov@yandex.ru
Rússia, St. Petersburg; St. Petersburg

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Pleiades Publishing, Ltd., 2016