Модели ГЕРТ-сетей для различных способов применения методологии мультиверсий
Автор: Ковалев И.В., Зеленков П.В., Сарамуд М.В., Сидорова Г.А., Брезицкая В.В.
Журнал: Сибирский аэрокосмический журнал @vestnik-sibsau
Рубрика: Математика, механика, информатика
Статья в выпуске: 1 (47), 2013 года.
Бесплатный доступ
Описываются различные способы применения методологии мультиверсий при разработке отказоустойчивого программного обеспечения, а также представлены модели мультиверсионных программных архитектур в виде базовых ГЕРТ-сетей. С учетом необходимого и достаточного условия функционирования мультиверсионного модуля выбран узел с IOR входом и детерминированным выходом для представления участка сети, описывающего данный модуль. Приводятся формулы расчета вероятностно-временных характеристик мультиверсионных модулей, обеспечивающие пригодность ГЕРТ-сетевых моделей для описания мультиверсионного программного обеспечения. Это позволяет использовать эквивалентные преобразования и существующие методы расчета ГЕРТ-сетей.
Стохастическая сеть, вероятностно-временной анализ, мультиверсионность, отказоустойчивость, программное обеспечение
Короткий адрес: https://sciup.org/148177025
IDR: 148177025 | УДК: 004.42
Model of GERT-networks for different ways of usage of multi-version methodology
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.
