1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Развитие методовэквивалентногопреобразованияГЕРТ-сетей дляанализамультиверсионногопрограммногообеспечения Ковалев Дмитрий ИгоревичСарамуд Михаил ВладимировичКарасева МаргаритаВладимировна2014 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Развитие методов эквивалентного преобразования ГЕРТ-сетей для анализа мультиверсионного программного обеспечения : научное издание / Д. И. Ковалев, М. В. Сарамуд, М. В. Карасева, Ю. А. Нургалеева. - Текст : непосредственный // Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева. - 2014. - № 1. - С. 11-16. - ISSN 1816-9724. Перевод заглавия: Development of the equivalent transformation of GERT-networks methods for multiversion software analysis
Аннотация: В настоящее время практически все большие программные системы являются распределенными. Анализ мультиверсионного программного обеспечения (ПО) можно проводить, основываясь на распределенных системах обработки информации. На примере ГЕРТ-сети, моделирующей поведение системы 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.
Год издания: 2014
Авторы: Ковалев Дмитрий Игоревич , Сарамуд Михаил Владимирович , Карасева Маргарита Владимировна , Нургалеева Юлия Анатольевна
Издательство: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева, Красноярск
Источник: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
Выпуск: № 1
Номера страниц: 11-16
Держатель оригинала документа: Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Модели ГЕРТ-сетей дляразличных способовпримененияметодологиимультиверсий Ковалев И.В.Зеленков П.В.Сарамуд М.В.2013 год

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

  • Ковалев И.В. и др.
  • 2013 год
Модификациямуравьиного алгоритмадля задачиформированиямультиверсионногопрограммногообеспечения Ковалев Игорь ВладимировичКарасева МаргаритаВладимировнаСоловьев Евгений Валерьевич2014 год

Модификация муравьиного алгоритма для задачи формирования мультиверсионного программного обеспечения : научное издание

  • Ковалев Игорь Владимирович и др.
  • 2014 год
Анализвероятностно-временных характеристикотказоустойчивогопрограммногообеспеченияраспределенныхвычислительных… Царев Р.Ю.Штарик А.В.Штарик Е.Н.2012 год

Анализ вероятностно-временных характеристик отказоустойчивого программного обеспечения… : статья из журнала

  • Царев Р.Ю. и др.
  • 2012 год
ПРИМЕНЕНИЕ ТЕХНОЛОГИИБЛОКЧЕЙН ДЛЯПОВЫШЕНИЯ НАДЕЖНОСТИМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ Грузенкин Д.В.Михалев А.С.Царев Р.Ю.2018 год

ПРИМЕНЕНИЕ ТЕХНОЛОГИИ БЛОКЧЕЙН ДЛЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ : научное издание

  • Грузенкин Д.В. и др.
  • 2018 год
Исследование методаповышения надежностипрограммногообеспечения с помощьюмультиверсионногоподхода Ефимов С.Н.Терсков В.А.Тяпин А.А.2021 год

Исследование метода повышения надежности программного обеспечения с помощью мультиверсионного подхода : научное издание

  • Ефимов С.Н. и др.
  • 2021 год
Определение метрикидиверсифицированностимультиверсионногопрограммногообеспечения на уровнеязыковпрограммирования Грузенкин Д.В.Михалев А.С.2019 год

Определение метрики диверсифицированности мультиверсионного программного обеспечения на уровне… : научное издание

  • Грузенкин Д.В. и др.
  • 2019 год
Обзор исследований вобласти Герт-анализатранспортно-технологических циклов Подоплелова ВалерияАнатольевна2023 год

Обзор исследований в области Герт-анализа транспортно-технологических циклов : доклад, тезисы доклада

  • Подоплелова Валерия Анатольевна
  • 2023 год
ОПРЕДЕЛЕНИЕ МЕТРИКИДИВЕРСИФИЦИРОВАННОСТИМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ НА УРОВНЕАЛГОРИТМОВ Грузенкин Д.В.Якимов И.А.Кузнецов А.С.2017 год

ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ… : научное издание

  • Грузенкин Д.В. и др.
  • 2017 год

Показать ещё

Прямой и обратныйалгоритм расчетастохастических сетей Царев Р.Ю.Штарик А.В.Штарик Е.Н.2013 год

Прямой и обратный алгоритм расчета стохастических сетей : статья из журнала

  • Царев Р.Ю. и др.
  • 2013 год
ФОРМИРОВАНИЕОПТИМАЛЬНОГО ПЛАНАВЫПОЛНЕНИЯ ЗАДАЧМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ Черниговский Алексей СергеевичЦарев Роман ЮрьевичТынченко Сергей Васильевич2015 год

ФОРМИРОВАНИЕ ОПТИМАЛЬНОГО ПЛАНА ВЫПОЛНЕНИЯ ЗАДАЧ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ : статья из журнала

  • Черниговский Алексей Сергеевич и др.
  • 2015 год
МОДИФИЦИРОВАННАЯГЕРТ-СЕТЬ ДЛЯ ОЦЕНКИВРЕМЕНИ ИЗГОТОВЛЕНИЯДЕТАЛЕЙ НА КОНВЕЙЕРЕ Антамошкина О.И.2013 год

МОДИФИЦИРОВАННАЯ ГЕРТ-СЕТЬ ДЛЯ ОЦЕНКИ ВРЕМЕНИ ИЗГОТОВЛЕНИЯ ДЕТАЛЕЙ НА КОНВЕЙЕРЕ : научное издание

  • Антамошкина О.И.
  • 2013 год
ИССЛЕДОВАНИЕЭФФЕКТИВНОСТИРАЗЛИЧНЫХ ПОДХОДОВ КВЫБОРУ АЛЬТЕРНАТИВДЛЯ РЕАЛИЗАЦИИМУЛЬТИВЕРСИОННОГОПРОГРАММНОГО… Грузенкин Денис ВладимировичКовалев Игорь ВладимировичКовалев Дмитрий Игоревич2025 год

ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ РАЗЛИЧНЫХ ПОДХОДОВ К ВЫБОРУ АЛЬТЕРНАТИВ ДЛЯ РЕАЛИЗАЦИИ МУЛЬТИВЕРСИОННОГО… : научное издание

  • Грузенкин Денис Владимирович и др.
  • 2025 год
МИНИМИЗАЦИЯМЕЖМОДУЛЬНОГОИНТЕРФЕЙСА ПРИФОРМИРОВАНИИМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ Завьялова О.И.Капулин Д.В.Царев Р.Ю.2011 год

МИНИМИЗАЦИЯ МЕЖМОДУЛЬНОГО ИНТЕРФЕЙСА ПРИ ФОРМИРОВАНИИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ : статья из журнала

  • Завьялова О.И. и др.
  • 2011 год
ПРОГРАММНЫЕ СРЕДСТВАФОРМИРОВАНИЯМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ НА БАЗЕМУРАВЬИНОГО АЛГОРИТМА Ковалев Дмитрий Игоревич2023 год

ПРОГРАММНЫЕ СРЕДСТВА ФОРМИРОВАНИЯ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА БАЗЕ… : доклад, тезисы доклада

  • Ковалев Дмитрий Игоревич
  • 2023 год
ВЫБОР СТРУКТУРЫМУЛЬТИВЕРСИОННОГОПРОГРАММНОГООБЕСПЕЧЕНИЯ ПРИНЕЧЕТКИХ ОГРАНИЧЕНИЯХНА БЮДЖЕТ Антамошкин А.Н.Ерыгин В.Ю.Нургалиева Ю.А.2011 год

ВЫБОР СТРУКТУРЫ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИ НЕЧЕТКИХ ОГРАНИЧЕНИЯХ НА БЮДЖЕТ : научное издание

  • Антамошкин А.Н. и др.
  • 2011 год
К вопросу реализациимуравьиного алгоритмапри выборе составамультиверсионногопрограммногообеспечения… КОВАЛЕВ И.В.ЦАРЕВ Р.Ю.ПРОКОПЕНКО А.В.2012 год

К вопросу реализации муравьиного алгоритма при выборе состава мультиверсионного программного… : статья из журнала

  • КОВАЛЕВ И.В. и др.
  • 2012 год