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

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

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

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

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

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

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

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