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.

Presented by the member of Editorial Board: L. A. Mironovskii