To the question of applying the correctness calculation technique for estimating the ultimate reliability of multi-version models of fault-tolerant systems

Πηγή: Приборы и системы. Управление, контроль, диагностика.

Θεματικοί όροι: correctness, reliability, recovery block, блоки восстановления, multi-version programming, software redundancy, надежность, корректность, программная избыточность, мультиверсионное программирование

ПРОГНОЗИРОВАНИЕ СТОИМОСТИ РАЗРАБОТКИ СИСТЕМ С ПРОГРАММНОЙ ИЗБЫТОЧНОСТЬЮ

Συγγραφείς: Шеенок, Д., Кукарцев, В.

Θεματικοί όροι: ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ, ОТКАЗОУСТОЙЧИВОСТЬ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/prognozirovanie-stoimosti-razrabotki-sistem-s-programmnoy-izbytochnostyu
http://cyberleninka.ru/article_covers/15309601.png

ОЦЕНКА ЗАТРАТ НА МОДЕРНИЗАЦИЮ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КРИТИЧЕСКИХ ПО НАДЕЖНОСТИ СИСТЕМ

Συγγραφείς: Кукарцев, Владислав, Шеенок, Дмитрий

Θεματικοί όροι: ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ, ТРУДОЗАТРАТЫ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ДЕКОМПОЗИЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/otsenka-zatrat-na-modernizatsiyu-programmnogo-obespecheniya-kriticheskih-po-nadezhnosti-sistem
http://cyberleninka.ru/article_covers/14601031.png

ОБОБЩЕННЫЙ КРИТЕРИЙ НАДЕЖНОСТИ ИНТЕГРАЛЬНЫХ СХЕМ И МЕТОДЫ ЗАЩИТЫ ОТ ОДИНОЧНЫХ СБОЕВ В ЦИФРОВЫХ УСТРОЙСТВАХ НА СТАДИИ ПРОЕКТИРОВАНИЯ

Συγγραφείς: Ачкасов, Владимир, Смерек, Владимир, Уткин, Денис

Θεματικοί όροι: ИНТЕГРАЛЬНАЯ СХЕМА, ОДИНОЧНЫЕ СБОИ, СТРУКТУРНАЯ ИЗБЫТОЧНОСТЬ, ВРЕМЕННАЯ ИЗБЫТОЧНОСТЬ, ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/obobschennyy-kriteriy-nadezhnosti-integralnyh-shem-i-metody-zaschity-ot-odinochnyh-sboev-v-tsifrovyh-ustroystvah-na-stadii
http://cyberleninka.ru/article_covers/15437881.png

Прогнозирование стоимости разработки систем с программной избыточностью

Πηγή: Известия Волгоградского государственного технического университета.

Θεματικοί όροι: 0205 materials engineering, ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ, ОТКАЗОУСТОЙЧИВОСТЬ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, 0211 other engineering and technologies, 02 engineering and technology

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/prognozirovanie-stoimosti-razrabotki-sistem-s-programmnoy-izbytochnostyu
http://cyberleninka.ru/article_covers/15309601.png

Обобщенный критерий надежности интегральных схем и методы защиты от одиночных сбоев в цифровых устройствах на стадии проектирования

Πηγή: Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета.

Θεματικοί όροι: ИНТЕГРАЛЬНАЯ СХЕМА, ОДИНОЧНЫЕ СБОИ, СТРУКТУРНАЯ ИЗБЫТОЧНОСТЬ, ВРЕМЕННАЯ ИЗБЫТОЧНОСТЬ, ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/obobschennyy-kriteriy-nadezhnosti-integralnyh-shem-i-metody-zaschity-ot-odinochnyh-sboev-v-tsifrovyh-ustroystvah-na-stadii
http://cyberleninka.ru/article_covers/15437881.png

Оценка затрат на модернизацию программного обеспечения критических по надежности систем

Πηγή: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева.

Θεματικοί όροι: ПРОГРАММНАЯ ИЗБЫТОЧНОСТЬ, ТРУДОЗАТРАТЫ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ДЕКОМПОЗИЦИЯ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/otsenka-zatrat-na-modernizatsiyu-programmnogo-obespecheniya-kriticheskih-po-nadezhnosti-sistem
http://cyberleninka.ru/article_covers/14601031.png