Основы синтеза и диагностирования автоматов. Воронин В.В. - 230 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

226
6.3. Методика синтеза схем контроля
Системы функционального диагностирования решают диагно-
стические задачи в процессе функционирования ОД. Их основное
достоинство заключается в том, что дефекты обнаруживаются в мо-
мент их первого проявления на контролируемых выходах ЛС.
Аппаратные средства систем функционального диагностирова-
ния, как правило, конструктивно сопряжены с ОД и их называют
схемами встроенного контроля (СВК). Если СВК обнаруживают на
своих выходах дефекты не только ОД, но также свои собственные, то
их называют самопроверяемыми. Такие схемы практически устраня-
ют проблему “сторожа над сторожем”.
В этом подразделе рассматривается методика построения неса-
мопроверяемой схемы обнаружения дефектов для заданной комбина-
ционной схемы при известном или
заданном множестве дефектов
(фиксированная модель дефектов).
Пусть
ƒ
s
является комбинационной схемой, реализующей логи-
ческую функцию
ƒ
: X
→
Υ
, где X - множество возможных наборов
аргументов,
Υ
- множество возможных наборов значений функции.
Пусть также задана модель дефектов F(
ƒ
)={
ƒ
0
,
ƒ
1
,…,
ƒ
n
}. Для функции
ƒ
0
выполняется условие
ƒ
0
=
ƒ
. При этом
ƒ
i
являются теми функция-
ми, которые реализуются схемой
ƒ
s
вместо
ƒ
при возникновении в
них технологических или эксплуатационных дефектов. Их обычно
называют функциями ошибок. Множество входных наборов, на ко-
торых оценивается работоспособность схемы
ƒ
s
, может быть ограни-
чено, т.е.
Χ′⊆
Χ
.
Функция
Φ
:
Χ×Υ
→
{0,1}, определяемая выражением
⎧
0, x
∈Χ′
и y=
ƒ
(x)=
ƒ
0
(x);
Φ
(x,y)=
⎨
1, x
∈Χ′
и
∃
ƒ
i
∈
F(
ƒ
), y=
ƒ
i
(x)
≠
ƒ
0
(x); (6.1)
⎩
*, неопределена в остальных случаях,

Страницы