Вероятностный анализ времени проявления неисправности в сети автоматов

Предложен способ распространения математической модели оценки распределения вероятностей времени обнаружения неисправности в некоторой цифровой системе, описанной как конечный автомат, на сеть подавтоматов, в которую декомпозирован данный исходный автомат. Под «латентностью» понимается время (число тактов работы автомата), которое проходит с момента проявления неисправности в той или иной переменной, описывающей модель автомата, до проявления ее в выходной последовательности автомата. Латентность вычисляется как число шагов до попадания цепи Маркова (ЦМ) с множеством состояний, представляющим собой произведение множеств состояний исправного и неисправного автоматов, в поглощающее состояние (на случайных входных наборах автомата). Предлагаемый подход к оценке распределения вероятностей латентности основан на расширении пространства состояний описываемой системы, что позволяет строить ЦМ для пар подавтоматов (в общем зависимых) исправного и неисправного автоматов и выразить это распределение в терминах вероятностных характеристик подавтоматов.