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

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

Θεματικοί όροι: резервное копирование, избыточность, надежность программного обеспечения, отказоустойчивость, микросервисная архитектура, резервирование, General Works

Σύνδεσμος πρόσβασης: https://doaj.org/article/525d1277a3064246ace3600a74f83c1c

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

Συγγραφείς: Д.В. Грузенкин, Д.О. Шаварин

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

Θεματικοί όροι: надежность программного обеспечения, метод блоков восстановления, N-версионное программирование, мультиверсионное программирование, Technology (General), T1-995

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/931b29112752411ca873d65262aae58f

Hard Constraints Explicit Model Predictive Control of an Inverted Pendulum

Συγγραφείς: Almurib, Haider A.F., Askari, Masood, Moghavvemi, Mahmoud

Συνεισφορές: Moghavvemi, Mahmoud

Πηγή: Iraqi Journal for Electrical And Electronic Engineering. 6:28-32

Θεματικοί όροι: کنترل پیش‌بینی مدل صریح, 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

Σύνδεσμος πρόσβασης: https://hal.science/hal-04349146v1
http://eprints.um.edu.my/9744/
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005767330

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

Συγγραφείς: Оськин, А. Ф.

Θεματικοί όροι: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

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

Διαθεσιμότητα: https://elib.psu.by/handle/123456789/28382

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

Συγγραφείς: Оськин, А. Ф.

Θεματικοί όροι: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

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

Διαθεσιμότητα: https://elib.psu.by/handle/123456789/28381

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

Συγγραφείς: Оськин, А. Ф.

Θεματικοί όροι: Надёжность программного обеспечения, Программные ошибки, Баги, Катастрофы

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

Διαθεσιμότητα: https://elib.psu.by/handle/123456789/28380

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

Συγγραφείς: В.П. Зверев, С.Є. Гнатюк, С.Е. Гнатюк, V.P. Zverev, S.E. Hnatiuk

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

Θεματικοί όροι: Теоретичні основи розробки систем озброєння, УДК 681.3.06, надійність системи, надійність програмного забезпечення, підвищення точності, прогнозування, спеціальні комп’ютерні системи, програмно-керовані засоби зв’язку, надежность системы, надежность программного обеспечения, повышение точности прогнозирования, специальные компьютерные системы, программно-управляемые средства связи, reliability, software reliability, improving the accuracy of forecasting, special computer system, programcontrolled communications

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/2541

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

Συγγραφείς: СТЕПОВИЧ-ЦВЕТКОВА Г.С.

Θεματικοί όροι: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,ОЦЕНКА НАДЕЖНОСТИ,ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ,МЕТОД ОЦЕНКИ НАДЕЖНОСТИ,ФУНКЦИОНАЛЬНЫЙ ПОДХОД,ФУНКЦИОНАЛЬНЫЙ БЛОК,ОТКАЗ,СБОЙ В ПРОГРАММЕ,RELIABILITY SOFTWARE,RELIABILITY ASSESSMENT,SOFTWARE,METHOD FOR ASSESSING THE RELIABILITY,FUNCTIONAL APPROACH,FUNCTIONAL UNIT,FAILURE,FAILURE OF THE PROGRAM

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/otsenka-nadezhnosti-programmnogo-obespecheniya-posredstvom-primeneniya-funktsionalnogo-podhoda
http://cyberleninka.ru/article_covers/16396991.png

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

Συγγραφείς: ГУСЕНИЦА ЯРОСЛАВ НИКОЛАЕВИЧ

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/obobschennaya-model-potoka-raznotipnyh-programmnyh-oshibok-dlya-otsenivaniya-nadezhnosti-programmnogo-obespecheniya
http://cyberleninka.ru/article_covers/16785648.png

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

Συγγραφείς: СТЕПОВИЧ-ЦВЕТКОВА ГАЛИНА СЕРГЕЕВНА

Θεματικοί όροι: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,ОЦЕНКА НАДЕЖНОСТИ,ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ,ПОВЫШЕНИЕ НАДЕЖНОСТИ,ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ,ФУНКЦИОНАЛЬНЫЙ ПОДХОД,ФУНКЦИОНАЛЬНЫЙ БЛОК,СИСТЕМНЫЙ ПОДХОД,СИСТЕМНЫЕ ПРИНЦИПЫ,СИСТЕМНО-ФУНКЦИОНАЛЬНЫЙ ПОДХОД,SOFTWARE RELIABILITY,RELIABILITY ASSESSMENT,ENSURING THE RELIABILITY,IMPROVING OF THE SOFTWARE RELIABILITY,FUNCTIONAL APPROACH,FUNCTIONAL UNIT,SYSTEM APPROACH,SYSTEM PRINCIPLES,SYSTEMIC-FUNCTIONAL APPROACH

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/povyshenie-nadezhnosti-programmnogo-obespecheniya-sistemno-funktsionalnyy-podhod
http://cyberleninka.ru/article_covers/16441502.png

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

Συγγραφείς: М.А. Бутакова, А.Н. Гуда, А.В. Чернов, С.В. Чубейко

Θεματικοί όροι: дискретно-событийное моделирование, событийно-ориентированное моделирование, про-цессно-ориентированное моделирование, надежность программного обеспечения, структура программного компо-нента

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/otsenka-nadezhnosti-programmnogo-obespecheniya-metodami-diskretno-sobytiynogo-modelirovaniya
http://cyberleninka.ru/article_covers/16070479.png

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

Συνεισφορές: Сибирский федеральный университет, Институт космических и информационных технологий

Θεματικοί όροι: надежность программного обеспечения, обработка информации, информационные процессы, базы данных, информационная безопасность, 004.42(07), программное обеспечение ЭВМ, программирование, Интернет, 004.3(07)

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=449907

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

Συγγραφείς: Любицын, Владимир Николаевич

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

Θεματικοί όροι: software reliability, software reliability prediction, classification of software reliability models, надежность программного обеспечения, прогнозирование надежности программного обеспечения, классификация моделей надежности программного обеспечения

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://vestnik.susu.ru/ctcr/article/view/437

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

Συγγραφείς: ЛЯСКОВСКИЙ ВИКТОР ЛЮДВИГОВИЧ, ЮСКЕВИЧ ИЛЬЯ АЛЕКСАНДРОВИЧ

Θεματικοί όροι: НАДЕЖНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,SOFTWARE RELIABILITY,ПОКАЗАТЕЛЬ НАДЕЖНОСТИ,RELIABILITY PARAMETER,ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,SOFTWARE TESTING,АЛГОРИТМИЧЕСКОЕ РЕЗЕРВИРОВАНИЕ,ALGORITHMIC REDUNDANCY,ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ,INTEGER PROGRAMMING,МЕТОД СЕТОЧНОГО АДАПТИВНОГО ПОИСКА,MESH ADAPTIVE DIRECT SEARCH,МЕТОД ПОЛНОГО ПЕРЕБОРА,BRUTE-FORCE SEARCH

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

Διαθεσιμότητα: 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

Συγγραφείς: Севастьянов, Борис, Жолобов, Игорь, Севастьянов, Дмитрий

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

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

Διαθεσιμότητα: 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

Συγγραφείς: Zatenko, S.I., Taraban, M.V., Chudovskaya, L.A.

Πηγή: Известия СПбЛТА.

Θεματικοί όροι: функция роста, коэффициент пессимизма, reliability software, interval Bayesian model of reliability, надежность программного обеспечения, coefficient of pessimism, growth function, интерваль- ные байесовские модели надежности

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

Συγγραφείς: ВОЛКОВ ДМИТРИЙ ВАЛЕНТИНОВИЧ, ШЕРНАС ПАВЕЛ ЮРГИСОВИЧ

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

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

Διαθεσιμότητα: 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

Συγγραφείς: Маевский, Д. А., Маєвський, Д. А., Maevsky, D. A.

Θεματικοί όροι: информационные системы, динамика программных систем, динамические системы дискретного времени, надежность программного обеспечения, інформаційні системи, динаміка програмних систем, надійність програмного забезпечення, динамічні системи дискретного часу

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

Διαθεσιμότητα: http://dspace.opu.ua/jspui/handle/123456789/6960
http://pratsi.opu.ua/app/webroot/articles/1364379568.pdf

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

Συγγραφείς: С.Н. Звиглянич, Н.П. Изюмский, С.М. Звиглянич, М.П Ізюмський, S.N. Zviglyanich, N.P. Izyumskiy

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

Θεματικοί όροι: Обробка інформації в складних технічних системах, УДК 681.3, программное средство, надежность программного обеспечения, тестирование программ, програмний засіб, надійність програмного забезпечення, тестування програм, software, software reliability, program testing

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/9526

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

Συγγραφείς: Маевский, Д. А.

Πηγή: 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

Θεματικοί όροι: Reliability of software, secondary defects, theory of dynamics of the programming systems, dynamic information systems, UDC 004.519.217, Надежность программного обеспечения, вторичные дефекты, теория динамики программных систем, динамичные информационные системы, УДК 004.519.217, Надійність програмного забезпечення, вторинні дефекти, теорія динаміки програмних систем, динамічні інформаційні системи

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://vestnik2079-5459.khpi.edu.ua/article/view/5172