Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2019
1. Verfasser:	Cespedes Garcia, P.D.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2019
Schlagworte:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/151943
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	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 Ukraine

Ähnliche Einträge

A process for consistent and informed assessment of software reliability over its life cycle
von: Slabospitсkaya, О.O.
Veröffentlicht: (2010)

Моделирование надежности восстанавливаемой резервированной системы со структурой типа «k из n»
von: Федухин, А.В.
Veröffentlicht: (2008)

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

Расчет надежности структур типа "k из n" на основе метода функций случайных аргументов
von: Джассим Мухаммед Касми
Veröffentlicht: (2006)

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

Одиниці виміру ризику за теорією ризик-орієнтованого підходу
von: Бєгун, В.В., et al.
Veröffentlicht: (2019)

Учет вторичных дефектов в моделях надежности программных средств
von: Одарущенко, О.Н., et al.
Veröffentlicht: (2010)

К оценке достоверности при сертификационных испытаниях на надежность
von: Стрельников, П.В.
Veröffentlicht: (2011)

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

Управление процессом разработки сложных технических систем и процессов. Особенности применения FMEA-анализа
von: Муха, Ар.А.
Veröffentlicht: (2012)

Оптимізування технічного обслуговування фазованих антенних решіток
von: Костановський, В.В.
Veröffentlicht: (2015)

Прогнозирование остаточной долговечности паяных соединений
von: Иванов, Н.Н., et al.
Veröffentlicht: (2012)

Исследование свойств статистики, применяемой для оценки вероятности безотказной работы
von: Стрельников, В.П., et al.
Veröffentlicht: (2008)

Оценка уровня целостности гарантоспособных компьютерных систем
von: Сеспедес Гарсия, Н.В.
Veröffentlicht: (2013)

Новая технология исследования надежности машин и аппаратуры
von: Стрельников, В.П.
Veröffentlicht: (2007)

К вопросу об аппаратной реализации избыточных структур. Поэлементное резервирование
von: Федухин, А.В.
Veröffentlicht: (2009)

Об одном подходе к установлению грифа секретности документу с учетом взвешенных коэффициентов оцениваемых факторов конфиденциальности
von: Сулейманова, А.Н.
Veröffentlicht: (2018)

Исследование методов контроля средних показателей безотказности вычислительной техники
von: Стрельников, В.П., et al.
Veröffentlicht: (2005)

Вероятностная оценка надежности структуры сложной системы
von: Ратобыльская, Д.В.
Veröffentlicht: (2012)

Планирование испытаний при оценке безотказности технических систем
von: Стрельников, В.П., et al.
Veröffentlicht: (2006)

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

Приближенная оценка надежности восстанавливаемых изделий на этапе эскизного проектирования
von: Федухин, А.В., et al.
Veröffentlicht: (2018)

К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
von: Федухин, А.В., et al.
Veröffentlicht: (2016)

Радиомикропроцессорные информационные системы для железнодорожных переездов серии «Благовест»
von: Федухин, А.В., et al.
Veröffentlicht: (2014)

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

Закономерности изменения средней наработки на отказ технических систем в процессе эксплуатации
von: Стрельников, В.П., et al.
Veröffentlicht: (2010)

Расчет надежности резервированных структур с использованием DN-распределения на основе аппарата функций случайных аргументов
von: Стрельников, В.П., et al.
Veröffentlicht: (2006)

К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
von: Федухин, А.В., et al.
Veröffentlicht: (2017)

Моделирование надежности восстанавливаемой резервированной системы с учетом тренда параметров надежности составных частей
von: Федухин, А.В.
Veröffentlicht: (2007)

Міжнародний підхід до управління безпекою та європейська інформаційно-моніторингова система Copernicus
von: Кропотов, П.П., et al.
Veröffentlicht: (2019)

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

Методология контроля качества изготовления узлов на заводах-изготовителях
von: Федоров, Е.Е.
Veröffentlicht: (2009)

Анализ методик расчета безотказности избыточных систем
von: Стрельников, В.П., et al.
Veröffentlicht: (2005)

К вопросу о достоверности функционирования компьютерных систем с квазимостиковой структурой
von: Муха, Ар.А., et al.
Veröffentlicht: (2019)

Имитационное моделирование отказоустойчивой резервированной двухканальной системы в интегрированной инструментальной среде MATLAB SIMULINK
von: Федухин, А.В., et al.
Veröffentlicht: (2011)

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

Моделирование надежности невосстанавливаемой квазимостиковой структуры
von: Пасько, В.П.
Veröffentlicht: (2013)

Экспериментальная оценка надежности изделий в условиях малого числа отказов
von: Стрельников, П.В.
Veröffentlicht: (2011)

Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест»
von: Муха, Ар.А.
Veröffentlicht: (2018)

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