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

  Завантажити