Дискретно-событийная диагностическая модель распределенной вычислительной системы. Независимые цепи

Рассматриваются вопросы синтеза дискретно-событийной модели для распределенной вычислительной системы реального времени. Модель отражает события обмена информацией между программными модулями системы и предназначена для построения специальных тестовых последовательностей, обнаруживающих нарушения в этих обменах.

Статья представлена к публикации членом редколлегии: Л. А. Мироновский