Перевод названия: 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
Место издания: Красноярск
Издатель: Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева
Персоны
- Ковалев И.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
- Зеленков П.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
- Сарамуд М.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
- Сидорова Г.А. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
- Брезицкая В.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.