Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2019, том 31, выпуск 5, страницы 95–108
DOI: https://doi.org/10.15514/ISPRAS-2019-31(5)-7
(Mi tisp456)
 

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

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

a Институт системного программирования им. В.П. Иванникова РАН
b Московский физико-технический институт
c НИУ Высшая школа экономики
d Pax Datatech PTE. Ltd
Список литературы:
Аннотация: Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей надежности, дается характеристика моделей оценочного типов, используемых при проверке показателей надежности компонентов программно-технических систем. Обсуждаются экспериментальные результаты применения оценочных моделей надежности к разным размерам программных компонентов программно-технических систем и приводится оценка результатов измерения показателя надежности на этих компонентах с учетом плотности дефектов, интенсивности отказов и восстанавливаемости. Отмечается важность обеспечения надежности и безопасности (dependability and safety) систем в рамках новых стандартов интеллектуальных систем и Интернета вещей.
Ключевые слова: надежность, ошибка, дефект, отказ, безопасность, тестирование, надежность, риск, умные компьютеры.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 19-01-00206
Работа поддержана грантом РФФИ 19-01-00206.
Тип публикации: Статья
Образец цитирования: Е. М. Лаврищева, С. В. Зеленов, Н. В. Пакулин, “Методы оценки надежности программных и технических систем”, Труды ИСП РАН, 31:5 (2019), 95–108
Цитирование в формате AMSBIB
\RBibitem{LavZelPak19}
\by Е.~М.~Лаврищева, С.~В.~Зеленов, Н.~В.~Пакулин
\paper Методы оценки надежности программных и технических систем
\jour Труды ИСП РАН
\yr 2019
\vol 31
\issue 5
\pages 95--108
\mathnet{http://mi.mathnet.ru/tisp456}
\crossref{https://doi.org/10.15514/ISPRAS-2019-31(5)-7}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp456
  • https://www.mathnet.ru/rus/tisp/v31/i5/p95
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:259
    PDF полного текста:827
    Список литературы:17
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024