Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Здійснено формалізацію критерію достатності процесу тестування програмного забезпечення на основі запропонованої моделі.
Мета. Розробити підхід для кількісного оцінювання показників надійності провідного керуючого каналу із трикратним резервуванням для спільної, комбінованої та роздільної кабельних оболонок. Методика. Надійність формалізовано за допомогою блок-схем та динамічних дерев відмов. Для обчислення показників надійності провідного керуючого каналу із трикратним резервуванням розроблено статичні та динамічні моделі. Основою для отримання цих моделей є діаграма станів та переходів. Статичні моделі сформовано на основі логіко-ймовірнісних виразів.
Мета. Розробити підхід для кількісного оцінювання показників надійності провідного дубльованого керуючого каналу із спільною та роздільними кабельними оболонками. Методика. Для формалізації надійності використано блок-схеми надійності та динамічні дерева відмов. Для опису специфіки процесів пошкодження жил та кабельних оболонок сформовано логічні умови у дереві відмов. Для проведення статичного та динамічного аналізів сформовано діаграми станів та переходів керуючого каналу. Статичний аналіз виконано на основі логіко-ймовірнісних виразів для станів.
Мета. Розробити підхід для адекватної формалізації та обчислення надійності за допомогою динамічного дерева відмов для системи із двох елементів, як взірцевої, з врахуванням короткочасного режиму роботи одного з елементів системи. Методика. Для формалізації надійності використано багатотермінальне динамічне дерево відмов. У такому дереві розділено структуру та поведінку системи. На основі дерева побудовано діаграму станів та переходів системи. Обчислення виконано за допомогою марковської моделі та на основі методу Монте-Карло.
Запропонована модель надійності системи із двократним гарячим резервуванням та неідеальними перемикальними пристроями, яка призначена для визначення ймовірності її безвідмовної роботи. Особливість моделі полягає у тому, що у ній враховані помилки першого та другого роду для перемикальних пристроїв. Для визначення ймовірнісних характеристик системи використано динамічне дерево відмов та марковську модель.
Запропоновано модель надійності захисної арматури для посудини, яка працює під тиском. Особливість моделі полягає у тому, що вона враховує вплив на надійність системи перерозподілу навантаження між запобіжними клапанами. Для визначення характеристик надійності застосовано динамічне дерево відмов та марковську модель.
Запропоновано модель надійності системи із навантажувальним резервуванням елементів між однотипними модулями. Модель адекватно враховує вплив зміни навантаження резервованих елементів на ймовірнісні характеристики причин її непрацездатності. Для визначення надійності застосоване динамічне дерево відмов та марковська модель.