RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2019, том 31, выпуск 5, страницы 95–108 (Mi tisp456)

Эта публикация цитируется в 2 статьях

Методы оценки надежности программных и технических систем

Е. М. Лаврищеваab, С. В. Зеленовca, Н. В. Пакулинd

a Институт системного программирования им. В.П. Иванникова РАН
b Московский физико-технический институт
c НИУ Высшая школа экономики
d Pax Datatech PTE. Ltd

Аннотация: Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей надежности, дается характеристика моделей оценочного типов, используемых при проверке показателей надежности компонентов программно-технических систем. Обсуждаются экспериментальные результаты применения оценочных моделей надежности к разным размерам программных компонентов программно-технических систем и приводится оценка результатов измерения показателя надежности на этих компонентах с учетом плотности дефектов, интенсивности отказов и восстанавливаемости. Отмечается важность обеспечения надежности и безопасности (dependability and safety) систем в рамках новых стандартов интеллектуальных систем и Интернета вещей.

Ключевые слова: надежность, ошибка, дефект, отказ, безопасность, тестирование, надежность, риск, умные компьютеры.

DOI: 10.15514/ISPRAS-2019-31(5)-7



© МИАН, 2024