Моделі та метод забезпечення надійності інформаційно-управляючих систем АЕС з використанням багатоверсійних технологій
Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
Подобные документы
Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Підвищення якості функціонування інформаційно-управляючих систем за рахунок ефективнішого використання методів оцінки нечітких моделей знань операторів. Системна інтеграція технологій штучного інтелекту з точними методами і моделями пошуку рішень.
автореферат, добавлен 26.08.2015Комп’ютерні мережі як невід’ємна частина сучасних інформаційно-управляючих систем, розгляд головних видів. Загальна характеристика методів та інструментальних засобів розробки комп'ютерних мереж інформаційно-управляючих систем критичного застосування.
автореферат, добавлен 27.07.2014Дослідження класу недостатньо структурованих і неструктурованих задач інформаційно-управляючих систем. Підвищення якості функціонування ІУС гірничо-металургійного підприємства. Розробка методу дихотомічної оцінки нечітких моделей знань операторів ІУС ГМП.
автореферат, добавлен 30.01.2014Поняття еталонної програмної архітектури. Концепція та технології адаптивної розробки та перспективного реінжинірингу багаторівневих і розподілених інформаційно-управляючих систем. Ефективність застосування Інтернет-технологій для розробки SCADA-систем.
автореферат, добавлен 29.08.2014Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Ефективність функціонування складних інформаційних управляючих систем. Моделювання параметрів технічного діагностування стану старіючих технологій. Ненадійність апаратури для контролю. Визначення раціональної стратегії технічного обслуговування АСУ.
автореферат, добавлен 23.08.2014Розробка моделі прогнозування ризику з урахуванням факторів, які призводять до значних змін ризику в інформаційно-управляючих системах. Шляхи удосконалення методу прогнозування ризику Value-at-Risk шляхом корегування множника стандартного відхилення.
автореферат, добавлен 24.07.2014Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Методи підвищення метрологічної надійності вимірювальних каналів комп'ютеризованих інформаційно-вимірювальних систем із діодними перетворювачами. Загальний метод досягнення інваріантності вимірювального перетворювача щодо дестабілізуючих факторів.
автореферат, добавлен 26.08.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Підвищення точності розрахунку показників надійності відмовостійких багатопроцесорних систем, що здатні реконфігуруватися. Розробка модифікацій метода статистичних експериментів для оцінки надійності ВБС. Програмне забезпечення для проведення досліджень.
автореферат, добавлен 29.07.2015Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015