Автоматика и телемеханика, № 4, 2017 Управление в социально-экономических, медико-биологических системах 2017 г. А.М. ГРУЗЛИКОВ, канд. техн. наук (agruzlikov@yandex.ru), Н.В. КОЛЕСОВ, д-р техн. наук (kolesovnv@mail.ru) c (АО «Концерн «ЦНИИ «Электроприбор», Национальный исследовательский университет информационных технологий, механики и оптики, Санкт-Петербург) ДИСКРЕТНО-СОБЫТИЙНАЯ ДИАГНОСТИЧЕСКАЯ МОДЕЛЬ ДЛЯ РАСПРЕДЕЛЕННОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ. <...> СЛИЯНИЕ ЦЕПЕЙ1 Рассматриваются вопросы синтеза дискретно-событийной модели для распределенной вычислительной системы. <...> Модель отражает события обмена информацией между программными модулями системы и предназначена для построения тестовых последовательностей, обнаруживающих нарушения в этих обменах. <...> Предлагается версия модели, позволяющая сокращать относительный объем диагностической информации, передаваемой в средства диагностирования. <...> Введение Статья посвящена вопросам разработки средств диагностирования (СД) для распределенных вычислительных систем (РВС) реального времени и является продолжением [1]. <...> Цель настоящей работы – рассмотрение вопросов синтеза диагностической модели РВС, которую можно отнести к классу дискретно-событийных, когда работа системы представляется на языке последовательностей некоторых событий. <...> В данном случае такими событиями являются события информационного обмена (приема и выдачи информации) между программными модулями системы. <...> Ниже исследуются вопросы синтеза диагностической модели РВС, ориентированной на решение проблемы тестового диагностирования. <...> Особенностью предлагаемой модели, отличающей ее от большинства известных, является то, что в каждый программный модуль (ПМ) анализируемой системы 1 Работа поддержана Российским научным фондом (проект № 14-29-00160). <...> Вводимая избыточность по существу представляет собой событийную модель, вычисляемую параллельно с основной программой. <...> Ниже излагается версия модели, отличающаяся <...>