МЕТОДИ ТА ЗАСОБИ РОЗРОБКИ ВІДМОВОСТІЙКИХ СИСТЕМ НА ПЛІС З АВТОМАТНО-МОВНОЮ ДИВЕРСНІСТЮ : МЕТОДЫ И СРЕДСТВА РАЗРАБОТКИ ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ НА ПЛИС С АВТОМАТНО-ЯЗЫКОВОЙ ДИВЕРСНОСТЬЮ

Краткое описание

МІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ

НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ
“ХАРКІВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ”

 

КУЛАНОВ ВІТАЛІЙ ОЛЕКСАНДРОВИЧ

УДК 004.052:519.713:004.436.2

МЕТОДИ ТА ЗАСОБИ РОЗРОБКИ

ВІДМОВОСТІЙКИХ СИСТЕМ НА ПЛІС

З АВТОМАТНО-МОВНОЮ ДИВЕРСНІСТЮ

Спеціальність 05.13.05 – комп’ютерні системи та компоненти

Дисертація на здобуття наукового ступеня
кандидата технічних наук

Харків – 2012



 

СОДЕРЖАНИЕ

ПЕРЕЧЕНЬ УСЛОВНЫХ СОКРАЩЕНИЙ.. 5

ВВЕДЕНИЕ. 6

АНАЛИЗ МЕТОДОВ, ТЕХНОЛОГИЙ И СРЕДСТВ РАЗРАБОТКИ  НАДЕЖНЫХ СИСТЕМ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ НА ПЛИС.. 15

1.1 Анализ требований к системам критического применения на ПЛИС.. 15

1.1.1 Система критического применения. 15

1.1.2 Элементная база ПЛИС для создания надежных цифровых систем. 16

1.1.3 Многоверсионный подход и нормативная база требований к системам критического применения на ПЛИС.. 18

1.2 Анализ методов и средств разработки систем на ПЛИС.. 21

1.3 Математический аппарат для создания МВС на ПЛИС.. 25

1.3.1 Классификация моделей цифровых автоматов. 25

1.3.2 Анализ классических моделей цифровых автоматов. 26

1.3.3 Анализ моделей многоверсионных цифровых автоматов. 29

1.4 Проблемы разработки многоверсионных систем на ПЛИС.. 33

1.5 Обоснование и выбор показателей для оценки многоверсионных систем на ПЛИС с автоматно-языковой диверсностью.. 34

1.5.1 Показатели надежности. 35

1.5.2 Метрика диверсности. 40

1.6 Постановка задачи на исследование и обоснование методики его проведения. 41

Выводы по разделу. 44

МОДЕЛИ МНОГОВЕРСИОННЫХ СИСТЕМ НА ПЛИС С АВТОМАТНО-ЯЗЫКОВОЙ ДИВЕРСНОСТЬЮ... 46

2.1 Принцип автоматно-языковой диверсности. 46

2.2 Автоматная диверсность. 48

2.2.1 Уровни и виды автоматной диверсности. 48

2.2.2 Модель абстрактного многоверсионного цифрового автомата. 51

2.2.3 Структурные модели многоверсионного канонического автомата. 54

2.2.3.1 МВКА Мили класса A.. 55

2.2.3.2 МВКА Мура класса B.. 59

2.2.3.3 МВКА Мура класса C.. 62

2.2.3.3 МВКА Мили класса D.. 63

2.2.3.4 МВКА Мили класса E. 64

2.2.3.5 МВКА Мура класса F. 65

2.2.4 Структурные модели многоверсионного микропрограммного автомата. 67

2.2.4.1 МВМПА Мили типа MP. 68

2.2.4.2 МВМПА Мили типа PY.. 70

2.2.4.3 МВМПА Мили типа PD..