Abstract:
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.