Сибирский федеральный университет

Перевод названия: 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 входом и детерминированным выходом для представления участка сети, описывающего данный модуль. Приводятся формулы расчета вероятностно-временных характеристик мультиверсионных модулей, обеспечивающие пригодность ГЕРТ-сетевых моделей для описания мультиверсионного программного обеспечения. Это позволяет использовать эквивалентные преобразования и существующие методы расчета ГЕРТ-сетей. This article describes different ways of application of multi-version methodology in the development of multi-version fail-safe software, and presents models of multi-version software architectures in the form of basic GERT-networks. With respect to the necessary and sufficient condition for the operation of multi-version module, the node with IOR input and output is selected to provide deterministic network section that describes the module. Formulas for calculation of probabilistic-time characteristics of multi-version modules, that provide fitness of GERT-network models to describe multi-version software, are presented. This allows to use the equivalent conversion and existing methods of calculation of GERT-networks.

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

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

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

ISSN журнала: 18169724

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

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

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

• РИНЦ (eLIBRARY.RU)