Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем

Розглядаються питання розрахунку імовірності безвідмовної роботи відмовостійких реконфігуровних багатопроцесорних систем. Дається коротке описання розробленого програмного забезпечення SERC (Statistical Experiments for Reliability Calculation), в якому реалізовано відомі та запропоновані модифікації методу статистичних випробувань для розрахунку показників надійності ВБС та засоби для оцінки похибки розрахунку.Рассматриваются вопросы расчета вероятности безотказной работы отказоустойчивых реконфигурируемых многопроцессорных систем (ОМС). Дается краткое описание разработанного программного обеспечения SERC (Statistical Experiments for Reliability Calculation), в котором реализованы известные и предложенные автором модификации метода статистических испытаний для расчета надежности ОМС и средства для оценки погрешности расчета.The article devoted to reliability estimation of fault-tolerant reconfigurable multiprocessor systems. The paper briefly describes implementation of software SERC (Statistical Experiments for Reliability Calculation) which contains known and proposed by author statistical methods for fault tolerant reconfigurable multiprocessor systems reliability estimation and tools for Monte Carlo Error analysis of the estimation

Методи і засоби побудови моделей поведінки небазових відмовостійких багатопроцесорних систем

Дисертація присвячена проблемі побудови графо-логічних моделей (GL-моделей) небазових відмовостійких багатопроцесорних систем (ВБС) з метою розрахунку їх параметрів надійності шляхом проведення статистичних експериментів із вищезгаданими моделями. Запропоновано метод перетворення GL-моделей за рахунок модифікації виразу будь-якої реберної функції так званої МВР-моделі. Метод базуються на зміні як однієї, так і обох частин виразу реберної функції та дозволяє модифікувати модель так, що на деяких векторах стану системи вона, на відміну від оригінальної, починає показувати роботозданий і/або нероботоздатний стан. Проаналізовано межі впливу для загального випадку модифікації як однієї, так і кількох реберних функцій на зміну поведінки моделі. Вперше запропоновано аналітичний апарат, що дозволяє визначати вектор стану t-діагностованої ВБС на основі результатів взаємного тестування процесорів, згідно із моделлю Препарати-Метца-Чена (ПМЧ-модель), для довільної топології зв’язків між ними. Вперше запропоновано метод побудови GL-моделей так званих зважених систем, в яких кожний компонент має деяку вагу, що характеризує його вклад в роботоздатність системи в цілому, а також узагальнення методу побудови GL-моделей, що базується на використанні в якості реберних функцій багатозначної логіки та дозволяє використовувати їх для побудови моделей систем, для яких, як і їх компонентів характерні більше двох станів роботоздатності. Запропоновано метод побудови GL-моделей ієрархічних систем шляхом композиції декількох МВР-моделей, а також моделей систем, що складаються з кількох підсистем та мають ковзний резерв