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

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2009
Автори:	Єфімова, Т.І., Мудла, Б.Г., Шалейко, О.М.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2009
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/47338
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем / Т.І. Єфімова, Б.Г. Мудла, О.М. Шалейко // Мат. машини і системи. — 2009. — № 4. — С. 200-209. — Бібліогр.: 12 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

Методология контроля качества изготовления узлов на заводах-изготовителях
за авторством: Федоров, Е.Е.
Опубліковано: (2009)

Оценка коэффициента вариации по результатам испытаний в форсированном режиме
за авторством: Федухин, А.В.
Опубліковано: (2004)

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

К вопросу о табулировании функций распределения отказов
за авторством: Федухин, А.В.
Опубліковано: (2006)

Одиниці виміру ризику за теорією ризик-орієнтованого підходу
за авторством: Бєгун, В.В., та інші
Опубліковано: (2019)

Разработка методики идентификации дефектов машин и оборудования
за авторством: Федоров, Е.Е.
Опубліковано: (2008)

Вероятностная оценка надежности структуры сложной системы
за авторством: Ратобыльская, Д.В.
Опубліковано: (2012)

Концепция построения гарантоспособных вычислительных систем
за авторством: Теслер, Г.С.
Опубліковано: (2006)

Разработка шаблонов эволюционных методов диагностирования цифрових устройств
за авторством: Иванов, Д.Е.
Опубліковано: (2014)

К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
за авторством: Ярошенко, В.Н., та інші
Опубліковано: (2014)

Исследование методик расчета надежности параллельных структур
за авторством: Джассим Мухаммед Касми, та інші
Опубліковано: (2007)

Учет и контроль знаний студентов с применением системы нечеткого вывода
за авторством: Джамалов, З.Р.
Опубліковано: (2018)

Метод восстановления работоспособности микропроцессорных систем высокой готовности при отказах, связанных с воздействием электростатических разрядов
за авторством: Белявин, В.Ф.
Опубліковано: (2019)

Один із прикладів використання методу пошуку несправностей у складних приладах з урахуванням зовнішніх факторів
за авторством: Нікітенко, Є.В.
Опубліковано: (2014)

Основы методики построения и периодического обновления глоссария для исследований по обеспечению устойчивого функционирования гарантоспособных систем
за авторством: Фидаров, Т.З.
Опубліковано: (2015)

Достоверность работы компьютерных систем
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2016)

Расчет запасных частей на основе DN-распределения
за авторством: Стрельников, В.П.
Опубліковано: (2009)

Оценка ресурса изделий электронной техники
за авторством: Стрельников, В.П.
Опубліковано: (2004)

К вопросу взаимосвязи величин метрик и их весов
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)

A process for consistent and informed assessment of software reliability over its life cycle
за авторством: Slabospitсkaya, О.O.
Опубліковано: (2010)

Моделирование случайных величин с функцией DN-распределения
за авторством: Грибов, В.М., та інші
Опубліковано: (2014)

Вопросы результативности и эффективности внедрения систем менеджмента качества
за авторством: Стрельников, В.П.
Опубліковано: (2005)

Атрибуты и метрики гарантоспособных компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2013)

Учет вторичных дефектов в моделях надежности программных средств
за авторством: Одарущенко, О.Н., та інші
Опубліковано: (2010)

Обеспечение жизнеспособности информации во времени при ее обработке в СППР
за авторством: Кряжич, О.А.
Опубліковано: (2015)

ПЛИС-системы как средство повышения отказоустойчивости
за авторством: Федухин, А.В., та інші
Опубліковано: (2010)

Построение модели качества программного обеспечения
за авторством: Чумакова, Т.Я., та інші
Опубліковано: (2009)

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

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

О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности
за авторством: Грибов, В.М., та інші
Опубліковано: (2014)

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

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

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
за авторством: Тарасюк, О.М., та інші
Опубліковано: (2010)

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

К вопросу о связи надежности и достоверности функционирования компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)