| Article ID: | iaor20163594 |
| Volume: | 77 |
| Issue: | 10 |
| Start Page Number: | 1805 |
| End Page Number: | 1817 |
| Publication Date: | Oct 2016 |
| Journal: | Automation and Remote Control |
| Authors: | Gruzlikov A, Kolesov N |
| Keywords: | quality & reliability, networks |
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.