Методика расчета надежности ЭВМ с учетом структуры алгоритма и программы

Математические модели надежности блоков операций ЭВМ при наличии контроля сбоев

Модель представляет из себя следующий алгоритм действий:

- выполняется основной блок операций, после выполнения которого контр блок операций производит диагностику ошибок в основном блоке операций

- если ошибок не обнаружено, выполняется другой блок

- если ошибки обнаружены- работа программы прерывается блоком задержки на время задержки, чтобы ликвидировать сбои

- переход к основному блоку операций когда сбой ликвидирован

М(Тэ)=[M(T)+M(Tk)+vз]M(L)- vз;

D(Tэ)=D(L)[M(T)+M(Tk)+νз]²+[D(T)+D(Tk)]M(L)

В результате методики можно определить вероятность безотказной работы программного средства исходя из блоксхемы алгоритма программы

1) определяется блоксхема алгоритма программы, делается акцент на предмет функциональной готовности

2) составляется перечень основных и контрольных блоков функциональных единиц

3) показатели надежности блоков функциональных единиц

4) выделяются типовые блоки программных единиц

5) определяется вероятность выполнения алгоритма или программы

Pj – вероятность появления jого подалгоритма

6) расчет конструктивных показателей νl, на которых выполняются подалгоритмы

7) вероятность безотказной работы программного средства с учетом программы

Дата добавления: 2015-04-30