Пошук академічних текстів

Інформація × Реєстраційний номер 0407U003115, Кандидатська дисертація На здобуття к.т.н. Дата захисту 22-06-2007 Статус Запланована Назва роботи Моделі, метод та інформаційна технологія розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою Здобувач Головир Віктор Олександрович, Керівник Скляр Володимир Володимирович Опонент Фурман Ілля Олександрович Опонент Сидоренко Микола Федорович Опис Об'єкт дослідження - процеси розробки та верифікації інформаційно-управляючих систем на базі автоматів з програмованою логікою. Мета дослідження - підвищення надійності багатоверсійних інформаційно-управляючих систем на основі вдосконалення методу й інформаційної технології їхньої розробки з використанням автоматів з програмованою логікою. Проведені дослідження ґрунтуються на використанні моделей та методикі верифікації АПЛ для багатокомпонентних ІУС . Науковими результатами досліджень є: метод розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою, який, на відміну від існуючих, базується на оптимізації вибору видів багатоверсійності за критерієм "диверсність/вартість", що дозволяє підвищити надійність систем; автоматні моделі багатоверсійних інформаційно-управляючих систем на основі їхнього подання у вигляді композиції автоматів контролю та управління, а також уточнення функцій переходів і виходів для різних типів диверсності та варіантів побудови систем, що дозволяє сформувати множину їх архітектур; метрики диверсності, які використовуються для вибору видів багатоверсійності при розробці інформаційно-управляючих систем на базі автоматів з програмованою логікою, що дозволяє розраховувати інтенсивність кратних відмов каналів системи, реалізованих за різними версіями. Ступінь упровадження - галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою багатоверсійних інформаційно-управляючих систем. Дата реєстрації 2007-06-22 Додано в НРАТ 2020-04-04 Закрити