Анализ безопасных микроэлектронных схем железнодорожной автоматики. Краткие сведения из теории, страница 6

	Параметры схемы
Вариант	UГИ=Е	fИМП	Исследуемый отказ
	В	Гц
1	5	5
2	7	10
3	9	15
4	6	20
5	8	25
6	5	20
7	7	15
8	9	10
9	6	5
10	8	15

4. Порядок выполнения работы

1.  Изучить теоретические сведения.

2.  Запустить на ЭВМ пакет Electonics Workbench.

3.  Собрать схему согласно заданию.

4.  Дополнить схему элементами, эмулирующими отказы и сбои, контрольными приборами.

5.  Включить схему и провести исследование.

5.1.  Пронаблюдать работу исправной схемы и записать несколько показаний приборов, зарисовать осциллограммы.

5.2.  Имитировать отказ согласно заданию,

5.3.  Пронаблюдать реакцию схемы, записать показания приборов и зарисовать осциллограммы (несколько значений).

5.4.  Завершив исследование, выключить схему

6.  Закрыть пакет Electronics Workbench. По желанию сохранить построенную схему под именем lab3????, где ???? – любой персональный идентификатор.

7.  Оформить отчёт, указывая показания приборов в виде таблиц, осциллографа – в виде графиков. Сделать выводы по безопасности схемы.

5. Содержание отчета

Название и цель лабораторной работы, вариант задания, схема и её описание согласно варианту, перечень имитированных отказов, соответствующие им таблицы показаний приборов и осциллограммы, выводы по работе.

Л а б о р а т о р н а я  р а б о т а  № 4

Исследование работы

парафазного T-триггера

Ц е л ь  р а б о т ы.Изучить принцип работы парафазного T-триггера.

1. Краткие сведения из теории.

Самопроверяемые элементы обладают способностью обнаружения отказов в процессе нормального функционирования по значениям выходных сигналов без дополнительной подачи на входы элемента специальных проверочных тестов или без других способов его испытания. С использованием самопроверяемых элементов строят сложные самопроверяемые схемы.

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

Элемент называется защищённым от искажений на входе, если при поступлении на вход ошибочного состояния на выходе элемента в том же такте работы формируется защитное состояние.

Элемент называется самотестируемым, если для каждой неисправности из заданного класса существует хотя бы одна рабочая постледовательность, на которой появляется хотя бы одно защитное выходное состояние.

Элемент называется полностью самопроверяемым (ПСП-элемент, он же FSC-элемент — Full Self-Control), если он защищён от неисправностей, искажений на входе и является самотестируемым.

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

В качестве элементов памяти в ПСП-схемах используют самопроверяемые парафазные триггеры.

В данной лабораторной работе рассматривается ПСП T-триггер, реализованный в виде самопроверяемого асинхронного автомата и обладающий свойством блокировки в защитном состоянии при одиночных отказах либо нарушении парафазности входного сигнала.