Розроблено методи та наведено засоби, що дозволяють більш ефективно визначати параметри відмовостійких багатопроцесорних систем. Запропоновано нові методи організації діагностичного експерименту в самодіагностовних багатопроцесорних системах, що дозволяють визначити та мінімізувати кількість елементарних перевірок і тактів експерименту, націленого на визначення стану всіх процесорів системи. Запропоновано нову модель поведінки відмовостійкої багатопроцесорної системи в потоці відмов, розроблено методи її трансформації залежно від зміни ступеня відмовостійкості системи. Основою системи є граф, ребра якого позначаються булевими функціями. Аргументами цих функцій є стан процесорів системи, а наявність кожного ребра визначається показниками його функції. Запропонована структуру спеціалізованої комп'ютерної системи, керований генератор псевдовипадкових векторів, який імітує потік відмов, та організацію експерименту з запропонованими моделями, що разом дозволяє визначити різні параметри відмовостійких багатопроцесорних систем доступними обчислювальними засобами.

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

  Скачати повний текст

Розглянуто проблему підвищення точності оцінювання надійності відмовостійких багатопроцесорних систем (ВБС) шляхом модифікації методу статистичних експериментів з урахуванням характерних особливостей ВБС. Запропоновано модифікації методу статистичних експериментів, орієнтовані на такі особливості ВБС як: значна кількість і різнотипність складових елементів, використання різних видів надлишковості, складна процедура реконфігурації, ієрархічна структура системи. Визначено метод для розрахунку показників надійності ієрархічних ВБС, підсистеми яких можуть мати спільні елементи, який дозволяє проводити статистичні експерименти незалежно для кожної підсистеми, що дозволяє значно скоротити загальний час розрахунку показників надійності ієрархічних ВБС. Одержано аналітичні співвідношення та статистичні оцінки для різних складових похибки розрахунку надійності ВБС, на підставі яких може бути обчислена повна похибка розрахунку надійності ВБС. Сформульовано умови, які дозволяють для заданої ВБС аналітично до проведення статистичних експериментів визначити модифікацію методу статистичних експериментів, що має найменшу похибку.

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