ПРИМЕНЕНИЕ СЕТЕЙ ПЕТРИ ПРИ МОДЕЛИРОВАНИИ ПРОГРАММ С БЛОКОМ ВОССТАНОВЛЕНИЯ

Перевод названия: APPLICATION OF PETRI NETS MODELING THE PROGRAMS DEVELOPED ACCORDING TO THE RECOVERY BLOCK SCHEME

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

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

Ключевые слова: программное обеспечение, блок восстановления, сеть Петри, надежность, интенсивность отказов, software, recovery block, petri nets, reliability, failure rate

Аннотация: Статья посвящена проблеме моделирования и анализа надежного программного обеспечения, в котором высокий уровень надежности обеспечивается благодаря введению избыточных программных компонент. Для моделирования избыточного программного обеспечения предлагается использовать аппарат сетей Петри. В работе подробно описан подход, позволяющий моделировать с помощью сетей Петри программное обеспечение с избыточной архитектурой, а именно программы с блоком восстановления. Сети Петри позволяют отразить не только особенности данной архитектуры, но и смоделировать процесс выполнения данного программного обеспечения. В работе предложена детальная модель программы с блоком восстановления, а также упрощенная модель, которая может быть более полезна для дальнейшего использования в более сложных моделях. В работе приведены результаты анализа безотказности программы с блоком восстановления в зависимости от интенсивности отказов отдельных компонентов. Предлагаемый подход может быть применен и для других избыточных программных архитектур, таких как мультиверсионное программное обеспечение или программное обеспечение схемы блока восстановления с согласованием.

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

Издание

Журнал: Современные наукоемкие технологии

Выпуск журнала: 6-2

Номера страниц: 310-314

ISSN журнала: 18127320

Место издания: Пенза

Издатель: Общество с ограниченной ответственностью "Издательский Дом "Академия Естествознания"

Авторы

  • Царев Р.Ю. (ФГБОУ ВО «Красноярский государственный аграрный университет»)
  • Тынченко С.В. (ФГАОУ ВО «Сибирский федеральный университет»)
  • Гриценко С.Н. (ФГАОУ ВО «Сибирский федеральный университет»)

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.