Изучение методов программной и аппаратной реализации микропроцессорных устройств ЖАТ с учетом требований безопасности, страница 2

3. Минимизация ФАЛ

                                

                                        

                                

                                    

                               

4. ФАЛ

 

5. Алгоритм создания проекта

1. Открытие проекта.

2. Сохранение проекта.

3. Добавление файлов: Adsapi32.lib

Data IO.cpp

Driver Data IO.h

4. Визуальное проектирование:

                    а). Создание объектов поле вывода:    label1_Входной набор

label2_

label3_Состояние ЭП

label4_

label5_Выходная функция

label6_

label7_Синхроимпульс

label8_

                    б). Создание объектов типа кнопка:     Button1_ПУСК

                    в). Создание объектов типа таймер:     Timer1. enable - false 100 мсек.

                    г). Создание обработчиков для объектов типа форма:  On Create

 On Destroy

6. Общий алгоритм программы

7. Алгоритм работы программы

Цифры рядом с пунктом работы программы – номер строки. Текст программы находится в приложении.

8. Схема работы автомата с памятью (Автомат Мили I Рода)

Алгоритм строится по структурной схеме автомата Мили первого рода (выходная функция зависит от состояния внутренних функций в предыдущий момент времени)

рисунок 3.

ЛП – логический преобразователь

БП – блок памяти

ВП – выходной преобразователь.

9. Создание дублированной системы

Структура выполнена на элементах с симметричными отказами.

КС рассчитана на контроль 2/4. Если на входе схемы имеет место одно из слов КВ 2/4, на выходе её имеется парафазный сигнал. В случае поступления на вход КС запрещённого слова (не принадлежащего коду 2/4) на выходе будет нарушена парафазность.

Эта КС является самоконтролируемой и обладает двумя свойствами:

1. Контроль входного вектора.

2. Контроль внутренней структуры.

В схеме сравнения обнаруживается любой одиночный отказ.

На рисунке 4 показана дублированная структура:

Рисунок 4.

Рисунок 5.

a, b, c, d	z1, z2
0101	01
0110	10
1001	10
1010	01

Z1 = (a ν c) (b ν d);

Z2 = (a c) ν (b d);

КС2/4 – контрольная схема 2 из 4.

ПТ – парафазный самоконтроллируемый Т-триггер

НЭ – накопительный элемент (поддерживает реле во включенном состоянии)

Р – контрольное реле

ГТ – генератор тестов

Свойства ПТ заключаются в следующем:

-контроль входного вектора;

-контроль внутренней структуры;

-блокировка в защитное состояние.

Схема СС состоит из схем КС. Для кода, содержащего 16 слов (так как в варианте 13 состояний) необходимо соединить между собой 2 самопроверяемых схемы, как показано на рисунке 6

Рисунок 6.

10. Расчет периода диагностирования структуры

Для дублированной структуры, использованной в курсовой работе, период диагностирования рассчитывается по формуле:

, где               

Qоо =  (λt)²,

λ – интенсивность потока отказов ,

t – время работы.

Итак,

 (сек)

11. Вывод

В данном курсовом проекте был спроектирован автомат с памятью – математическая модель устройства, поведение которого зависит как от входных условий, так и от предыдущего состояния, задающий указанную выходную последовательность импульсов, представленную в задании (рис. 1).

Для задания автомата было использовано графическое описание: временная диаграмма и граф переходов, на основе которого было составлено табличное описание состояний переходов состояний и значений выходной функции.

Был разработан алгоритм создания проекта, на основе которого была написана программа на языке программирования С++, которая и послужила математической моделью автомата с памятью.