N-version programming as an opportunity to exclude errors in software
One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in software development will significantly reduce the likelihood of identical failure...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2019 |
| Main Author: | Cespedes Garcia, P.D. |
| Format: | Article |
| Language: | English |
| Published: |
Інститут проблем математичних машин і систем НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/151943 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | N-version programming as an opportunity to exclude errors in software / P.D. Cespedes Garcia // Математичні машини і системи. — 2019. — № 1. — С. 203–208. — Бібліогр.: 9 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
A process for consistent and informed assessment of software reliability over its life cycle
by: Slabospitсkaya, О.O.
Published: (2010)
by: Slabospitсkaya, О.O.
Published: (2010)
К оценке граничных уровней контролируемого показателя надежности
by: Стрельников, П.В.
Published: (2010)
by: Стрельников, П.В.
Published: (2010)
Моделирование надежности восстанавливаемой резервированной системы со структурой типа «k из n»
by: Федухин, А.В.
Published: (2008)
by: Федухин, А.В.
Published: (2008)
Оптимизация технического обслуживания группы фазированных антенных решеток с учетом внезапных и постепенных отказов СВЧ каналов
by: Костановский, В.В., et al.
Published: (2017)
by: Костановский, В.В., et al.
Published: (2017)
Методология контроля качества изготовления узлов на заводах-изготовителях
by: Федоров, Е.Е.
Published: (2009)
by: Федоров, Е.Е.
Published: (2009)
Оценка коэффициента вариации по результатам испытаний в форсированном режиме
by: Федухин, А.В.
Published: (2004)
by: Федухин, А.В.
Published: (2004)
Планирование испытаний при оценке безотказности технических систем
by: Стрельников, В.П., et al.
Published: (2006)
by: Стрельников, В.П., et al.
Published: (2006)
К вопросу о табулировании функций распределения отказов
by: Федухин, А.В.
Published: (2006)
by: Федухин, А.В.
Published: (2006)
Одиниці виміру ризику за теорією ризик-орієнтованого підходу
by: Бєгун, В.В., et al.
Published: (2019)
by: Бєгун, В.В., et al.
Published: (2019)
Разработка методики идентификации дефектов машин и оборудования
by: Федоров, Е.Е.
Published: (2008)
by: Федоров, Е.Е.
Published: (2008)
Вероятностная оценка надежности структуры сложной системы
by: Ратобыльская, Д.В.
Published: (2012)
by: Ратобыльская, Д.В.
Published: (2012)
Концепция построения гарантоспособных вычислительных систем
by: Теслер, Г.С.
Published: (2006)
by: Теслер, Г.С.
Published: (2006)
Разработка шаблонов эволюционных методов диагностирования цифрових устройств
by: Иванов, Д.Е.
Published: (2014)
by: Иванов, Д.Е.
Published: (2014)
К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
by: Ярошенко, В.Н., et al.
Published: (2014)
by: Ярошенко, В.Н., et al.
Published: (2014)
Исследование методик расчета надежности параллельных структур
by: Джассим Мухаммед Касми, et al.
Published: (2007)
by: Джассим Мухаммед Касми, et al.
Published: (2007)
Учет и контроль знаний студентов с применением системы нечеткого вывода
by: Джамалов, З.Р.
Published: (2018)
by: Джамалов, З.Р.
Published: (2018)
Метод восстановления работоспособности микропроцессорных систем высокой готовности при отказах, связанных с воздействием электростатических разрядов
by: Белявин, В.Ф.
Published: (2019)
by: Белявин, В.Ф.
Published: (2019)
Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
by: Єфімова, Т.І., et al.
Published: (2009)
by: Єфімова, Т.І., et al.
Published: (2009)
Один із прикладів використання методу пошуку несправностей у складних приладах з урахуванням зовнішніх факторів
by: Нікітенко, Є.В.
Published: (2014)
by: Нікітенко, Є.В.
Published: (2014)
Основы методики построения и периодического обновления глоссария для исследований по обеспечению устойчивого функционирования гарантоспособных систем
by: Фидаров, Т.З.
Published: (2015)
by: Фидаров, Т.З.
Published: (2015)
Достоверность работы компьютерных систем
by: Сеспедес Гарсия, Н.В.
Published: (2016)
by: Сеспедес Гарсия, Н.В.
Published: (2016)
Расчет запасных частей на основе DN-распределения
by: Стрельников, В.П.
Published: (2009)
by: Стрельников, В.П.
Published: (2009)
Оценка ресурса изделий электронной техники
by: Стрельников, В.П.
Published: (2004)
by: Стрельников, В.П.
Published: (2004)
К вопросу взаимосвязи величин метрик и их весов
by: Федухин, А.В., et al.
Published: (2015)
by: Федухин, А.В., et al.
Published: (2015)
Моделирование случайных величин с функцией DN-распределения
by: Грибов, В.М., et al.
Published: (2014)
by: Грибов, В.М., et al.
Published: (2014)
Вопросы результативности и эффективности внедрения систем менеджмента качества
by: Стрельников, В.П.
Published: (2005)
by: Стрельников, В.П.
Published: (2005)
Атрибуты и метрики гарантоспособных компьютерных систем
by: Федухин, А.В., et al.
Published: (2013)
by: Федухин, А.В., et al.
Published: (2013)
Учет вторичных дефектов в моделях надежности программных средств
by: Одарущенко, О.Н., et al.
Published: (2010)
by: Одарущенко, О.Н., et al.
Published: (2010)
Обеспечение жизнеспособности информации во времени при ее обработке в СППР
by: Кряжич, О.А.
Published: (2015)
by: Кряжич, О.А.
Published: (2015)
ПЛИС-системы как средство повышения отказоустойчивости
by: Федухин, А.В., et al.
Published: (2010)
by: Федухин, А.В., et al.
Published: (2010)
Построение модели качества программного обеспечения
by: Чумакова, Т.Я., et al.
Published: (2009)
by: Чумакова, Т.Я., et al.
Published: (2009)
К оценке параметра формы DN-распределения в условиях единичных отказов
by: Стрельников, П.В.
Published: (2012)
by: Стрельников, П.В.
Published: (2012)
К оценке достоверности при сертификационных испытаниях на надежность
by: Стрельников, П.В.
Published: (2011)
by: Стрельников, П.В.
Published: (2011)
О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности
by: Грибов, В.М., et al.
Published: (2014)
by: Грибов, В.М., et al.
Published: (2014)
Расчет надежности резервированных структур с использованием DN-распределения на основе аппарата функций случайных аргументов
by: Стрельников, В.П., et al.
Published: (2006)
by: Стрельников, В.П., et al.
Published: (2006)
К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
by: Федухин, А.В., et al.
Published: (2016)
by: Федухин, А.В., et al.
Published: (2016)
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
by: Тарасюк, О.М., et al.
Published: (2010)
by: Тарасюк, О.М., et al.
Published: (2010)
Закономерности изменения средней наработки на отказ технических систем в процессе эксплуатации
by: Стрельников, В.П., et al.
Published: (2010)
by: Стрельников, В.П., et al.
Published: (2010)
К вопросу о связи надежности и достоверности функционирования компьютерных систем
by: Федухин, А.В., et al.
Published: (2017)
by: Федухин, А.В., et al.
Published: (2017)
Диагностика коротких замыканий в многослойных печатных платах
by: Федухин, А.В.
Published: (2003)
by: Федухин, А.В.
Published: (2003)
Similar Items
-
A process for consistent and informed assessment of software reliability over its life cycle
by: Slabospitсkaya, О.O.
Published: (2010) -
К оценке граничных уровней контролируемого показателя надежности
by: Стрельников, П.В.
Published: (2010) -
Моделирование надежности восстанавливаемой резервированной системы со структурой типа «k из n»
by: Федухин, А.В.
Published: (2008) -
Оптимизация технического обслуживания группы фазированных антенных решеток с учетом внезапных и постепенных отказов СВЧ каналов
by: Костановский, В.В., et al.
Published: (2017) -
Методология контроля качества изготовления узлов на заводах-изготовителях
by: Федоров, Е.Е.
Published: (2009)