Зображення обкладинки

Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем

Розглядаються питання розрахунку імовірності безвідмовної роботи відмовостійких реконфігуровних багатопроцесорних систем. Дається коротке описання розробленого програмного забезпечення SERC (Statistical Experiments for Reliability Calculation), в якому реалізовано відомі та запропоновані модифікації...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2016
Автор:	Фесенюк, А.П.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2016
Теми:	Тестування, надійність та якість програм
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/126435
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем / А.П. Фесенюк // Проблеми програмування. — 2016. — № 4. — С. 48-57. — Бібліогр.: 14 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Оцінювання якості консолідованих даних
за авторством: Шаховська, Н.Б.
Опубліковано: (2014)

Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
за авторством: Слабоспицька, О.О.
Опубліковано: (2009)

Подход к структурному тестированию программ с использованием генетического алгоритма
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2012)

МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
за авторством: Трунов, Александр Николаевич, та інші
Опубліковано: (2008)

Дослідження інтелектуальних методів тестування програмного забезпечення
за авторством: Kazimov, Tofig, та інші
Опубліковано: (2021)

Показники надійності кластерів високої доступності як резервованих систем із структурною надлишковістю
за авторством: Буценко, Ю.П., та інші
Опубліковано: (2018)

Дослідження впливу коефіцієнта надмірності на показники надійності резервованих систем з дробовою кратністю
за авторством: Козачук, О.Д.
Опубліковано: (2015)

Використання методів та інструментів для забезпечення якості програмних систем
за авторством: Shantyr, Anton
Опубліковано: (2025)

Спеціалізоване програмне забезпечення для географічного аналізу та інвентаризації парникових газів
за авторством: Любінський, Б.Б., та інші
Опубліковано: (2011)

Верификация программ: состояние, проблемы, экспериментальные результаты. I
за авторством: Максимец, А.Н.
Опубліковано: (2013)

Верификация программ: состояние, проблемы, экспериментальные результаты. II
за авторством: Максимец, А.Н.
Опубліковано: (2014)

Рекурсивний метод частотно-фазового аналізу двохтонального частотно-маніпульованого сигналу
за авторством: Безвербний, І.А.
Опубліковано: (2006)

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
за авторством: Єфімова, Т.І., та інші
Опубліковано: (2009)

Програмне забезпечення в нумізматичному дослідженні. Колекції
за авторством: Хромова, І.
Опубліковано: (2015)

Оптимізаційні задачі модернізації пропускних здатностей дуг відмовостійких мереж
за авторством: Стецюк, П.І., та інші
Опубліковано: (2021)

Моделювання забезпечення балансової надійності енергосистеми в умовах значних обсягів відновлюваної генерації
за авторством: Nechaieva T.P.
Опубліковано: (2022)

Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2012)

ОЦІНЮВАННЯ НАДІЙНОСТІ СКЛАДНИХ СИСТЕМ В УМОВАХ НЕВИЗНАЧЕНОСТІ У КОНТЕКСТІ ЗАБЕЗПЕЧЕННЯ НАЦІОНАЛЬНОЇ СТІЙКОСТІ
за авторством: Pyrozhkov , S., та інші
Опубліковано: (2023)

Порівняння надійності термоелектричних генераторних модулів з різними схемами сполучення термоелементів
за авторством: Gorskyi, Petrо
Опубліковано: (2022)

ІНФОРМАЦІЙНО-ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ПОФІДЕРНОГО АНАЛІЗУ Й ОПТИМІЗАЦІЇ ВТРАТ ЕЛЕКТРОЕНЕРГІЇ У РОЗПОДІЛЬНИХ ЕЛЕКТРОМЕРЕЖАХ З РОЗОСЕРЕДЖЕНИМ ГЕНЕРУВАННЯМ
за авторством: Кулик, В.В., та інші
Опубліковано: (2017)

Методика і програмне забезпечення для оцінки прогнозованої економії теплової енергії за рахунок регулювання теплоспоживання будівель
за авторством: Nikitin E.E., та інші
Опубліковано: (2003)

ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДОСЛІДЖЕНЬ СТРУМИННИХ МЕТАНОВИХ ГАЗОВИДІЛЕНЬ АКУСТИЧНИМ МЕТОДОМ
за авторством: Артемов, Ю. Г.
Опубліковано: (2023)

Модель та програмне забезпечення для інерційного вимірювального пристрою
за авторством: Безпалько, С.О., та інші
Опубліковано: (2022)

Рецензія на книгу "Вільне програмне забезпечення: український вибір"
за авторством: Матов, О.Я.
Опубліковано: (2012)

РЕГУЛЮВАННЯ НАПРУГИ В ЕЛЕКТРИЧНИХ МЕРЕЖАХ У ЗАДАЧАХ НАДІЙНОСТІ ЕЛЕКТРОПОСТАЧАННЯ ТА ЕНЕРГОЗБЕРЕЖЕННЯ
за авторством: Грабко , В.В., та інші
Опубліковано: (2012)

СУЧАСНІ РІШЕННЯ ЗАБЕЗПЕЧЕННЯ ОЦІНКИ ТА КОНТРОЛЮ БЕЗПЕКИ ПОСТАЧАННЯ ЕЛЕКТРИЧНОЇ ЕНЕРГІЇ
за авторством: Pryshchepa, Yaroslav, та інші
Опубліковано: (2024)

Оцінки похибки методу усереднення для імпульсних коливних систем
за авторством: Самойленко, А.М., та інші
Опубліковано: (2003)

ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ З ВПРАВАМИ ДЛЯ ТЕРАПІЇ ДІТЕЙ З ДИСЛАЛІЄЮ
за авторством: Schipor, O. A., та інші
Опубліковано: (2013)

Спеціалізоване програмне забезпечення для моделювання динамічної консолідації віртуальних машин
за авторством: Жаріков, Е.В., та інші
Опубліковано: (2022)

Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2018)

Про одну модель оптимального розподілу ресурсів у багатопроцесорних середовищах
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2011)

Оцінка похибки заокруглення алгоритму обчислення первинної оцінки спектральної щільності
за авторством: Коломис, О.М.
Опубліковано: (2017)

Оцінка похибки заокруглення алгоритму обчислення первинної оцінки спектральної щільності
за авторством: Коломис, Олена Миколаївна
Опубліковано: (2017)

Моделювання надійності структурованого програмного забезпечення
за авторством: Трунов, О.М., та інші
Опубліковано: (2008)

К оценке граничных уровней контролируемого показателя надежности
за авторством: Стрельников, П.В.
Опубліковано: (2010)

Прогнозування аварій на греблях в задачах оцінки й забезпечення їх надійності та безпеки
за авторством: Стефанишин, Д.В.
Опубліковано: (2011)

Здатнiсть псевдокiльцевих тестiв виявляти динамiчнi одиночнi несправностi у словоорiєнтованiй пам’ятi
за авторством: Gritcov, S. S., та інші
Опубліковано: (2018)

СТАТИЧНІ МЕТРИКИ СИСТЕМИ АВТОМАТИЗОВАНОГО ТЕСТУВАННЯ КОРИСТУВАЦЬКИХ ІНТЕРФЕЙСІВ
за авторством: Ремінний, О. А.
Опубліковано: (2014)

Оцінки похибки методу усереднення в багаточастотних системах зі сталим запізненням
за авторством: Петришин, Р.І., та інші
Опубліковано: (2006)

Конструктивне забезпечення надійності агрегатів гідравлічних трансмісій
за авторством: Дирда, В.І., та інші
Опубліковано: (2012)