Методи і засоби підвищення точності оцінки надійності відмовостійких багатопроцесорних систем
Підвищення точності розрахунку показників надійності відмовостійких багатопроцесорних систем, що здатні реконфігуруватися. Розробка модифікацій метода статистичних експериментів для оцінки надійності ВБС. Програмне забезпечення для проведення досліджень.
Подобные документы
Аналіз роботи багатопроцесорних реконфігуровних систем ВБС управління на базі методу статистичних експериментів з графологічними моделями (GL моделями). Розробка спеціалізованої обчислювальної системи розрахунку ймовірності безвідмовної роботи ВБС.
автореферат, добавлен 30.07.2015Розробка і дослідження методів і засобів, спрямованих на підвищення ефективності відмовостійких багатопроцесорних систем за рахунок визначення і оптимiзацiї їх параметрів. Структури комп’ютерной системи та керованого генератора для iмiтацiї відмов.
автореферат, добавлен 22.04.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Рівні та методи підвищення надійності дата-центрів. Порівняння рівнів надійності стандарту TIA EIA 942 та вибір оптимального. Технологія реплікації/резервування даних, що знаходяться в хмарі. Переваги та основні причини використання цієї технології.
статья, добавлен 21.06.2016Наведення підходів для визначення необхідного рівня надійності програмної компоненти та числа осіб відповідальних за працездатність програмного забезпечення в залежності від його складності. Вивчення суті класичного методу Монте-Карло оцінки надійності.
статья, добавлен 13.02.2016Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Методи підвищення метрологічної надійності вимірювальних каналів комп'ютеризованих інформаційно-вимірювальних систем із діодними перетворювачами. Загальний метод досягнення інваріантності вимірювального перетворювача щодо дестабілізуючих факторів.
автореферат, добавлен 26.08.2015Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Аналіз та класифікація методів оцінювання, оптимізації та ідентифікації надійності алгоритмічного процесу. Розробка методологічних принципів забезпечення його надійності в умовах невизначеності. Підтвердження їх достовірності і практичної цінності.
автореферат, добавлен 27.08.2015Розробка моделей і алгоритмів процесу контролю геометричних характеристик об’єктів зі складною просторовою поверхнею. Методи підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, зменшення дестабілізуючих факторів.
автореферат, добавлен 29.08.2015