Search
Now showing items 1-6 of 6
Risk-oriented software reliability assessment
(ХАІ, 2006)
Software risks and risk management model are discussed. Software reliability risks are considered as a part of
general software risk model. Software reliability assessment risks concerned with reliability assessment ...
Classification of the information integrity recovery methods in the systems of various complexity
(ХАІ, 2008)
The main methods of data recovery are considered, the efficiency analysis according to the cost criteria, recovery speed and ability to apply it to various tasks was carried out.
Багатоінваріантний метод підвищення надійності програмних засобів
(ХАІ, 2008)
З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні
з відомими меншу ...
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Проблемы надежности программно-аппаратных средств беспилотных систем
(ХАІ, 2012)
Приведен анализ результатов испытаний беспилотных систем, выявлены основные элементы
аппаратного и программного обеспечения с наименьшей надежностью. Рассмотрены существующие
подходы решения вопросов оценки и методы ...
Фактори надійності програмного забезпечення
(ХАІ, 2013)
Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних
систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як
чорної скрині, та системи ...