ПРИМЕНЕНИЕ СЕТЕЙ ПЕТРИ ПРИ МОДЕЛИРОВАНИИ ПРОГРАММ С БЛОКОМ ВОССТАНОВЛЕНИЯ | Научно-инновационный портал СФУ

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

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

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

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

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

Аннотация: Статья посвящена проблеме моделирования и анализа надежного программного обеспечения, в котором высокий уровень надежности обеспечивается благодаря введению избыточных программных компонент. Для моделирования избыточного программного обеспечения предлагается использовать аппарат сетей Петри. В работе подробно описан подход, позволяющий моделировать с помощью сетей Петри программное обеспечение с избыточной архитектурой, а именно программы с блоком восстановления. Сети Петри позволяют отразить не только особенности данной архитектуры, но и смоделировать процесс выполнения данного программного обеспечения. В работе предложена детальная модель программы с блоком восстановления, а также упрощенная модель, которая может быть более полезна для дальнейшего использования в более сложных моделях. В работе приведены результаты анализа безотказности программы с блоком восстановления в зависимости от интенсивности отказов отдельных компонентов. Предлагаемый подход может быть применен и для других избыточных программных архитектур, таких как мультиверсионное программное обеспечение или программное обеспечение схемы блока восстановления с согласованием. The article concerns modeling and analysis of reliable software. The software reliability is ensured thanks to the introduction of redundant software components. It is proposed to apply Petri nets for modeling redundant software. The paper described in detail the approach to model redundant software developed according to the recovery block scheme using Petri nets. Petri nets allow to describe both features of this architecture and the execution process of this software. We propose a detailed model of the program developed according to the recovery block scheme, as well as a simplified model, which may be more useful for application in more complex models. The results of the program reliability analysis depending on the failure rate of its components are presented. The proposed approach can be applied to other redundant software architectures such as N-version software or software based on consensus recovery block scheme.

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

Издание

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

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

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

ISSN журнала: 18127320

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

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

Персоны

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

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

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

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