Озірковський Л. Д. Розвиток теоретичних засад оцінювання показників функціональної безпечності радіоелектронних систем відповідального призначення.

В дисертації розв’язано актуальну науково-прикладну проблему розвитку теоретичних засад комплексного забезпечення заданого рівня функціональної безпечності та надійності радіоелектронних систем відповідального призначення (РЕСВП). Розроблені засоби (методи, моделі, алгоритми та методики) дають змогу, на етапі системотехнічного проектування, визначати слабкі місця РЕСВП з точки зору функціональної безпечності. Це дає змогу проектанту обґрунтовано ввести необхідні види надлишковості (структурної, часової, функціональної), щоб підвищити, як функціональну безпечність, так і надійність РЕСВП. В дисертації, запропоновано новий метод для автоматизованого визначення різновидів непрацездатних станів. На основі цього методу запропоновано методику розроблення комплексних динамічних моделей РЕСВП у вигляді графа станів і переходів, які на відміну від існуючих, дають змогу без побудови дерева відмов, визначати як мінімальні січення, так і показники надійності РЕСВП. Для відображення взаємозв’язків між показниками функціональної безпечності і надійності відмовостійких структур, алгоритмів поведінки та стратегій технічного обслуговування запропоновано нові показники та характеристики функціональної безпечності: функція аварійності; частота потрапляння в аварійну ситуацію; ймовірність потрапляння в передаварійну ситуацію; середнє значення ймовірності існування мінімального січення. Розроблено нові моделі та методику синтезу стратегій технічного обслуговування, що дало змогу гарантовано підтримувати заданий рівень функціональної безпечності РЕСВП на етапі її експлуатації. В роботі запропоновано моделі відмовостійких РЕСВП з використанням мажоритарних структур, які на відміну від існуючих, дають змогу враховувати вплив на функціональну безпечність використання реконфігурації мажоритарної структури, дворівневої мажоритарної структури та технічного обслуговування і ремонту Розроблено методологію синтезу безпечних алгоритмів поведінки РЕСВП, в якій на відміну від існуючих, враховано вплив часової та функціональної надлишковості на функціональну безпечність РЕСВП.