Search academic texts

Information × Registration Number 0407U003115, Candidate dissertation Status к.т.н. Date 22-06-2007 popup.evolution o Title Models, a method and an information technology of development of instrumentation and control systems based on automata with programmable logic Author Golovir Viktor Alexandrovich, popup.head Sclyar Vladimir Vladimirovich popup.opponent Фурман Ілля Олександрович popup.opponent Сидоренко Микола Федорович Description Об'єкт дослідження - процеси розробки та верифікації інформаційно-управляючих систем на базі автоматів з програмованою логікою. Мета дослідження - підвищення надійності багатоверсійних інформаційно-управляючих систем на основі вдосконалення методу й інформаційної технології їхньої розробки з використанням автоматів з програмованою логікою. Проведені дослідження ґрунтуються на використанні моделей та методикі верифікації АПЛ для багатокомпонентних ІУС . Науковими результатами досліджень є: метод розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою, який, на відміну від існуючих, базується на оптимізації вибору видів багатоверсійності за критерієм "диверсність/вартість", що дозволяє підвищити надійність систем; автоматні моделі багатоверсійних інформаційно-управляючих систем на основі їхнього подання у вигляді композиції автоматів контролю та управління, а також уточнення функцій переходів і виходів для різних типів диверсності та варіантів побудови систем, що дозволяє сформувати множину їх архітектур; метрики диверсності, які використовуються для вибору видів багатоверсійності при розробці інформаційно-управляючих систем на базі автоматів з програмованою логікою, що дозволяє розраховувати інтенсивність кратних відмов каналів системи, реалізованих за різними версіями. Ступінь упровадження - галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою багатоверсійних інформаційно-управляючих систем. Registration Date 2007-06-22 popup.nrat_date 2020-04-04 Close