РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016663040

Дата регистрации: 28.11.2016

Номер и дата поступления заявки: 2016660815 17.10.2016

Дата публикации: 20.12.2016

Контактные реквизиты:
E-maill:lb_p@mail.ru
	
Авторы:
Шестопалов Михаил Юрьевич,
Имаев Дамир Хабибович,
Пошехонов Леонид Борисович,
Беспалов Александр Викторович

Правообладатель:
Федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)» (СПбГЭТУ «ЛЭТИ»)

Название программы для ЭВМ:
Программа автоматического формирования графа состояний конечного автомата супервизора системы отказоустойчивого управления в условиях потока неисправностей

Реферат:
Программа предназначена для формирования графа состояний конечного автомата супервизора, вызванных потоком неисправностей и реконфигурациями для их нейтрализации. Интерфейс программы позволяет задать список потенциальных неисправностей и связать их отношениями диагностируемости, восстанавливаемости и актуальности. На основе этих данных программа позволит корректно обрабатывать все возможные ситуации по обеспечению отказоустойчивого управления и сформировать граф состояний конечного автомата супервизора. Реализованная в программе визуализация графа состояний делает наглядным процесс образования неисправных систем и может быть полезна при процедуре синтеза СОУ.

Тип реализующей ЭВМ: Intel, Amd и совместимые с ней

Язык программирования: С#

Вид и версия операционной системы: Intel, Amd и совместимые с ней

Объем программы для ЭВМ: 67 Кб