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

Описание

Перевод названия: Development of the equivalent transformation of GERT-networks methods for multiversion software analysis

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

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

Ключевые слова: ГЕРТ-сети, GERT-network, multiversion software, probabilistic characteristics, мультиверсионное программное обеспечение, вероятностные характеристики

Аннотация: В настоящее время практически все большие программные системы являются распределенными. Анализ мультиверсионного программного обеспечения (ПО) можно проводить, основываясь на распределенных системах обработки информации. На примере ГЕРТ-сети, моделирующей поведение системы Condor при расчете задачи с фиксированной продолжительностьПоказать полностьюю в режимах без резервного копирования и миграции (режим Vanilla), показаны эквивалентные преобразования, позволяющие существенно упростить сеть и облегчить поиск петель. Приведены расчеты, позволяющие получить вероятностные характеристики приведенной сети. Описываются различные режимы работы системы Condor, преимущества распределенных гетерогенных систем обработки информации. Nowadays approximately all software is distributed. Analysis of multiversinal software can be done on the basis of distributed systems of data processing. This paper shows on GERT-network example that the equivalent transformations allow to simplify considerably the network and facilitate the search loops. GERT-networks simulate the behavior of Condor while the fixed-length modes computation without backup and migration (mode ’’Vanilla”). Calculations which allow to obtain probabilistic characteristics of the given network are given. The various modes of the operation Condor, the advantages of distributed heterogeneous information processing systems are described.

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

Издание

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

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

Номера страниц: 11-16

ISSN журнала: 18169724

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

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

Персоны

  • Ковалев Дмитрий Игоревич (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Сарамуд Михаил Владимирович (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Карасева Маргарита Владимировна (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Нургалеева Юлия Анатольевна (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)

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