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