Модели ГЕРТ-сетей для различных способов применения методологии мультиверсий

Описание

Перевод названия: Model of GERT-networks for different ways of usage of multi-version methodology

Тип публикации: статья из журнала

Год издания: 2013

Ключевые слова: мультиверсионность, отказоустойчивость, multi-versioning, fail safety, stochastic network, probabilistic-timing analysis, software, стохастическая сеть, вероятностно-временной анализ, программное обеспечение

Аннотация: Описываются различные способы применения методологии мультиверсий при разработке отказоустойчивого программного обеспечения, а также представлены модели мультиверсионных программных архитектур в виде базовых ГЕРТ-сетей. С учетом необходимого и достаточного условия функционирования мультиверсионного модуля выбран узел с IOR входом иПоказать полностьюдетерминированным выходом для представления участка сети, описывающего данный модуль. Приводятся формулы расчета вероятностно-временных характеристик мультиверсионных модулей, обеспечивающие пригодность ГЕРТ-сетевых моделей для описания мультиверсионного программного обеспечения. Это позволяет использовать эквивалентные преобразования и существующие методы расчета ГЕРТ-сетей.

Ссылки на полный текст

Издание

Журнал: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева

Выпуск журнала: 1

Номера страниц: 41-47

ISSN журнала: 18169724

Место издания: Красноярск

Издатель: Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева

Авторы

  • Ковалев И.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Зеленков П.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Сарамуд М.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Сидорова Г.А. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Брезицкая В.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)

Вхождение в базы данных