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

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