ПІДХІД ДО ВИЯВЛЕННЯ ПОМИЛОК ТА ВІДНОВЛЕННЯ ПРАВИЛЬНОГО ФУНКЦІОНУВАННЯ ПРОГРАМНИХ ЗАСОБІВ СУЧАСНИХ СИСТЕМ УПРАВЛІННЯ, РЕАЛІЗОВАНИХ ЗА ПРИНЦИПОМ «СИСТЕМА НА КРИСТАЛІ»

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