К вопросу о повышении надежности программного обеспечения за счет применения методов избыточности

Source: Информатика. Экономика. Управление, Vol 3, Iss 2 (2024)

Subject Terms: резервное копирование, избыточность, надежность программного обеспечения, отказоустойчивость, микросервисная архитектура, резервирование, General Works

Access URL: https://doaj.org/article/525d1277a3064246ace3600a74f83c1c

Метод блоков восстановления для повышения надежности программного обеспечения: сравнение с мультиверсионным программированием

Authors: Д.В. Грузенкин, Д.О. Шаварин

Source: Современные инновации, системы и технологии, Vol 2, Iss 3 (2022)

Subject Terms: надежность программного обеспечения, метод блоков восстановления, N-версионное программирование, мультиверсионное программирование, Technology (General), T1-995

File Description: electronic resource

Relation: https://oajmist.com/index.php/12/article/view/154; https://doaj.org/toc/2782-2826; https://doaj.org/toc/2782-2818

Access URL: https://doaj.org/article/931b29112752411ca873d65262aae58f

Hard Constraints Explicit Model Predictive Control of an Inverted Pendulum

Authors: Almurib, Haider A.F., Askari, Masood, Moghavvemi, Mahmoud

Contributors: Moghavvemi, Mahmoud

Source: Iraqi Journal for Electrical And Electronic Engineering. 6:28-32

Subject Terms: کنترل پیش‌بینی مدل صریح, Fiabilité du logiciel, restricciones estrictas, Softwarezuverlässigkeit, Contrôle prédictif modèle, Pendules, موثوقية البرمجيات, sistemas restringidos, 02 engineering and technology, Надежность программного обеспечения, Table lookup, Predictive control systems, contraintes strictes, Modelo de control predictivo, pendule inversé, 0202 electrical engineering, electronic engineering, information engineering, жесткие ограничения, کنترل‌کننده‌ها. آونگ ها, جستجوی جدول, harte Einschränkungen, Péndulos, systèmes contraints, Systèmes de contrôle prédictif, Controladores, Модельное прогнозирующее управление, Поиск по таблице, invertiertes Pendel, سیستم های زمان واقعی, القيود الصعبة, eingeschränkte Systeme, Sistemas de tiempo real, Controllers, Recherche de table, Pendel, التحكم التنبئي للنموذج الصريح, Explicit model predictive control, البندول المقلوب, ограниченные системы, Системы реального времени, Fiabilidad del software, Pendulums, أنظمة التحكم التنبؤية, سیستم های کنترل پیش بینی, Tabellensuche, explizite modellprädiktive Steuerung, آونگ معکوس, constrained systems, الأنظمة المقيدة التحكم التنبئي الواضح للنموذج, Contrôleurs, Búsqueda de tablas, کنترل پیش‌بینی مدل, بندول, [SPI] Engineering Sciences [physics], المتحكمات, Hard constraints, contrôle prédictif de modèle explicite, Контроллеры, البحث في الجدول, قابلیت اطمینان نرم افزار, Software reliability, أنظمة الوقت الحقيقي, modellprädiktive Regelung, control predictivo del modelo explícito, Echtzeitsysteme, Model predictive control, маятники, کنترل پیش بینی مدل صریح, explicit model predictive control, péndulo invertido, Systèmes en temps réel, Real time systems, Sistemas de control predictivo, перевернутый маятник, Regler, محدودیت‌های سخت, Prädiktive Kontrollsysteme, سیستم های محدود, Системы прогнозного управления, التحكم التنبئي النموذجي, явное прогнозирующее управление моделью, control predictivo de modelo explícito, inverted pendulum

Access URL: https://hal.science/hal-04349146v1
http://eprints.um.edu.my/9744/
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005767330

Видеолекция_Надёжность ПО. Введение. Язык-китайский

Authors: Оськин, А. Ф.

Subject Terms: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

Relation: https://elib.psu.by/handle/123456789/28382

Availability: https://elib.psu.by/handle/123456789/28382

Видеолекция_Надёжность ПО. Введение. Язык-английский

Authors: Оськин, А. Ф.

Subject Terms: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

Relation: https://elib.psu.by/handle/123456789/28381

Availability: https://elib.psu.by/handle/123456789/28381

Видеолекция_Надёжность ПО. Введение. Язык-русский

Authors: Оськин, А. Ф.

Subject Terms: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

Relation: https://elib.psu.by/handle/123456789/28380

Availability: https://elib.psu.by/handle/123456789/28380

Методика оцінки показників надійності системи спеціального зв’язку ; Методика оценки показателей надежности системы специальной связи ; Method of evaluation indicators reliability of special communication

Authors: В.П. Зверев, С.Є. Гнатюк, С.Е. Гнатюк, V.P. Zverev, S.E. Hnatiuk

Source: Системи озброєння і військова техніка. — 2015. — № 2(42). 78-84 ; Системы вооружения и военная техника. — 2015. — № 2(42). 78-84 ; Systems of Arms and Military Equipment. — 2015. — № 2(42). 78-84 ; 1997-9568

Subject Terms: Теоретичні основи розробки систем озброєння, УДК 681.3.06, надійність системи, надійність програмного забезпечення, підвищення точності, прогнозування, спеціальні комп’ютерні системи, програмно-керовані засоби зв’язку, надежность системы, надежность программного обеспечения, повышение точности прогнозирования, специальные компьютерные системы, программно-управляемые средства связи, reliability, software reliability, improving the accuracy of forecasting, special computer system, programcontrolled communications

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/2541/soivt_2015_2_22.pdf; http://www.hups.mil.gov.ua/periodic-app/article/2541

Availability: http://www.hups.mil.gov.ua/periodic-app/article/2541

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

Authors: СТЕПОВИЧ-ЦВЕТКОВА Г.С.

Subject Terms: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,ОЦЕНКА НАДЕЖНОСТИ,ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ,МЕТОД ОЦЕНКИ НАДЕЖНОСТИ,ФУНКЦИОНАЛЬНЫЙ ПОДХОД,ФУНКЦИОНАЛЬНЫЙ БЛОК,ОТКАЗ,СБОЙ В ПРОГРАММЕ,RELIABILITY SOFTWARE,RELIABILITY ASSESSMENT,SOFTWARE,METHOD FOR ASSESSING THE RELIABILITY,FUNCTIONAL APPROACH,FUNCTIONAL UNIT,FAILURE,FAILURE OF THE PROGRAM

File Description: text/html

Availability: http://cyberleninka.ru/article/n/otsenka-nadezhnosti-programmnogo-obespecheniya-posredstvom-primeneniya-funktsionalnogo-podhoda
http://cyberleninka.ru/article_covers/16396991.png

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

Authors: ГУСЕНИЦА ЯРОСЛАВ НИКОЛАЕВИЧ

Subject Terms: КОМАНДНЫЕ ПУНКТЫ,СЛОЖНЫЕ ВОЕННО-ТЕХНИЧЕСКИЕ СИСТЕМЫ,ОГРАНИЧЕННЫЙ ОБЪЕМ ИСПЫТАНИЙ,НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,ПРОИЗВОЛЬНОЕ РАСПРЕДЕЛЕНИЕ,РАЗНОТИПНЫЕ ПРОГРАММНЫЕ ОШИБКИ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/obobschennaya-model-potoka-raznotipnyh-programmnyh-oshibok-dlya-otsenivaniya-nadezhnosti-programmnogo-obespecheniya
http://cyberleninka.ru/article_covers/16785648.png

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

Authors: СТЕПОВИЧ-ЦВЕТКОВА ГАЛИНА СЕРГЕЕВНА

Subject Terms: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,ОЦЕНКА НАДЕЖНОСТИ,ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ,ПОВЫШЕНИЕ НАДЕЖНОСТИ,ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ,ФУНКЦИОНАЛЬНЫЙ ПОДХОД,ФУНКЦИОНАЛЬНЫЙ БЛОК,СИСТЕМНЫЙ ПОДХОД,СИСТЕМНЫЕ ПРИНЦИПЫ,СИСТЕМНО-ФУНКЦИОНАЛЬНЫЙ ПОДХОД,SOFTWARE RELIABILITY,RELIABILITY ASSESSMENT,ENSURING THE RELIABILITY,IMPROVING OF THE SOFTWARE RELIABILITY,FUNCTIONAL APPROACH,FUNCTIONAL UNIT,SYSTEM APPROACH,SYSTEM PRINCIPLES,SYSTEMIC-FUNCTIONAL APPROACH

File Description: text/html

Availability: http://cyberleninka.ru/article/n/povyshenie-nadezhnosti-programmnogo-obespecheniya-sistemno-funktsionalnyy-podhod
http://cyberleninka.ru/article_covers/16441502.png

ОЦЕНКА НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МЕТОДАМИ ДИСКРЕТНО-СОБЫТИЙНОГО МОДЕЛИРОВАНИЯ

Authors: М.А. Бутакова, А.Н. Гуда, А.В. Чернов, С.В. Чубейко

Subject Terms: дискретно-событийное моделирование, событийно-ориентированное моделирование, про-цессно-ориентированное моделирование, надежность программного обеспечения, структура программного компо-нента

File Description: text/html

Availability: http://cyberleninka.ru/article/n/otsenka-nadezhnosti-programmnogo-obespecheniya-metodami-diskretno-sobytiynogo-modelirovaniya
http://cyberleninka.ru/article_covers/16070479.png

Программные и аппаратные средства информатики

Contributors: Сибирский федеральный университет, Институт космических и информационных технологий

Subject Terms: надежность программного обеспечения, обработка информации, информационные процессы, базы данных, информационная безопасность, 004.42(07), программное обеспечение ЭВМ, программирование, Интернет, 004.3(07)

Access URL: https://openrepository.ru/article?id=449907

The necessity of reliable software development as a challenge of modern age ; Необходимость разработки надежного программного обеспечения как вызов современности

Authors: Любицын, Владимир Николаевич

Source: Computer Technologies, Automatic Control, Radioelectronics; №23 (282) выпуск 16; 26-29 ; Компьютерные технологии, управление, радиоэлектроника; №23 (282) выпуск 16; 26-29 ; 2409-6571 ; 1991-976X

Subject Terms: software reliability, software reliability prediction, classification of software reliability models, надежность программного обеспечения, прогнозирование надежности программного обеспечения, классификация моделей надежности программного обеспечения

File Description: application/pdf

Relation: https://vestnik.susu.ru/ctcr/article/view/437/418; https://vestnik.susu.ru/ctcr/article/view/437

Availability: https://vestnik.susu.ru/ctcr/article/view/437

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

Authors: ЛЯСКОВСКИЙ ВИКТОР ЛЮДВИГОВИЧ, ЮСКЕВИЧ ИЛЬЯ АЛЕКСАНДРОВИЧ

Subject Terms: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,SOFTWARE RELIABILITY,ПОКАЗАТЕЛЬ НАДЕЖНОСТИ,RELIABILITY PARAMETER,ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,SOFTWARE TESTING,АЛГОРИТМИЧЕСКОЕ РЕЗЕРВИРОВАНИЕ,ALGORITHMIC REDUNDANCY,ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ,INTEGER PROGRAMMING,МЕТОД СЕТОЧНОГО АДАПТИВНОГО ПОИСКА,MESH ADAPTIVE DIRECT SEARCH,МЕТОД ПОЛНОГО ПЕРЕБОРА,BRUTE-FORCE SEARCH

File Description: text/html

Availability: http://cyberleninka.ru/article/n/metodika-vybora-parametrov-testirovaniya-i-algoritmicheskogo-rezervirovaniya-dlya-obespecheniya-trebovaniy-k-nadezhnosti
http://cyberleninka.ru/article_covers/16825388.png

ПРИНЦИПЫ ПРОГРАММИРОВАНИЯ КОНТРОЛЛЕРОВ НА ЯЗЫКЕ FBD

Authors: Севастьянов, Борис, Жолобов, Игорь, Севастьянов, Дмитрий

Subject Terms: ПРИНЦИПЫ ПРОГРАММИРОВАНИЯ, ИДЕНТИЧНОСТЬ НУМЕРАЦИИ АЛГОБЛОКОВ АНАЛОГИЧНЫХ АЛГОРИТМОВ, ПРОМЕЖУТОЧНЫЙ ПРОГРАММНЫЙ КЛЕММНИК, ПРИНЦИП НЕЖЁСТКОЙ НУМЕРАЦИИ, КАЧЕСТВО И НАДЁЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/printsipy-programmirovaniya-kontrollerov-na-yazyke-fbd
http://cyberleninka.ru/article_covers/15679095.png

Analysis of accuracy forecast of continuous generalized Bayesian model of reliability software based on priory gamma distribution

Authors: Zatenko, S.I., Taraban, M.V., Chudovskaya, L.A.

Source: Известия СПбЛТА.

Subject Terms: функция роста, коэффициент пессимизма, reliability software, interval Bayesian model of reliability, надежность программного обеспечения, coefficient of pessimism, growth function, интерваль- ные байесовские модели надежности

ОПЫТ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ БИЛЛИНГА РЕСУРСОВ ТЕПЛОСНАБЖАЮЩЕГО ПРЕДПРИЯТИЯ

Authors: ВОЛКОВ ДМИТРИЙ ВАЛЕНТИНОВИЧ, ШЕРНАС ПАВЕЛ ЮРГИСОВИЧ

Subject Terms: ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ БИЛЛИНГА, СИСТЕМА КОММЕРЧЕСКОГО УЧЁТА ТЕПЛА, БАЛАНСОВЫЙ МЕТОД РАСЧЁТА, НАДЁЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ БИЛЛИНГА, ПРОИЗВОДИТЕЛЬНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ БИЛЛИНГА

File Description: text/html

Availability: http://cyberleninka.ru/article/n/opyt-razrabotki-programmnogo-obespecheniya-sistemy-billinga-resursov-teplosnabzhayuschego-predpriyatiya
http://cyberleninka.ru/article_covers/15959209.png

Основы дискретной динамики программных систем ; Основи дискретної динаміки програмних систем ; Basics of discrete dynami cs of software systems

Authors: Маевский, Д. А., Маєвський, Д. А., Maevsky, D. A.

Subject Terms: информационные системы, динамика программных систем, динамические системы дискретного времени, надежность программного обеспечения, інформаційні системи, динаміка програмних систем, надійність програмного забезпечення, динамічні системи дискретного часу

Relation: Маевский, Д. А. Основы дискретной динамики программных систем / Д. А. Маевский // Пр. Одес. політехн. ун-ту. - Одеса, 2012. - Вип. 2 (39). - C. 165-169.; http://pratsi.opu.ua/app/webroot/articles/1364379568.pdf; http://dspace.opu.ua/jspui/handle/123456789/6960

Availability: http://dspace.opu.ua/jspui/handle/123456789/6960
http://pratsi.opu.ua/app/webroot/articles/1364379568.pdf

Тестовый монитор для управляющих программ ; Тестовий монітор для управляючих програм ; The test monitor for control programs

Authors: С.Н. Звиглянич, Н.П. Изюмский, С.М. Звиглянич, М.П Ізюмський, S.N. Zviglyanich, N.P. Izyumskiy

Source: Системи обробки інформації. — 2012. — № 3(101). 17-19 ; Системы обработки информации. — 2012. — № 3(101). 17-19 ; Information Processing Systems. — 2012. — № 3(101). 17-19 ; 1681-7710

Subject Terms: Обробка інформації в складних технічних системах, УДК 681.3, программное средство, надежность программного обеспечения, тестирование программ, програмний засіб, надійність програмного забезпечення, тестування програм, software, software reliability, program testing

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/9526/soi_2012_3_6.pdf; http://www.hups.mil.gov.ua/periodic-app/article/9526

Availability: http://www.hups.mil.gov.ua/periodic-app/article/9526

Influence of secondary defects on reliability of dynamic information systems ; Влияние вторичных дефектов на надежность динамичных информационных систем ; Вплив вторинних дефектів на надійність динамічних інформаційних систем

Authors: Маевский, Д. А.

Source: Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies; No. 50 (2012): Вісник Національного технічного університету "ХПІ". Серія: Нові рішення у сучасних технологіях; 54-58 ; Вестник Национального Технического Университета "ХПИ" Серия Новые решения в современных технологиях; № 50 (2012): Вестник Национального технического университета "ХПИ". Серия: Новые решения в современных технологиях; 54-58 ; Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях; № 50 (2012): Вісник Національного технічного університету "ХПІ". Серія: Нові рішення у сучасних технологіях; 54-58 ; 2413-4295 ; 2079-5459

Subject Terms: Reliability of software, secondary defects, theory of dynamics of the programming systems, dynamic information systems, UDC 004.519.217, Надежность программного обеспечения, вторичные дефекты, теория динамики программных систем, динамичные информационные системы, УДК 004.519.217, Надійність програмного забезпечення, вторинні дефекти, теорія динаміки програмних систем, динамічні інформаційні системи

File Description: application/pdf

Relation: http://vestnik2079-5459.khpi.edu.ua/article/view/5172/4748

Availability: http://vestnik2079-5459.khpi.edu.ua/article/view/5172