Например, Бобцов

Избыточные модели контролепригодных распределенных вычислительных систем реального времени

Аннотация:

Рассмотрение вопросов диагностирования занимает важное место в процессе проектирования систем обработки информации и управления, поскольку от качества их решения зависит надежность и отказоустойчивость систем. В работе представлены результаты разработки алгоритма синтеза модели, предназначенной для решения проблемы тестового диагностирования и ориентированной на распределенные вычислительные системы. Алгоритм встраивается в систему и исполняется параллельно с основным программным обеспечением системы, что позволяет упрощать процесс ее тестирования. Описание распределенной вычислительной системы, дополненное встроенной диагностической моделью, составляет избыточную модель системы. Предложенный алгоритм отличается сокращенным объемом диагностической информации. Диагностическая модель имеет иерархическую структуру и создается в два этапа. На первом этапе для графа межмодульных связей системы вычисляется множество путей, которые составляют покрытие его ребер. С каждым из полученных путей сопоставляется цепь из динамических звеньев, равным по числу количества программных модулей, через которые проходит данный путь. На втором этапе определяется вид динамических звеньев. При этом учитывается, что искомая динамическая модель системы используется для построения тестов. Процедура построения тестов упрощается, если модель системы линейна, управляема и наблюдаема. На основании этого формулируются требования к звеньям цепей модели. С помощью разработанного алгоритма можно создать дискретно-событийную модель системы, которая характеризуется сокращенным объемом используемой диагностической информации.

Ключевые слова:

Статьи в номере