Теория и методы функционального диагностирования логических устройств железнодорожной автоматики и телемеханики на основе использования помехоустойчивых кодов с суммированием тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат наук Ефанов, Дмитрий Викторович

• Ефанов, Дмитрий Викторович
• кандидат наук
• 2017

Оглавление диссертации кандидат наук Ефанов, Дмитрий Викторович

СОДЕРЖАНИЕ

ТОМ 1. ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

СПИСОК УСЛОВНЫХ ОБОЗНАЧЕНИЙ......................................................... 6

ВВЕДЕНИЕ.............................................................................................. 12

ГЛАВА 1. ПРИМЕНЕНИЕ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ В СИСТЕМАХ АВТОМАТИЧЕСКОГО И АВТОМАТИЗИРОВАННОГО УПРАВЛЕНИЯ НА ТРАНСПОРТЕ................................................................. 21

1.1 Методы повышения отказоустойчивости и безопасного поведения

при отказах устройств автоматики.................................................................. 21

1.2 Методы функционального диагностирования в современных........................... 23

логических устройств автоматики и вычислительной техники...............................

1.2.1 Особенности систем функционального диагностирования логических устройств 23

1.2.2 Характеристики систем функционального диагностирования......................... 25

1.2.3 Модифицированная структурная схема системы функционального

диагностирования на основе логического дополнения......................................... 37

1.2.4 Разделимые коды в системах функционального диагностирования.................. 38

1.2.5 Использование свойств разделимых кодов и особенных классов функций

алгебры логики при построении систем функционального диагностирования........... 45

1.3 Классификация методов организации системы функционального

диагностирования....................................................................................... 49

1.4 Выводы по главе.................................................................................... 51

ГЛАВА 2. ХАРАКТЕРИСТИКИ ОШИБОК НА РАБОЧИХ ВЫХОДАХ

СИСТЕМ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ.............................. 53

2.1 Виды неисправностей в структурах комбинационных логических устройств....... 53

2.2 Классификация ошибок на рабочих выходах систем функционального диагностирования...................................................................................... 54

2.3 Особенности различных видов ошибок на рабочих выходах систем

диагностирования..........................................................................................................................................................................65

2.4 Выводы по главе................................................................................... 73

ГЛАВА 3. СВОЙСТВА КОДОВ С СУММИРОВАНИЕМ

ЕДИНИЧНЫХ ИНФОРМАЦИОННЫХ РАЗРЯДОВ

В СИСТЕМАХ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ........................ 75

3.1 Обнаружение ошибок на рабочих выходах систем функционального диагностирования различными разделимыми кодами.......................................... 75

3.2 Классические и модульные коды с суммированием

в системах функционального диагностирования................................................ 76

3.3 Оптимальные по критерию минимума общего количества необнаруживаемых ошибок разделимые коды для систем функционального диагностирования............... 87

3.4 Модифицированные и модульно модифицированные коды с суммированием единичных информационных разрядов в системах функционального

диагностирования....................................................................................... 95

3.5 Выводы по главе................................................................................... 113

ГЛАВА 4. КОДЫ С СУММИРОВАНИЕМ ВЗВЕШЕННЫХ ИНФОРМАЦИОННЫХ РАЗРЯДОВ

В СИСТЕМАХ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ......................... 115

4.1 Принципы построения кодов с суммированием взвешенных информационных разрядов................................................................................................... 115

4.2 Коды с одним взвешенным разрядом.......................................................... 118

4.3 Код с последовательностью весовых коэффициентов,

образующей натуральный ряд чисел............................................................... 131

4.4 Коды с фиксированным количеством разрядов в контрольных векторах............. 138

4.5 Модифицированные и модульно модифицированные коды с суммированием взвешенных информационных разрядов в системах функционального

диагностирования...................................................................................... 141

4.6 Коды с суммированием без переносов двоичных эквивалентов

весовых коэффициентов разрядов.................................................................. 156

4.7 Выводы по главе................................................................................... 160

ГЛАВА 5. КОДЫ С СУММИРОВАНИЕМ ВЗВЕШЕННЫХ ПЕРЕХОДОВ

МЕЖДУ ИНФОРМАЦИОННЫМИ РАЗРЯДАМИ

В СИСТЕМАХ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ........................ 162

5.1 Принципы построения кодов с суммированием взвешенных переходов

между информационными разрядами............................................................. 162

5.2 Коды со взвешенным переходом между двумя информационными разрядами...... 167

5.3 Классические и модульные коды с суммированием взвешенных переходов......... 170

5.4 Коды с фиксированным количеством разрядов в контрольных векторах............. 183

5.5 Коды с суммированием, полученные путем перестановки суммарных весовых коэффициентов модифицированных кодов

с суммированием взвешенных переходов......................................................... 191

5.6 Выводы по главе.................................................................................... 203

ГЛАВА 6. СИНТЕЗ ТЕСТЕРОВ КОДОВ С СУММИРОВАНИЕМ.......................... 205

6.1 Характеристики тестеров кодов с суммированием.......................................... 205

6.2 Универсальная структура генераторов кодов с суммированием......................... 207

6.3 Базовый метод синтеза генераторов кодов с суммированием............................ 209

6.4 Синтез генераторов модульных кодов с суммированием.................................. 216

6.5 Синтез генераторов модифицированных и модульно модифицированных

кодов с суммированием............................................................................... 221

6.6 Выводы по главе.................................................................................... 223

ГЛАВА 7. СИНТЕЗ СИСТЕМ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ

С ОБНАРУЖЕНИЕМ ЛЮБЫХ ОДИНОЧНЫХ НЕИСПРАВНОСТЕЙ.................... 224

7.1 Методы построения систем функционального диагностирования

со 100%-ным обнаружением одиночных неисправностей..................................... 224

7.2 Метод контроля логических схем на основе выделения групп выходов, допускающих как монотонное, так и асимметричное искажение............................ 227

7.3 Условия применения для контроля логических схем различных

кодов с суммированием............................................................................... 247

7.4 Синтез систем функционального диагностирования со 100%-ным обнаружением неисправностей с использованием характеристик кодов

с суммированием без модификации структуры контролируемого устройства............ 250

7.5 К вопросу классификации кодов с суммированием........................................ 257

7.6 Алгоритм организации системы функционального диагностирования................ 261

7.7 Выводы по главе................................................................................... 264

ГЛАВА 8. СОВЕРШЕНСТВОВАНИЕ СИСТЕМ

ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ И МОНИТОРИНГА УСТРОЙСТВ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ............................ 265

8.1 Системы функционального диагностирования и мониторинга

устройств железнодорожной автоматики и телемеханики.................................... 265

8.2 Метод автоматизации анализа диагностической информации в системах функционального диагностирования и мониторинга

объектов железнодорожной автоматики......................................................... 267

8.3 Об экономической эффективности систем мониторинга

устройств железнодорожной инфраструктуры..................................................................................................285

8.4 Выводы по главе..................................................................................................................................................................286

ЗАКЛЮЧЕНИЕ..............................................................................................................................................................................288

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ............................................. 290

ТОМ 2. ПРИЛОЖЕНИЯ

ПРИЛОЖЕНИЯ..............................................................................................................................................................................3

ПРИЛОЖЕНИЕ А. ПОЛНЫЙ ПЕРЕЧЕНЬ ОПУБЛИКОВАННЫХ РАБОТ

ПО ТЕМЕ ДИССЕРТАЦИОННОГО ИССЛЕДОВАНИЯ........................................................................3

ПРИЛОЖЕНИЕ Б. СПРАВКИ О ВНЕДРЕНИИ РЕЗУЛЬТАТОВ

ИССЛЕДОВАНИЙ В ПРАКТИЧЕСКУЮ ДЕЯТЕЛЬНОСТЬ............................................................22

ПРИЛОЖЕНИЕ В. КАТАЛОГИ ХАРАКТЕРИСТИК ОШИБОК

В ВЕКТОРАХ РАБОЧИХ ФУНКЦИЙ......................................................................................................................32

ПРИЛОЖЕНИЕ Г. КАТАЛОГИ ХАРАКТЕРИСТИК НЕОБНАРУЖИВАЕМЫХ

ОШИБОК ОСНОВНЫМИ КОДАМИ С СУММИРОВАНИЕМ............................ 40

ПРИЛОЖЕНИЕ Д. ОБ ОЦЕНКЕ ВЕРОЯТНОСТИ ВОЗНИКНОВЕНИЯ

НЕОБНАРУЖИВАЕМОЙ ОШИБКИ........................................................................................................................98

ПРИЛОЖЕНИЕ Е. МЕТОДИКА ПРОВЕДЕНИЯ ЭКСПЕРИМЕНТОВ ПО АНАЛИЗУ ХАРАКТЕРИСТИК ОБНАРУЖЕНИЯ ОШИБОК КОДАМИ С СУММИРОВАНИЕМ И ПОКАЗАТЕЛЕЙ СТРУКТУРНОЙ ИЗБЫТОЧНОСТИ СИСТЕМ

ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ........................................... 100

ПРИЛОЖЕНИЕ Ж. АЛГОРИТМЫ ПОСТРОЕНИЯ СИСТЕМ ДИАГНОСТИРОВАНИЯ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ

КОНКРЕТНЫХ КОДОВ С СУММИРОВАНИЕМ............................................. 102

ПРИЛОЖЕНИЕ З. СПИСОК НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ И КОНСТРУКТОРСКИХ РАБОТ, ВЫПОЛНЕННЫХ

ПО ТЕМЕ ДИССЕРТАЦИОННОГО ИССЛЕДОВАНИЯ.................................... 108

Введение диссертации (часть автореферата) на тему «Теория и методы функционального диагностирования логических устройств железнодорожной автоматики и телемеханики на основе использования помехоустойчивых кодов с суммированием»

ВВЕДЕНИЕ

Актуальность темы диссертационного исследования обусловлена высокими темпами развития микроэлектронной и микропроцессорной техники, используемой в качестве элементной базы для современных систем автоматического управления и контроля, к которым относятся, в том числе, и средства железнодорожной автоматики и телемеханики (ЖАТ), а также необходимостью их непрерывного мониторинга. Усложнение микроэлектронной и микропроцессорной техники идет по пути повышения плотности интеграции транзисторов и размещения как можно большего их количества на кристалле. Уже к концу 2015 года разработчиками была достигнута площадь размещения одного транзистора менее 20 нм [261]. Таким образом, плотность интеграции элементов с каждым годом возрастает, увеличивается быстродействие элементов, а также расширяются функциональные возможности синтезируемых на их основе систем. Однако усложнение систем обостряет проблему надежности и безопасности функционирования микроэлектронных и микропроцессорных элементов [18, 46, 47, 51, 84, 87, 114, 159, 217, 297].

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

12 1

ментной базы с низкими значениями интенсивностей отказов (Х^10 — ), применение методов

ч

резервирования и технического диагностирования, использование самопроверяемых логических схем встроенного контроля и т.д. [11, 57, 70, 118, 123, 130, 161, 183-185, 196]. С развитием элементной базы систем управления и контроля активно развиваются и методы определения текущего технического состояния и прогнозирования дальнейших изменений в блоках различной физической природы, реализующих разнообразные логические функции. От того, какой будет архитектура управляющего объекта, и от методов его тестирования будет зависеть своевременность фиксации сбоев и устойчивых отказов, в том числе, работа средств парирования опасных отказов.

В настоящее время многие устройства управления и контроля снабжаются развитым диагностическим обеспечением [17, 31, 34, 102]. Оно входит как в сами блоки управления в виде средств самодиагностирования (встроенные средства диагностирования [69]), так и реализуются подключением специализированных измерительных датчиков, позволяющих в режиме реального времени фиксировать ключевые параметры устройств управления (внешние средства диагностирования) [45]. В сфере ЖАТ, например, средства внешнего диагностирования объединяются в целые аппаратно-программные комплексы, реализующие функции сбора, хранения и обработки информации о техническом состоянии объектов управления и контроля, а также выдающие результаты диагностирования и прогнозирования в удобном виде конечному поль-

зователю (электромеханикам сигнализации, централизации и блокировки (СЦБ), диспетчерам дистанций СЦБ, технологам ситуационных центров мониторинга и руководящему персоналу ОАО «РЖД»). Таким образом, данные аппаратно-программные комплексы образуют системы непрерывного мониторинга и функционального диагностирования устройств ЖАТ. Сами же системы непрерывного мониторинга и функционального диагностирования строятся с использованием современной микроэлектронной и микропроцессорной техники, а возникающие в процессе эксплуатации сбои и устойчивые отказы в ней ведут к потере важной диагностической информации и затрудняют задачу своевременного диагностирования и прогнозирования [30].

Таким образом, развитие методов диагностирования - это некоторая объективная тенденция, сопровождающая научно-технический прогресс в области микроэлектронной и микропроцессорной техники. Параллельно развиваются такие направления технической диагностики, как тестовое диагностирование и функциональное диагностирование (данные направления повсеместно используются в работе средств управления и контроля на основе микроэлектронной и микропроцессорной техники). Тестовое диагностирование подразумевает определение технического состояния объекта диагностирования путем подачи на его входы проверяющих воздействий в специально отведенные для этого промежутки времени, когда объект диагностирования не выполняет свои основные функции [1, 15, 56, 61, 75-77, 94, 96, 97, 129, 136, 152, 158, 162, 163, 167, 168, 237, 247, 264, 265, 270, 275, 293]. Противоположным подходом к тестированию является функциональное, или рабочее, диагностирование, подразумевающее проведение процесса технического диагностирования совместно с выполнением объектом диагностирования своих функций, при этом рабочие воздействия на объект диагностирования являются одновременно и проверяющими воздействиями [3, 22, 23, 52, 97, 102, 109, 139 - 145, 213, 224, 236, 243, 248, 257, 269, 295, 301]. Функциональное диагностирование используется тогда, когда отключить управляющий объект от управляемого объекта не представляется возможным, в противном случае, будет нарушен весь технологический процесс. Средства непрерывного мониторинга устройств ЖАТ, например, это средства непосредственно функционального диагностирования [45].

Диссертационное исследование затрагивает такое направление как синтез систем функционального диагностирования логических устройств автоматики и вычислительной техники [211, 252, 285]. В представленной работе развиваются теория и методы функционального диагностирования на основе применения помехоустойчивых кодов с небольшой избыточностью [37, 103, 104, 199, 207, 227, 272, 290]. При этом используются свойства обнаружения ошибок кодами, а не свойства коррекции ошибок. Это обусловлено следующими причинами: во-первых, от избыточности кода зависит сложность технической реализации системы функционального диагностирования, а значит, возрастает стоимость ее разработки и эксплуатации; во-

вторых, коррекция ошибок при возникновении сбоев зачастую просто не требуется - достаточно отключить выходы, неверно вычисляющие управляющие функции, от объектов управления.

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

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

A. В. Дрозд, А. Д. Закревский, М. Ф. Каравай, И. С. Левин, А. Ю. Матросова, О. Ф. Немолоч-нов, П. П. Пархоменко, Вал. В. Сапожников, Вл. В. Сапожников, Ю. А. Скобцов, Е. В. Слабаков, Е. С. Согомонян, Д. В. Сперанский, В. А. Твердохлебов, В. С. Харченко, В. И. Хаханов,

B. Н. Ярмолик и многие другие. В области диагностики непрерывных дискретных систем известны такие ученые как Д. В. Гаскаров, Н. В. Евтушенко, В. П. Калявин, Н. Г. Кушик, А. В. Мозгалевский, С. Г. Мосин и многие другие. Вопросами технической диагностики за рубежом занимались и занимаются такие известные ученые как M. S. Abadir, M. Abramovici, V. K. Agarwal, L. Anghel, A. A. Avizienis, M. Bayoumi, B. Becker, R. Bennets, V. Champac, M. Gössel, D. Das, S. Davidson, E. Fujiiwara, R. Kapur, P. K. Lala, X. Li, E. J. Marinissen,

E. J. McCluskey, Z. Navabi, M. Nicolaidis, V. Piuri, D. K. Pradhan, P. Prinetto, M. Renovell, J. Roth,

F. F. Sellers, A. Singh, V. Singh, S. Shoukourian, N. A. Touba, R. Ubar, J. F. Wakerly, H.-J. Wunderlich, Y. Zorian и многие другие.

Вопросами функционального диагностирования логических схем автоматики и вычислительной техники в СССР и в Российской Федерации занимались и занимаются многие ученые, в том числе, четырех крупных научных школ. Следует выделить работы ученых лаборатории технической диагностики и отказоустойчивости Института проблем управления им. В. А. Трапезникова Российской академии наук Г. П. Аксеновой, М. Ф. Каравая, П. П. Пархоменко, Е. В. Слабакова, Е. С. Согомоняна и др. Известна научная школа кафедры автоматики и телемеханики на железных дорогах Ленинградского института инженеров железнодорожного транспорта (ныне Петербургского государственного университета путей сообщения Императора Александра I), возглавляемая братьями Вал. В. Сапожниковым и Вл. В. Сапожниковым, в трудах которых можно найти большое количество материалов на тему применения свойств избыточных кодов при синтезе надежных дискретных систем. Следует также выделить научную школу проф. А. Д. Закревского, ставшего родоначальником многих направлений в теории дискретных устройств и оптимизации логических схем в Томском государственном университете и

в Белорусской академии наук (г. Минск). Нельзя обойти вниманием и томскую научную школу диагностики, занимающуюся вопросами тестирования логических схем автоматики, которую возглавляет А. Ю. Матросова, а исследованиями под ее началом занимаются такие ученые как В. В. Андреева, Н. Б. Буторина, С. А. Останин и другие.

Большой вклад в развитие теории надежности и диагностики в транспортной отрасли постсоветского пространства внесли такие ученые Д. В. Гавзов, В. И. Королев, Ю. А. Кравцов, В. М. Лисенков, С. А. Никищенков, Е. Н. Розенберг, Вал. В. Сапожников, Вл. В. Сапожников, В. С. Харченко, В. И. Шаманов и др.

Несмотря на большое количество работ ученых в области технической диагностики, они не полностью охватывают теорию и методы функционального диагностирования логических схем автоматики и вычислительной техники, в особенности, в области ЖАТ.

Тема диссертации соответствует паспорту специальности 05.13.06 «Автоматизация и управление технологическими процессами и производствами (транспорт)» по пунктам:

п. 8. Формализованные методы анализа, синтеза, исследования и оптимизация модульных структур систем сбора и обработки данных в АСУТП, АСУП, АСПТП и др.;

п. 13. Теоретические основы и прикладные методы анализа и повышения эффективности, надежности и живучести АСУ на этапах их разработки, внедрения и эксплуатации;

п. 14. Теоретические основы, методы и алгоритмы диагностирования (определения работоспособности, поиск неисправностей и прогнозирования), АСУТП, АСУП, АС ТПП и др.

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

Для достижения указанной цели ставятся и решаются следующие задачи:

1. Обобщение научных результатов в области функционального диагностирования с указанием места использования при их организации кодов с суммированием.

2. Разработка классификации ошибок на выходах логических устройств, а также установление основных зависимостей между различными видами ошибок в информационных векторах установленной длины.

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

4. Исследование влияния взвешивания разрядов и переходов между разрядами, занимающими соседние позиции в информационных векторах, на свойства обнаружения ошибок кодами с суммированием.

5. Разработка кодов с суммированием с минимальным общим количеством необнаруживае-мых ошибок в информационных векторах с заданными длинами контрольных векторов.

6. Разработка универсальных методов синтеза контрольного оборудования систем функционального диагностирования.

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

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

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

Научная новизна диссертационного исследования заключается в следующем:

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

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

3. Проанализировано влияние взвешивания разрядов и переходов между разрядами, занимающими соседние позиции в информационных векторах, на свойства обнаружения ошибок различных видов в информационных векторах кодов с суммированием.

4. Разработаны алгоритмы построения кодов с суммированием, имеющих наименьшее общее количество необнаруживаемых ошибок при заданных длинах информационных и контрольных векторов.

5. Предложены способы построения кодов с суммированием, идентифицирующих 100% видов определенных ошибок в информационных векторах (монотонных, асимметричных или и монотонных, и асимметричных одновременно).

6. Разработан универсальный метод синтеза генераторов кодов с суммированием (устройств, формирующих значения разрядов контрольных векторов по значениям разрядов информационных векторов), учитывающий возможность взвешивания разрядов или переходов между разрядами, занимающими соседние позиции в информационных векторах, а также модификацию кода.

7. Разработаны алгоритмы модификации структур логических схем в контролепригодные структуры на основе установленных в диссертационном исследовании новых свойств кодов с суммированием.

8. Предложены методы совершенствования технологии мониторинга устройств железнодорожной инфраструктуры, в том числе, ЖАТ, на основе разработанных в диссертационном исследовании кодов с суммированием.

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

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

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

Положения, выносимые на защиту:

1. Классификация известных методов функционального диагностирования логических устройств автоматики и вычислительной техники с указанием особенностей ошибок, возникающих на выходах объектов диагностирования.

2. Результаты теоретических исследований классических и модульных кодов с суммированием единичных разрядов в информационных векторах.

3. Алгоритмы модификации кодов с суммированием, позволяющие повышать количество обнаруживаемых ими ошибок в информационных векторах по сравнению с классическими и модульными кодами с суммированием.

4. Результаты теоретических исследований взвешенных кодов с суммированием и их модификаций в системах функционального диагностирования.

5. Универсальный метод синтеза генераторов кодов с суммированием.

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

7. Технические предложения по совершенствованию технологии непрерывного мониторинга устройств железнодорожной инфраструктуры, в том числе, ЖАТ.

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

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

- международную конференцию, посвященную вопросам проектирования и тестирования логических устройств, «IEEE East-West Design & Test Symposium»:

o в 2012 году (г. Харьков, Украина);

o в 2013 году (г. Ростов-на-Дону, Российская Федерация); o в 2014 году (г. Киев, Украина); o в 2015 году (г. Батуми, Грузия); o в 2016 году (г. Ереван, Армения);

- Санкт-Петербургскую международную конференцию «Региональная информатика» в

2012, 2014 и 2016 гг. (г. Санкт-Петербург, Российская Федерация);

- международную научно-практическую конференцию «Новые информационные технологии в исследовании сложных структур»:

o в 2014 году (п. Катунь, респ. Алтай, Российская Федерация); o в 2016 году (г. Екатеринбург, Российская Федерация);

- международную научно-практическую конференцию «ИнтеллектТранс» в 2011, 2012,

2013, 2014 и 2015 гг. (г. Санкт-Петербург, Российская Федерация);

- всероссийскую конференцию «Информационные технологии в управлении» в 2012 г. (г. Санкт-Петербург, Российская Федерация);

- международную конференцию имени А. Ф. Терпугова ««Информационные технологии и математическое моделирование» в 2015 году (г. Анжеро-Судженск, Кемеровская обл., Российская Федерация);

- международную конференцию «Информационные технологии в науке, образовании и управлении» в 2016 году (г. Гурзуф, респ. Крым, Российская Федерация);

- три доклада на семинарах в лаборатории технической диагностики и отказоустойчивости Института проблем управления Российской академии наук им. В. А. Трапезникова (15.12.2014, 09.11.2015 и 14.11.2016) под руководством члена-корреспондента РАН П. П. Пархоменко и д-ра техн. наук М. Ф. Каравая (г. Москва, Российская Федерация);

- семинары «Автоматика и дискретная математика» на кафедре «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I в период с 2012 по 2017 гг. (г. Санкт-Петербург, Российская Федерация).

Диссертационная работа состоит из 8 глав, введения, заключения и приложений. В первой главе дается обзор современных методов и средств тестирования и функционального диагностирования, в том числе, в области ЖАТ. Завершается глава постановкой задач диссертационного исследования. Вторая глава посвящена вопросам исследования свойств ошибок в информационных векторах систем функционального диагностирования. На основании приведенной классификации ошибок устанавливаются зависимости между различными видами ошибок. В третьей - пятой главах исследуются свойства кодов с суммированием в системах функционального диагностирования, приводятся алгоритмы построения кодов с уменьшенным количеством необнаруживаемых ошибок в информационных векторах. Шестая глава освещает вопросы синтеза контрольного оборудования для разработанных в диссертации новых кодов с суммированием. В седьмой главе диссертации приводятся алгоритмы построения полностью самопроверяемых систем функционального диагностирования на основе свойств кодов с суммированием. Также здесь даются условия применения различных кодов при синтезе контролепригодных систем. Восьмая глава содержит результаты приложения диссертационного исследования в области непрерывного мониторинга средств железнодорожной инфраструктуры, в том числе, в сфере ЖАТ. Заключение завершает работу.

Публикации. По теме диссертационного исследования опубликовано свыше 150 печатных работ (их полный перечень приведен в Приложении А к диссертации). Основные результаты диссертационного исследования опубликованы в 43 работах, в том числе, 22 публикациях в изданиях, включенных в Перечень ВАК РФ, в 14 академических публикациях, в 14 публикациях, индексированных в международной базе цитируемости SCOPUS и в 1 монографии.

Основные научные и практические результаты диссертационного исследования внедрены в аппаратно-программные комплексы функционального диагностирования и непрерывного мониторинга устройств ЖАТ на пространстве железных дорог Российской Федерации, а также использованы при организации универсального беспроводного тракта передачи диагно-

стической информации для систем непрерывного мониторинга объектов железнодорожной инфраструктуры на Октябрьской ж.д. (см. Приложение Б).

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Ефанов, Дмитрий Викторович

ЗАКЛЮЧЕНИЕ

Выполненная диссертационная работа представляет собой законченную научно-квалификационную работу, направленную на развитие теории и методов функционального диагностирования логических устройств систем управления, в том числе, систем ЖАТ, и содержит следующие основные результаты:

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

2. Проанализированы особенности ошибок, возникающих на выходах рабочих векторов логических устройств при наличии в них внутренних неисправностей. Установлено, что вне зависимости от длины вектора рабочих функций (информационного вектора), в нем имеется одинаковая доля монотонных, симметричных и асимметричных ошибок кратностью d от общего количества ошибок данной кратностью.

3. Установлены новые свойства классических кодов Бергера и модульных кодов с суммированием по обнаружению ошибок различных видов в информационных векторах. Доказано, что вне зависимости от длины информационного вектора любым кодом Бергера и модульным кодом не обнаруживается одинаковая доля ошибок кратностью d от общего количества ошибок данной кратностью.

4. Предложены новые алгоритмы построения кодов с суммированием единичных разрядов в информационных векторах, позволяющие улучшать характеристики обнаружения ими ошибок. Разработанные коды обнаруживают гораздо большее количество ошибок в информационных векторах, чем классические коды Бергера и модульные коды.

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

6. Разработаны алгоритмы модификации кодов с суммированием взвешенных переходов, часть из которых позволяет построить так называемый оптимальный код с суммированием с заданными значениями длин информационных и контрольных векторов - данные коды имеют минимум общего количества необнаруживаемых ошибок.

7. Разработан новый подход к модификации кодов с суммированием - взвешивание переходов между разрядами в информационных векторах, занимающими соседние позиции. В

совокупности с результатами по модификации кодов с суммированием единичных и взвешенных информационных разрядов предложены эффективные способы построения модифицированных кодов с суммированием взвешенных переходов, в том числе, дающие возможность построения оптимальных ^^-кодов.

8. Предложены способы организации систем функционального диагностирования логических устройств со 100%-ным обнаружением ошибок во внутренней структуре контролируемых объектов, базирующиеся на использовании установленных в данном же исследовании свойств кодов с суммированием.

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

10. Предложены и внедрены в практику методы автоматизации анализа диагностируемых объектов железнодорожной автоматики и телемеханики в системах их функционального диагностирования и непрерывного мониторинга.

11. Составлены рекомендации по совершенствованию технологии мониторинга объектов железнодорожной инфраструктуры с применением кодов с суммированием.

Список литературы диссертационного исследования кандидат наук Ефанов, Дмитрий Викторович, 2017 год

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Аксёнова, Г. П. Локализация неисправного многовыходного блока в дискретном устройстве / Г. П. Аксёнова // Автоматика и телемеханика. - 2015. - №2. - С. 141-149.

2. Аксёнова, Г. П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2 / Г. П. Аксёнова // Автоматика и телемеханика. - 1979. - №9.

- С. 126-135.

3. Аксёнова, Г. П. О функциональном диагностировании дискретных устройств в условиях работы с неточными данными / Г. П. Аксёнова // Проблемы управления. - 2008. - №5. -С. 62-66.

4. Аксёнова, Г. П. Построение самопроверяемых схем встроенного контроля для автоматов с памятью / Г. П. Аксенова, Е. С. Согомонян // Автоматика и телемеханика. - 1975. - №7.

- С. 132-142.

5. Бимуканов, М. К. Синтез быстродействующих тестеров для кодов с суммированием / М. К. Бимуканов, В. В. Сапожников, Вл. В. Сапожников // Проблемы передачи информации. -1989. - Т. 25, №2. - С. 105-112.

6. Блюдов, А. А. Исследование модифицированных кодов с суммированием в системах технической диагностики и обработки информации в устройствах железнодорожной автоматики и телемеханики: дис. ... канд. техн. наук: 05.13.06.: защищена 27.11.13 : утв. 07.04.14 / Блюдов Антон Алексадрович; [Место защиты: Петерб. гос. ун-т путей сообщ.]. - СПб, 2013. -230 с.: ил. РГБ ОД, 61 14-5/1480.

7. Блюдов, А. А. Модифицированный код с суммированием для организации контроля комбинационных схем / А. А. Блюдов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2012. - №1. - С. 169-177.

8. Блюдов, А. А. Теоретические исследования двоичных модульных кодов с суммированием / А. А. Блюдов // Бюллетень результатов научных исследований. - 2011. - №1. - С. 11-18.

9. Варшавский, В. И. Полностью самопроверяемые асинхронные комбинационные схемы и свойство индицируемости / В. И. Варшавский, Л. Я. Розенблюм, А. Р. Таубин // Автоматика и телемеханика. - 1982. - №5. - С. 138-146.

10. Влияние правил модификации классических кодов Бергера на сложность технической реализации систем функционального контроля / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, М. Р. Черепанова // Сборник трудов научно-практической конференции Пробле-

мы безопасности и надежности микропроцессорных комплексов; Под ред. Вал. В. Сапожнико-ва. - СПб: ПГУПС, 2015, с. 173-179.

11. Гавзов, Д. В. Методы обеспечения безопасности дискретных систем / Д. В. Гавзов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 1994. - № 8. - С. 3-50.

12. Гессель, М. Построение кодоразделительных самопаритетных комбинационных схем для самотестирования и функционального диагностирования / М. Гессель, Е. С. Согомо-нян // Автоматика и телемеханика. - 1996. - № 11. - С. 155-165.

13. Гессель, М. Построение самотестируемых и самопроверяемых комбинационных устройств со слабонезависимыми выходами / М. Гессель, Е. С. Согомонян // Автоматика и телемеханика. - 1992. - № 8. - С. 150-160.

14. Гессель, М. Самопроверяемая схема сравнения (компаратор) / М. Гессель, Е. С. Согомонян // Автоматика и телемеханика. - 1992. - № 10. - С. 135-141.

15. Гольдман, Р. С. Техническая диагностика цифровых устройств / Р. С. Гольдман,

B. П. Чипулис. - М.: Энергия, 1976. - 224 с.

16. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения. - Введ. 01.07.1990. - М.: Государственный комитет СССР по управлению качеством продукции и стандартам, 1989. - 24 с.

17. ГОСТ 20911-89. Техническая диагностика. Термины и определения. - Введ. 01.01.1991. - М.: Издательство стандартов. - 1989. - 34 с.

18. Двоичные коды с суммированием, имеющие минимальное число необнаруживае-мых искажений информационных разрядов / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефа-нов, А. А. Блюдов // Теоретические и практические аспекты развития систем железнодорожной автоматики и телемеханики : сб. науч. трудов; ред. Вл. В. Сапожников. - СПб.: Петербургский гос. ун-т путей сообщения, 2012. - С. 3-14.

19. Дмитриев, В. В. О двух способах взвешивания и их влиянии на свойства кодов с суммированием взвешенных переходов в системах функционального контроля логических схем / В. В. Дмитриев // Известия Петербургского университета путей сообщения. - 2015. - №3. -

C. 119-129.

20. Дмитриев, В. В. Особенности синтеза генераторов кодов с суммированием взвешенных переходов при различной полноте информации о контролируемой логической схеме / В. В. Дмитриев // Сборник трудов научно-практической конференции Проблемы безопасности и надежности микропроцессорных комплексов; Под ред. Вал. В. Сапожникова. - СПб: ПГУПС, 2015, с. 158-166.

21. Дмитриев, В. В. Применение кода с суммированием с взвешенными переходами для построения систем функционального контроля / В. В. Дмитриев, Д. В. Ефанов, М. Р. Чере-

панова // Интеллектуальные системы на транспорте: Сборник материалов V МНПК «Интеллек-тТранс-2015»; под ред. д-ра техн. наук, профессора А. А. Корниенко. - СПб: ПГУПС, 2015, с. 305-311.

22. Дрозд, А. В. Нетрадиционный взгляд на рабочее диагностирование вычислительных устройств / А. В. Дрозд // Проблемы управления. - 2008. - №2. - С. 48-56.

23. Дрозд, А. Этапы развития рабочего диагностирования вычислительных устройств / А. Дрозд // Компьютерные науки и технологии. - 2009. - № 1. - С.44-50.

24. Ефанов, Д. В. Анализ способов построения кодов с суммированием с улучшенными характеристиками обнаружения симметричных ошибок в информационных векторах / Д. В. Ефанов // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2015. - №4. - С. 69-81. - DOI: 10.17223/19988605/32/9.

25. Ефанов, Д. В. Генератор тестера кода с суммированием на новой элементной базе / Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2010. - №1. -С. 86-92

26. Ефанов, Д. В. К вопросу выбора варианта кодирования при организации систем функционального контроля комбинационных схем с учетом эксперимента / Д. В. Ефанов,

B. В. Дмитриев // Региональная информатика (РИ-2014). XIV Санкт-Петербургская международная конференция «Региональная информатика (РИ-2014)». Санкт-Петербург, 29-31 октября 2014 г.: Материалы конференции. СПОИСУ, с. 296-297.

27. Ефанов, Д. В. Метод автоматизации проверки логики функционирования объектов диагностирования в системах удаленного контроля и мониторинга / Д. В. Ефанов // Транспорт Урала. - 2014. - №3. - С. 58-62.

28. Ефанов, Д. В. Метод кодирования состояний диагностируемых объектов / Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2010. - №2. -

C. 74-85.

29. Ефанов, Д. В. Мониторинг параметров рельсовых цепей тональной частоты / Д. В. Ефанов, Н. А. Богданов // Транспорт Урала. - 2013. - №1. - С. 36-42.

30. Ефанов, Д. В. Некоторые аспекты развития систем функционального контроля устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов // Транспорт Урала. -2015. - №1. - С. 35-40.

31. Ефанов, Д. В. Обеспечение безопасности движения за счет технического диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов, П.А. Плеханов // Транспорт Урала. - 2011. - №3. - С. 44-48.

32. Ефанов, Д. В. О методе выявления логических ситуаций в системах технической диагностики и мониторинга устройств железнодорожной автоматики и телемеханики

/ Д. В. Ефанов // Вестник Ростовского государственного университета путей сообщения. - 2010. - №4. - С. 66-71.

33. Ефанов, Д. В. О свойствах кода с суммированием в схемах функционального контроля / Д.В. Ефанов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. -2010. - №6. - С. 155-162.

34. Ефанов, Д. В. Основы построения и принципы функционирования систем технического диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики: учеб. пособие / Д. В. Ефанов, А. А. Лыков. - СПб.: Петербургский государственный университет путей сообщения, 2012. - 59 с.

35. Ефанов, Д. В. Повышение надежности датчиков контроля положения железнодорожных стрелок / Д. В. Ефанов, А. А. Блюдов // Известия Петербургского университета путей сообщения. - 2014. - №3. - С. 69-77.

36. Ефанов, Д. В. Повышение эффективности технологии мониторинга средствами системы АПК-ДК за счет использования при обработке диагностических данных взвешенных кодов с суммированием без переносов / Д. В. Ефанов, В. В. Дмитриев, В. Г. Алексеев // Вестник Уральского государственного университета путей сообщения. - 2016. - №2. - С. 56-66.

37. Ефанов, Д. В. Предельные свойства кода Хэмминга в схемах функционального диагностирования / Д. В. Ефанов // Информатика и системы управления - 2011. - №3. - С. 7079

38. Ефанов, Д. В. Применение кода с суммированием в системах технической диагностики и мониторинга устройств железнодорожной автоматики и телемеханики: дис. . канд. техн. наук: 05.22.08.: защищена 10.11.10 : утв. 11.03.11 / Ефанов Дмитрий Викторович; [Место защиты: Петерб. гос. ун-т путей сообщ.]. - СПб, 2010. - 192 с. - Библиогр.: с. 148-159. : ил. РГБ ОД, 61 11-5/289.

39. Ефанов, Д. В. Применение модульных кодов с суммированием для построения систем функционального контроля комбинационных логических схем / Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2015. - №10. - С. 152-169.

40. Ефанов, Д. В. Синтез генераторов тестеров модифицированных кодов Бергера на основе свойств линейных и простых симметричных функций / Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2014. - №4. - С. 99-109.

41. Ефанов, Д. В. Способы организации систем функционального диагностирования логических схем без памяти / Д. В. Ефанов, Г. М. Грошев, О. Б. Маликов // Электротехника. -2016. - №5. - С. 53-56.

42. Ефанов, Д. В. Техническое диагностирование и мониторинг устройств автоматики в метрополитенах / Д. В. Ефанов // Автоматизация в промышленности. - 2014. - №3. - С. 4-8.

43. Ефанов, Д. В. Три теоремы о кодах Бергера в схемах встроенного контроля / Д. В. Ефанов // Информатика и системы управления - 2013. - №1. - С. 77-86.

44. Ефанов, Д. В. Условия обнаружения неисправности логического элемента в комбинационном устройстве при функциональном контроле на основе кода Бергера / Д. В. Ефанов,

B. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2017. - №5. - С. 152165.

45. Ефанов, Д. В. Функциональный контроль и мониторинг устройств железнодорожной автоматики и телемеханики: монография / Д. В. Ефанов. - СПб.: Петербургский государственный университет путей сообщения, 2016. - 171 с.

46. Закревский, А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. - М.: Физматлит, 2007. - 592 с.

47. Исследование вероятностных методов оценки логической уязвимости комбинационных схем / А. Л. Стремпковский, Д. В. Тельпухов, Р. А. Соловьев, Н. В. Тельпухова // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС), Россия, Москва, ИППМ РАН, 2016. - №4. - С. 121-126.

48. Исследование комбинационных самопроверяемых устройств с независимыми и монотонно независимыми выходами / М. Гессель, А. А. Морозов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 1997. - № 2. - С. 180-193.

49. Исследование свойств кодов с суммированием с одним взвешенным информационным разрядом в системах функционального контроля / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. А. Никитин // Электронное моделирование. - 2015. - Том 37. - №1. -

C. 25-48.

50. Исследование свойств самодвойственных самопроверяемых многотактных схем / М. Гессель, А. В. Дмитриев, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2001. - № 4. - С. 148-159.

51. Калявин, В. П. Надежность и диагностика автомототранспортных средств / В. П. Калявин, Н. А. Давыдов. - СПб.: Элмор, 2014. - 480 с.

52. Каравай, М. Ф. Анализ надежностных характеристик самопроверяемых избыточных структур / М. Ф. Каравай, Е. С. Согомонян // Автоматика и телемеханика. - 1979. - №8. -С. 105-119.

53. Коды с суммированием для организации контроля комбинационных схем / А. А. Блюдов, Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2013. - №6. - С. 153-164.

54. Контроль комбинационных схем методом логического дополнения / М. Гессель,

A. В. Морозов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2005. -№ 8. - С. 161-172.

55. Курант, Р. Что такое математика? / Р. Курант, Г. Роббинс. - 3-е изд., испр. и доп. М.: МЦНМО, 2001. - 568 с.

56. Ланцов, В. Н. Современные подходы к проектированию и тестированию интегральных микросхем / В. Н. Ланцов, С. Г. Мосин. - Владимир: издательство Владимирского государственного университета, 2010. - 285 с.

57. Лисенков, В. М. Статистическая теория безопасности движения поездов / В. М. Лисенков. - М.: ВИНИТИ РАН, 1999. - 322 с.

58. Литиков, И. П. Тестово-функциональное диагностирование цифровых устройств и систем / И. П. Литиков, Е. С. Согомонян // Автоматика и телемеханика. - 1985. - №3. -С.111-121.

59. Логическое дифференциальное исчисление: достижения, тенденции и приложения / Д. Бохманн, Р. С. Станкович, Ж. Тошич, В. П. Шмерко, С. Н. Янушкевич // Автоматика и телемеханика. - 2000. - №6. - С. 156-170.

60. Логическое дополнение - новый метод контроля комбинационных схем / М. Гессель, А. В. Морозов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2003. - № 1. - С. 167-176.

61. Матросова, А. Ю. К синтезу контролепригодных комбинационных устройств / А. Ю. Матросова, С. А. Останин, Н. А. Паршина // Автоматика и телемеханика. - 1999. - №2. - С. 129-137.

62. Матросова, А. Ю. Обнаружение несущественных путей логических схем на основе совместного анализа И-ИЛИ деревьев и SSBDD-графов / А. Ю. Матросова, С. А. Останин,

B. Сингх // Автоматика и телемеханика. - 2013. - №7. - С. 126-142.

63. Матросова, А. Ю. Синтез детекторов равновесных кодов с использованием монотонных функций / А. Ю. Матросова, Н. Б. Буторина, Н. О. Якимова // Известия высших учебных заведений. Физика. - 2013. - Т. 56, №9-2. - С. 171-173.

64. Мельников, А. Г. Синтез самопроверяющихся тестеров для кодов с суммированием / А. Г. Мельников, В. В. Сапожников, Вл. В. Сапожников // Проблемы передачи информации. - 1986. - Т. 22, №2. - С. 85-97.

65. Мехов, В. Б. Контроль комбинационных схем на основе кодов с суммированием взвешенных переходов / В. Б. Мехов, В. В. Сапожников, Вл. В. Сапожников // Известия Петербургского университета путей сообщения. - 2006. - №2. - С. 126-126.

66. Мехов, В. Б. Контроль комбинационных схем на основе модифицированных кодов с суммированием / В. Б. Мехов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2008. - №8. - С. 153-165.

67. Мехов, В. Б. Построение тестов для взвешенных кодов / В. Б. Мехов // Автоматика и телемеханика железных дорог России. Новая техника и новые технологии : сб. науч. трудов; ред. Вл. В. Сапожников. - СПб.: Петербургский гос. ун-т путей сообщения, 2007. - С. 81-89.

68. Метод построения кода Бергера с повышенной эффективностью обнаружения ошибок в информационных разрядах / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. А. Никитин // Электронное моделирование. - 2013. - Том 35. - №4. - С. 21-34.

69. Методы построения безопасных микроэлектронных систем железнодорожной автоматики / В. В.Сапожников, Вл. В.Сапожников, Х. А. Христов, Д. В. Гавзов; Под ред. Вл. В. Сапожникова. - М.: Транспорт, 1995. - 272 с.

70. Микропроцессорные системы централизации: Учебник для техникумов и колледжей железнодорожного транспорта / Вл. В. Сапожников, В. А. Кононов, С. А. Куренков, А. А. Лыков, О. А. Наседкин, А. Б. Никитин, А. А. Прокофьев, М. С. Трясов; Под ред. Вл. В. Сапожникова // М.: ГОУ «Учебно-методический центр по образованию на железнодорожном транспорте, 2008. - 398 с.

71. Модульно взвешенный код с суммированием для систем технического диагностирования / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. А. Никитин // Информатика и системы управления. - 2015. - №3. - С. 53-62.

72. Модульные коды с суммированием взвешенных переходов с последовательностью весовых коэффициентов, образующей натуральный ряд чисел / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, А. Г. Котенко // Труды СПИИРАН. - 2017. - №1. - С. 137-164. - DOI: 10.15622^Р.50.6.

73. Модульные коды с суммированием в системах функционального контроля.

I. Свойства обнаружения ошибок кодами в информационных векторах / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, М. Р. Черепанова // Электронное моделирование. - 2016. -Т. 38, №2. - С. 27-48.

74. Модульные коды с суммированием в системах функционального контроля.

II. Уменьшение структурной избыточности систем функционального контроля / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, М. Р. Черепанова // Электронное моделирование. - 2016. - Т. 38, №3. - С. 47-61.

75. Мозгалевский, А. В. Вопросы проектирования систем диагностирования / А. В. Мозгалевский, А. Н. Койда. - Ленинград: Энергоатомиздат (Ленинградское отделение), 1985. - 112 с.

76. Мозгалевский, А. В. Техническая диагностика (непрерывные объекты) (обзор) / А. В. Мозгалевский // Автоматика и телемеханика. - 1978. - № 1. - 145-166.

77. Мозгалевский, А. В. Техническая диагностика (непрерывные объекты) / А. В. Моз-галевский, Д. В. Гаскаров. - М.: Высшая школа, 1975. - 207 с.

78. Молодцов, В. П. Системы диспетчерского контроля и мониторинга устройств железнодорожной автоматики и телемеханики: учебное пособие / В. П. Молодцов, А. А. Иванов. -СПб.: ПГУПС, 2010. - 140 с.

79. Надежность и эффективность в технике: Справочник в десяти томах. Т.9: Техническая диагностика / под. ред. В.В. Клюева и П.П. Пархоменко. - М.: Машиностроение, 1987.

- 352 с.

80. Никитин, Д. А. Анализ характеристик оптимальных кодов с суммированием, полученных на основе взвешивания разрядов информационных векторов, в системах функционального контроля / Д. А. Никитин // Известия Петербургского университета путей сообщения.

- 2016. - Том 13, №4. - С. 607-616.

81. Никитин, Д. А. Результаты экспериментов по анализу свойств обнаружения ошибок в контрольных комбинационных схемах модифицированными взвешенными кодами с суммированием с прямой последовательностью весовых коэффициентов // Транспортные интеллектуальные системы: сборник материалов I международной научно-практической конференции «Транспортные интеллектуальные системы - 2017» (ТК-2017), Санкт-Петербург, 16-17 февраля 2017 г.; под. ред. Вал. В. Сапожникова, Д. В. Ефанова. - СПб: ФГБОУ ВО ПГУПС, 2017, с. 32-39.

82. Новые коды с суммированием для систем технического диагностирования / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев // Региональная информатика (РИ-2014). XIV Санкт-Петербургская международная конференция «Региональная информатика (РИ-2014)». Санкт-Петербург, 29-31 октября 2014 г.: Материалы конференции. СПОИСУ, с. 43.

83. Новые структуры систем функционального контроля логических схем / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев // Автоматика и телемеханика. -2017. - №2. - С. 127-143.

84. Обнаружение ошибок в программных реализациях самопроверяемых тестеров в микропроцессорных системах / В. В. Сапожников, Вл. В. Сапожников, А. В. Харитонов, В. М. Чухонин // Автоматика и телемеханика. - 1989. - №12. - С. 129-140.

85. О кодах с суммированием единичных разрядов в системах функционального контроля / А. А. Блюдов, Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2014. - №8. - С. 131-145.

86. Оптимальный систематический код на основе взвешивания разрядов информационных векторов и суммирования без переносов для систем функционального контроля / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев, Ц. Хуан // Известия Петербургского университета путей сообщения. - 2016. - №1. - С. 75-84.

87. Оптимизация схем кодирования на основе выбора варианта коммутаций с учетом логических корреляций между выходами комбинационной схемы / С. В. Гаврилов, Г. А. Иванова, А. Н. Соловьев, А. Л. Стремпковский // Известия ЮФУ. Технические науки. - 2015. - №6. -С. 255-262.

88. Организация систем функционального контроля комбинационных схем на основе модифицированного кода с суммированием взвешенных переходов (начало) / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев, М. Р. Черепанова // Электронное моделирование. - 2015. - Т. 37, №6. - С. 49-68.

89. Организация систем функционального контроля комбинационных схем на основе модифицированного кода с суммированием взвешенных переходов (окончание) / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев, М. Р. Черепанова // Электронное моделирование. - 2016. - Т. 38, №1. - С. 87-98.

90. Организация функционального контроля комбинационных схем методом логического дополнения / В. В. Сапожников, Вл. В. Сапожников, А. В. Дмитриев, А. В. Морозов, М. Гессель // Электронное моделирование. - 2002. - Т. 24, №6. - С. 51-66.

91. Осадчий, Г. В. Определение метода реализации технической диагностики контроллеров в системе АПК-ДК / Г. В. Осадчий // Транспорт Урала. - 2007. - №2. - С. 78-82.

92. Осадчий, Г. В. Повышение эффективности использования метода логического дополнения для контроля комбинационных схем / Г. В. Осадчий // Разработка и эксплуатация новых устройств и систем железнодорожной автоматики и телемеханики : сб. науч. трудов; ред. Вл. В. Сапожников. - СПб.: Петербургский гос. ун-т путей сообщения, 2004. - С. 32-35.

93. Осадчий, Г. В. Разработка метода логического дополнения для диагностирования и мониторинга устройств железнодорожной автоматики / Г. В. Осадчий // Известия Петербургского университета путей сообщения. - 2004. - №1. - С. 84-89.

94. Основы технической диагностики / В. В. Карибский, П. П. Пархоменко, Е. С. Со-гомонян, В. Ф. Халчев; под ред. П. П. Пархоменко. - М.: Энергия, 1976. - 464 с.

95. Особенности организации передачи данных по радиоканалу в системах непрерывного мониторинга объектов инфраструктуры железнодорожного транспорта / Д. В. Ефанов, Г. В. Осадчий, Д. В. Седых, Д. Н. Пристенский // Автоматизация в промышленности. - 2016. -№6. - С. 29-33.

96. Пархоменко, П. П. Диагностирование программного обеспечения (обзор) / П. П. Пархоменко, П. А. Правильщиков // Автоматика и телемеханика. - 1980. - №1. - С. 103121.

97. Пархоменко, П. П. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства) / П. П. Пархоменко, Е. С. Согомонян // М.: Энерго-атомиздат, 1981. - 320 с.

98. Перспективная универсальная сеть передачи данных / Г. Ф. Насонов, В. Ф. Тана-ев, Д. В. Ефанов, Г. В. Осадчий, Д. Н. Пристенский, Д. В. Седых // Транспорт Российской Федерации. - 2016. - №5. - С. 29-32.

99. Подсистема мониторинга вибрационных воздействий на провода и тросы контактной подвески / Д. В. Ефанов, Г. В. Осадчий, Д. В. Седых, Д. Н. Пристенский, Д. В. Барч // Транспорт Урала. - 2016. - №3. - С. 36-42. - DOI: 10.20291/1815-9400-2016-3-36-42.

100. Построение модифицированного кода Бергера с минимальным числом необнару-живаемых ошибок информационных разрядов / А. А. Блюдов, Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Электронное моделирование. - 2012. - Т. 34, №6. - С. 17-29.

101. Поттосин, Ю. В. Энергосберегающее противогоночное кодирование состояний асинхронного автомата / Ю. В. Поттосин // Прикладная дискретная математика. Приложение, 2015. - №8. - С. 120-123.

102. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук, Ю. В. Дрозд, М. А. Дрозд, Ю. Ю. Сулима; Под ред. А. В. Дрозда и В. С. Харченко. - Харьков: Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2012. - 614 с.

103. Сагалович, Ю. Л. Введение в алгебраические коды / Ю. Л. Сагалович. - М.: Институт проблем передачи информации им. А. А. Харкевича РАН, 2010. - 302 с.

104. Сагалович, Ю. Л. Кодовая защита оперативной памяти ЭВМ от ошибок / Ю. Л. Сагалович // Автоматика и телемеханика. - 1991. - №5. - С. 3-45.

105. Сапожников, В. В. Анализ свойств кодов с суммированием взвешенных информационных разрядов по обнаружению ошибок в системах функционального контроля логических устройств / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2015. - №1. - С. 114-126.

106. Сапожников, В. В. Блочная структура двоичного счетчика единиц по произвольному модулю счета / В. В. Сапожников, Вл. В. Сапожников, Д. И. Ургансков // Электронное моделирование. - 2005. - Т. 27, №4. - С. 47-56.

107. Сапожников, В. В. Вероятностные свойства кода с суммированием в схемах функционального контроля / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Автоматика

и телемеханика железных дорог России. Техника, технология, сертификация. Сборник научных трудов, СПб.: ПГУПС. - 2011. - С. 3-13.

108. Сапожников, В. В. Взвешенные коды с суммированием для организации контроля логических устройств / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Электронное моделирование. - 2014. - Т. 36, №1. - С. 59-80.

109. Сапожников, В. В. Дискретные автоматы с обнаружением отказов / В. В. Сапожников, Вл. В. Сапожников. - Л.: Энергоатомиздат, 1984. - 112 с.

110. Сапожников, В. В. Классификация ошибок в информационных векторах систематических кодов / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия вузов. Приборостроение. - 2015. - Т. 58, №5. - С. 333-343. - DOI: 10.17586/0021-3454-2015-58-5-333-343.

111. Сапожников, В. В. Контроль комбинационных схем на основе кодов с суммированием с одним взвешенным информационным разрядом / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Автоматика на транспорте. - 2016. - Т. 2, №4. - С. 564-597.

112. Сапожников, В. В. Метод функционального контроля комбинационных логических устройств на основе кода «2 из 4» / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия вузов. Приборостроение. - 2016. - Т. 59, №7. - С. 524-533. - DOI 10.17586/0021-34542016-59-7-524-533.

113. Сапожников, В. В. Об использовании свойств кодов с суммированием по обнаружению монотонных ошибок в системах функционального контроля комбинационных схем / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2014. - №3. - С. 76-88.

114. Сапожников, В. В. Обнаружение опасных ошибок на рабочих выходах комбинационных логических схем / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Автоматика на транспорте. - 2015. - Т. 1, №2. - С. 195-211.

115. Сапожников, В. В. Об одном классе кодов, пригодных для синтеза систем функционального контроля логических устройств / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Вестник Ростовского государственного университета путей сообщения. - 2014. - №2. - С. 48-58.

116. Сапожников, В. В. О синтезе полностью самопроверяемых комбинационных схем / В. В. Сапожников, Вл. В. Сапожников // Известия Петербургского университета путей сообщения. - 2006. - №1. - С. 97-107.

117. Сапожников, В. В. О синтезе тестеров кодов с суммированием на основе использования свойств простых и линейных функций / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Вестник Уральского государственного университета путей сообщения. - 2011. -№1. - С. 22-32.

118. Сапожников, В. В. Основы технической диагностики / В. В. Сапожников, Вл. В. Сапожников. - М.: Маршрут, 2004. - 316 с.

119. Сапожников, В. В. Построение кодов с суммированием с наименьшим количеством необнаруживаемых симметричных ошибок в информационных векторах / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Радиоэлектроника и информатика. - 2014. - №4. -С. 46-55.

120. Сапожников, В. В. Предельные свойства кода с суммированием / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2010. - №3. - С. 290-299.

121. Сапожников, В. В. Применение кодов с суммированием при синтезе систем железнодорожной автоматики и телемеханики на программируемых логических интегральных схемах / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Автоматика на транспорте. -2015. - Т. 1, №1. - С. 84-107.

122. Сапожников, В. В. Самодвойственные дискретные устройства / В. В. Сапожников, Вл. В. Сапожников, М. Гёссель. - СПб: Энергоатомиздат (Санкт-Петербургское отделение), 2001. - 331 с.

123. Сапожников, В. В. Самопроверяемые дискретные устройства / В. В. Сапожников, Вл. В. Сапожников. - СПб: Энергоатомиздат, 1992. - 224 с.

124. Сапожников, В. В. Самопроверяемый фиксатор ошибок для парафазных сигналов / В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 1992. - №2. - С. 197200.

125. Сапожников, В. В. Синтез быстродействующих тестеров для кодов с постоянным весом / В. В. Сапожников, Вл. В. Сапожников // Проблемы передачи информации. - 1988. -Т. 24. - №4. - С. 84-92.

126. Сапожников, В. В. Синтез контролепригодных дискретных устройств путем применения модульных кодов с суммированием / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2013. - №4. -С. 134-144.

127. Сапожников, В. В. Синтез самопроверяющихся т/п-тестеров с максимальным быстродействием / В. В. Сапожников, Вл. В. Сапожников, Л. Цегловски // Автоматика и телемеханика. - 1988. - №10. - С. 139-154.

128. Сапожников, В. В. Синтез самодвойственных дискретных систем / В. В. Сапожников, Вл. В. Сапожников, Р. Ш. Валиев. - СПб: Элмор, 2006. - 224 с.

129. Сапожников, В. В. Теоремы анализа для обнаружения неисправностей типа "временная задержка" / В. В. Сапожников, Вл. В. Сапожников, А. А. Лыков // Электронное моделирование. - 2004. - Т. 26, №3. - С. 83-93.

130. Сапожников, В. В. Теоретические основы железнодорожной автоматики и телемеханики: Учебник для вузов ж.-д. транспорта / В. В. Сапожников, Ю. А. Кравцов, Вл. В. Сапожников; под. ред. В. В. Сапожникова. - М.: ГОУ «Учебно-методический центр по образованию на железнодорожном транспорте, 2008. - 394 с.

131. Сапожников, В. В. Универсальный алгоритм синтеза 1/и-тестеров / В. В. Сапожников, В. Рабара // Проблемы передачи информации. - 1982. - Том 18, №3. - С. 62-73.

132. Сапожников, В. В. Универсальные структуры двоичных счетчиков единиц по произвольному модулю счета / В. В. Сапожников, Вл. В. Сапожников, Д. И. Ургансков // Электронное моделирование. - 2002. - Т. 24, №4. - С. 65-81.

133. Сапожников, В. В. Экспериментальные исследования двоичных кодов с суммированием / В. В. Сапожников, Вл. В. Сапожников, А. А. Блюдов // Известия Петербургского университета путей сообщения. - 2011. - №2. - С. 145-153.

134. Свойства кодов с суммированием взвешенных переходов с прямой последовательностью весовых коэффициентов / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов,

B. В. Дмитриев // Информатика и системы управления. - 2014. - №4. - С. 77-88.

135. Синтез самопроверяющихся тестеров в автоматах с обнаружением неисправностей / А. А. Дундуа, В. В. Сапожников, Вл. В. Сапожников, В. Г. Трохов // Автоматика и телемеханика. - 1980. - №7. - С. 150-160.

136. Скобцов Ю. А. Логическое моделирование и тестирование цифровых устройств / Ю. А. Скобцов, В. Ю. Скобцов. - Донецк: ИПММ НАН Украины, ДонНТУ, 2005. - 436 с.

137. Слабаков, Е. В. Построение полностью самопроверяемых комбинационных устройств с использованием остаточных кодов / Е. В. Слабаков // Автоматика и телемеханика. -1979. - №10. - С. 133-141.

138. Слабаков, Е.В. Построение полностью самопроверяемых комбинационных устройств с использованием равновесных кодов / Е. В. Слабаков, Е. С. Согомонян // Автоматика и телемеханика. - 1980. - №9. - С. 173-181.

139. Слабаков, Е. В. Самопроверяемые вычислительные устройства и системы (обзор) / Е. В. Слабаков, Е. С. Согомонян // Автоматика и телемеханика. - 1981. - №11. - С. 147-167.

140. Согомонян, Е. С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств / Е. С. Согомонян // Автоматика и телемеханика. - 1974. - №2. -

C. 121-133.

141. Согомонян, Е. С. Достоверность самотестирования с использованием средств функционального диагностирования / Е. С. Согомонян // Автоматика и телемеханика. - 1988. -№10. - С. 154-160.

142. Согомонян, Е. С. Отказоустойчивые избыточные структуры / Е. С. Согомонян // Автоматика и телемеханика. - 1986. - №10. - С. 135-143.

143. Согомонян, Е. С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств / Е. С. Согомонян // Автоматика и телемеханика. - 1974. - №2. -С. 121-133.

144. Согомонян, Е. С. Применение методов и средств функционального диагностирования при построении самовосстанавливаемых дискретных объектов / Е. С. Согомонян // Автоматика и телемеханика. - 1975. - №10. - С. 144-158.

145. Согомонян, Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. - М.: Радио и связь, 1989. - 207 с.

146. Способ непрерывного мониторинга механического усилия в проводах и тросах контактной подвески / Д. В. Ефанов, Г. В. Осадчий, Д. В. Седых, В. Л. Иванов, М. Е. Медведев, Г. Ф. Насонов, Ю. А. Черногоров // Транспорт Урала. - 2016. - №1. - С. 9-15. - DOI: 10.20291/1815-9400-2016-1-9-15.

147. Способ построения кода с суммированием с улучшенными показателями обнаружения ошибок в информационных векторах / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефа-нов, В. В. Дмитриев, М. Р. Черепанова // Автоматика на транспорте. - 2016. - Т. 2, №1. - С. 95123.

148. Сравнение структур систем функционального контроля, организованных по классическим и модифицированным кодам Бергера / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, М. Р. Черепанова // Известия Петербургского университета путей сообщения. -2015. - №3. - С. 173-183.

149. Федорчук, А. Е. Автоматизация технического диагностирования и мониторинга устройств ЖАТ (система АДК-СЦБ) / А. Е. Федорчук, А. А. Сепетый, В. Н. Иванченко. - М.: УМЦ ЖДТ, 2013. - 400 с.

150. Феллер, В. Введение в теорию вероятностей и ее приложения: Т.1. Пер. с англ. / В. Феллер. - М.: Книжный дом «Либроком», 2010. - 528 с.

151. Хаханов, В. И. Проектирование и тестирование цифровых систем на кристаллах / В. И. Хаханов, Е. И. Литвинова, О. А. Гузь. - Харьков: ХНУРЭ, 2009. - 484 с.

152. Хаханов, В. И. Техническая диагностика цифровых и микропроцессорных структур / В. И. Хаханов. - Киев: 1ЗМН, 1995. - 252 с.

153. Черемисинова, Л. Д. Логический синтез комбинационных КМОП схем с учетом рассеивания мощности / Л. Д. Черемисинова // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2014. - №3. - C. 89-98.

154. Черемисинов, Д. И. Минимизация двухуровневых КМОП-схем с учетом энергопотребления / Д. И. Черемисинов, Л. Д. Черемисинова // Информационные технологии. - 2011. -№5. - C. 17-23.

155. Черемисинова, Л. Д. Оценка энергопотребления КМОП-схем на логическом уровне / Л. Д. Черемисинова // Информационные технологии. - 2010. - №8. - C. 27-25.

156. Черепанова М. Р. Исследование влияния значения модуля кода с суммированием на структурную избыточность систем функционального контроля / М. Р. Черепанова // Известия Петербургского университета путей сообщения. - 2016. - №2. - С. 279-288.

157. Черкасова, Т. Х. Об обнаружении ошибок в системах автоматики и вычислительной техники с помощью кодов Бергера и его модификаций / Т. Х. Черкасова // Сборник трудов научно-практической конференции Проблемы безопасности и надежности микропроцессорных комплексов; Под ред. Вал. В. Сапожникова. - СПб: ПГУПС, 2015, с. 167-172.

158. Чжен, Г. Диагностика отказов цифровых вычислительных систем / Г. Чжен, Е. Мэннинг, Г. Метц. - М.: Мир, 1972. - 232 с.

159. Шишкин, Г. И. Обеспечение помехоустойчивости цифровых систем: Монография в двух частях. Часть I / Г. И. Шишкин. - Саров: ФГУП «РФЯЦ-ВНИИЭФ», 2004. - 436 с.

160. Эффективность систем технической диагностики и мониторинга состояния устройств железнодорожной автоматики и телемеханики / Вл. В. Сапожников, А. А. Лыков, Д. В. Ефанов, Н. А. Богданов // Транспорт Российской Федерации. - 2010. - №4. - С. 47-49.

161. Ярмолик В. Н. Контроль и диагностика цифровых узлов ЭВМ / В. Н. Ярмолик. -Минск: «Наука и техника», 1988. - 240 с.

162. Abramovici, M. Digital System Testing and Testable Design / M. Abramovici, M. A. Breuer, A. D. Friedman. - Computer Science Press, 1998. - 652 p.

163. A Fault-Tolerant Sequential Circuit Design for Soft Errors Based on Fault-Secure Circuit / S. Ostanin, A. Matrosova, N. Butorina, V. Lavrov // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016, pp. 607-610.

164. Al-Bassam, S. Design of Efficient Balanced Codes / S. Al-Bassam, B. Bose // Proceedings of 19th International Symposium on Fault-Tolerant Computing, 1989, 21-23 June, Chicago, IL, USA, pp. 229-236, doi: 10.1109/FTCS.1989.105571.

165. Analysis of Error-Detection Possibilities of CED Circuits Based on Hamming and Berger Codes / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, A. Blyudov // Proceedings of 11th IEEE

East-West Design & Test Symposium (EWDTS'2013), Rostov-on-Don, Russia, September 27-30, 2013, pp. 200-207, doi: 10.1109/EWDTS.2013.6673097.

166. Anderson, D. A. Design on Totally Self-Checking-Check Circuits for m-out-of-n Codes / D. A. Anderson, G. Metze // IEEE Transaction on Computers. - 1973. - V. С-33, Issue 3. - Pp. 263269.

167. Avizienis, A. Architecture of Fault-Tolerant Computing Systems / A. Avizienis // Fault-tolerant putting symposium (FTCS) 5. Paris, 1975, pp. 3-15.

168. Avizienis, A. Fault-Tolerant Systems / A. Avizienis // IEEE Transactions on Computers.

- 1976. - Vol. C-25, no. 12. - Pp. 3-15.

169. A New Design Method for Self-Checking Unidirectional Combinational Circuits / V. V. Saposhnikov, A. Morosov, Vl. V. Saposhnikov, M. Goessel // Journal of Electronic Testing: Theory and Applications. - 1998. - Vol. 12. - Issue 1-2. - Pp. 41-53.

170. A New Method for Concurrent Checking by Use of a 1-out-of-4 Code / M. Goessel, Vl. Saposhnikov, V. Saposhnikov, A. Dmitriev // Proceedings of the 6th IEEE International On-line Testing Workshop, 3-5 July 2000, Palma de Mallorca, Spain, pp. 147-152.

171. Benchmarks: LGSynth89 [Режим доступа: http://www.cbl.ncsu.edu:16080/benchmarks/LGSynth89/mlexamples/].

172. Berger, J. M. A Note on Burst Detection Sum Codes / J. M. Berger // Information and Control. - 1961. - Vol. 4, Issue 2-3. - Pp. 297-299. - DOI: 10.1016/S0019-9958(61)80024-7.

173. Berger, J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // Information and Control. - 1961. - Vol. 4, Issue 1. - Pp. 68-73. - DOI: 10.1016/S0019-9958(61)80037-5.

174. Blaum, M. On Systematic Burst Unidirectional Error Detecting Codes / M. Blaum // IEEE Transaction on Computers. - 1988. - Vol. 37, issue 4. - Pp. 453-457. - DOI 10.1109/12.2190.

175. Blyudov, A. A. On the Synthesis of Test Equipment for Modulo Codes with Summation / A. A. Blyudov // Proceedings of Petersburg Transport University. - 2013. - Issue 1. - Pp. 53-58.

176. Borden, J. M. Optimal Asymmetric Error Detecting Codes / J. M. Borden // Information and Control. - 1982. - Vol. 53, Issue 1-2. - Pp. 66-73. - DOI: 10.1016/S0019-9958(82)91125-1.

177. Bose, B. Systematic Unidirectional Error-Detection Codes / B. Bose, D.J. Lin // IEEE Transaction on Computers. - Vol. C-34, Nov. 1985. - Pp. 1026-1032.

178. Busaba, F. Y. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors / F. Y. Busaba, P. K. Lala // Journal of Electronic Testing: Theory and Applications.

- 1994. - Issue 1. - Pp. 19-28. - DOI: 10.1007/BF00971960.

179. Burkatovskaya, Yu. B. Self-Testing Checker Design for Arbitrary Number of Code Words of (m,n) code / Yu. B. Burkatovskaya, N. B. Butorina, A. Yu. Matrosova // Proceedings of the

10th International Baltic Electronic Conference (BEC2006), Tallinn, Estonia, October 02-04, 2006, pp. 183-186, doi: 10.1109/BEC.2006.311093.

180. Butorina, N. Self-Testing Checker Design for Incomplete m-out-of-n Codes / N. Butorina // Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS'2014), Kyev, Ukraine, September 26-29, 2014, pp. 258-261.

181. Carter, W. Design of Dynamically Checked Computers / W. Carter, P. Schneider // Proceedings of IFIP Congress 68, Edinburgh, Scotland, 1968, pp. 878-883.

182. Carter, W. C. Self-Checking Error Checker for Two-Rail Coded Data / W. C. Carter, K. A. Duke, P. R. Schneider // United States Patent Office, filed July 25, 1968, ser. No. 747533, patented Jan. 26, 1971, N. Y., 10 p.

183. Chaithra, V. Enhanced Stuck at Zero and Stuck at One Fault Identification in NOC Routers / V. Chaithra, H. D. Nataraj Urs // International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering. - 2016. - Vol. 5, Issue 4. - Pp. 2946-2955. - DOI: 10.15662/IJAREEIE.2016.0504147.

184. Chandra, V. A Fail-Safe Interlocking System for Railways / V. Chandra, M. R. Verma // IEEE Design & Test of Computers. - 1991. - Vol. 8, Issue 1. - Pp. 58-66.

185. Chandra, V. Reliability and Safety Analysis of Fault Tolerant and Fail-Safe Node for Use in Railway Signalling System / V. Chandra, K. V. Kumar // Elsevier Journal on Reliability Engineering and system. - 1997. - Vol. 57, issue 2. - Pp. 177-183.

186. Collection of Digital Design Benchmarks [Режим доступа: http://ddd.fit.cvut.cz/prj/B enchm arks/].

187. Combinational Circuits Checking on the Base of Sum Codes with One Weighted Data Bit / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, D. Nikitin // Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS'2014), Kyev, Ukraine, September 26-29, 2014, pp. 126-136, doi: 10.1109/EWDTS.2014.7027064.

188. Concurrent Error Detection Based on New Code with Modulo Weighted Transitions between Information Bits / V. Mehov, V. Saposhnikov, Vl. Sapozhnikov, D. Urganskov // Proceedings of 7th IEEE East-West Design & Test Workshop (EWDTW'2007), Erevan, Armenia, September 2530, 2007, pp. 21-26.

189. Constraint Don't Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes / D. K. Das, S.S. Roy, A. Dmitiriev, A. Morozov, M. Gössel // Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33-40.

190. Das, D. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes / D. Das, N. A. Touba, M. Seuring, M. Gossel // Proceedings of IEEE 6th International On-Line Testing Workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000, pp. 171-176.

191. Das, D. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes / D. Das, N. A. Touba // Journal of Electronic Testing: Theory and Applications. -1999. - Vol. 15. - Issue 1-2. - Pp. 145-155.

192. Das, D. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits / D. Das, N. A. Touba // Proceedings of 17th IEEE Test Symposium, USA, California, 1999, pp. 370-376.

193. Designing FPGA based Self-Testing Checkers for m-out-of-n Codes / A. Matrosova, V. Ostrovsky, I. Levin, K. Nikitin // Proceedings of the 9th IEEE International On-Line Testing Symposium (IOLTS'03), 7-9 July 2003, Kos Island, Greece, pp. 49-53.

194. Design of Self-Checking Unidirectional Combinational Circuits with Low Area Overhead / V.V. Saposhnikov, Vl.V. Saposhnikov, A. Morosov, M. Göessel // Proceedings of IEEE International On-Line Testing Workshop (IOLTW), Biarritz, France, 1996, pp. 56-67.

195. Design of Totally Self-Checking Combinational Circuits by Use of Complementary Circuits / V. V. Saposhnikov, Vl. V. Saposhnikov, A. Morozov, G. Osadtchi, M. Gossel // Proceedings of East-West Design & Test Workshop, Yalta, Ukraine, 2004, pp. 83-87.

196. Dobiäs, R. FPGA Based Design of Railway's Interlocking Equipment / R. Dobiâs, H. Kubâtovâ // Proceedings of EUROMICRO Symposium on Digital System Design, 2004, pp. 467473.

197. Dong, H. Modified Berger Codes for Detection of Unidirectional Errors / H. Dong // IEEE Transaction on Computers. - Vol. C-33, June 1984. - Pp. 572-575.

198. Dutta, A. Synthesis of Non-Intrusive Concurrent Error Detection Using an Even Error Detection Function / A. Dutta, N. A. Touba // International test conference (ITC), 2005, pp. 10591066.

199. Efanov, D. Generic Two-Modulus Sum Codes for Technical Diagnostics of Discrete Systems Problems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016, pp. 256260, doi: 10.1109/EWDTS.2016.7807713.

200. Efanov, D. On One Method of Formation of Optimum Sum Code for Technical Diagnostics Systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016, pp. 158163, doi: 10.1109/EWDTS.2016.7807633.

201. Efanov, D. On Variety of Sum Codes with On-Data Bits and One Weighted Data Bit in Concurrent Error Detection Systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 2nd International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM), 2016.

202. Experimental Results for Self-Dual Multi-Output Combinational Circuits / Vl.V. Saposhnikov, V. Moshanin, V. V. Saposhnikov, M. Goessel // Journal of Electronic Testing: Theory and Applications. - 1999. - Vol. 14, issue 3. - Pp. 295-300.

203. Favalli, M. Optimization of Error Detecting Codes for the Detection of Crosstalk Originated Errors / M. Favalli, C. Metra // Design, Automation and Test in Europe (DATE), March 13-16, 2001, pp. 290-296.

204. Freiman, C. V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels / C. V. Freiman // Information and Control. - 1962. - Vol. 5, issue 1. - Pp. 64-71. - DOI: 10.1016/S0019-9958(62)90223-1.

205. Fujiwara, E. A Self-Testing Group-Parity Prediction Checker and Its Use for Built-in-Testing / E. Fujiwara, N. Muto, K. Matsuoka // IEEE Transaction on Computers. - 1984. - C.33, No. 8. - Pp. 583-588.

206. Fujiwara, E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. - John Wiley & Sons, 2006. - 720 p.

207. Fujiwara, E. Error-Control Coding in Computers / E. Fujiwara, D. K. Pradhan // Computer. - V. 23, July 1990. - Pp. 63-72.

208. Fujiwara, H. Parity-Scan Design to Reduce the Cost of Test of Application / H. Fujiwara, A. Yamamoto // Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design, IEEE Computer Society Washington, DC, USA, 1992, pp. 283-292.

209. Ghosh, S. Scan Chain Fault Identification Using Weight-Based Codes for SoC Circuits / S. Ghosh, K. W. Lai, W. B. Jone, S. C. Chang // Proceedings of 13th Asian Test Symposium, 15-17 November 2004, pp. 210-215.

210. Ghosh, S. Synthesis of Low Power CED Circuits Based on Parity Codes / S. Ghosh, S. Basu, N.A. Touba // Proceedings of 23rd IEEE VLSI Test Symposium (VTS'05), 2005, pp. 315-320.

211. Goessel, M. Error Detection Circuits / M. Goessel, S. Graf. - London: McGraw-Hill, 1994. - 261 p.

212. Gorshe, S. S. A Self-Checking ALU Design with Efficient Codes / S. S. Gorshe, B. Bose // Proceedings of 14th VLSI Test Symposium, Princeton, NJ, USA, 1996, pp. 157-161, doi: 10.1109/VTEST.1996.510851.

213. Gorshe, S. S. Concurrent Error Detection / S.S. Gorshe // Dissertation for the Doctor of Philosophy in Electrical and Computer, April 19, 2002. - 137 p.

214. Halder, S. An Optimized Concurrent Self-Checker using Constraint-Don't Cares and 1-out-of-4 Code / S. Halder, S. S. Roy, S. K. Sen // National Conference (AECDISC-2010) in Asansol Engineering College, held during 1-2 August 2010.

215. Hamming, R W. Error Detecting and Correcting Codes / R. W. Hamming // Bell System Technical Journal, 1950. - 29 (2). - Pp. 147-160. - MR0035935.

216. Huches, J. L. A. Design of Totally Self-Checking Comparators with an Arbitrary Number of Inputs / J. L. A. Huches, E. J. McCluskey, D. J. Lu // IEEE Transactions on Computers. - 1984. - Vol. C-33. - No. 6. - Pp. 546-550.

217. Hurst, S. L. VLSI Testing: Digital and Mixed Analogue/Digital Techniques (Circuits, Devices and Systems Series) 1st Edition // S. L. Hurst. - London: The Institution of Engineering and Technology, 1998, 552 p.

218. Jha, N. K. A t-Unidirectional Errors-Detecting Systematic Code / N. K. Jha, M. B. Vora // Computers & Mathematics with Applications. - 1988. - Vol. 16. - No. 9. - Pp. 705-714. - DOI: 10.1016/0898-1221(88)90006-5.

219. Jha, N. K. A New Class of Symmetric Error Correcting/Unidirectional Error Detecting Codes / N. K. Jha // Computers and Mathematic with Application. - 1990. - Vol. 19. - No. 5. - Pp. 95104. DOI 10.1016/0898-1221(90)90105-S.

220. Jha, N. K. A Systematic Code for Detecting t-Unidirectional Errors / N. K. Jha, M. B. Vora // Proceedings of International Symposium Fault-Tolerant Computing, Pittsburg, PA, June 1987, pp. 96-101.

221. Jha, N. K. Design and Synthesis of Self-Checking VLSI Circuits / N. K. Jha, S. J. Wang // IEEE Transactions on Computer-Aided Design. - 1993. - Issue 6. - Pp. 878887.

222. Jha, N. K. Totally Self-Checking Checker Designs for Bose-Lin, Bose and Blaum Codes / N. K. Jha // IEEE Transaction on Computer-Aided Design. - 1991. - Vol. 10. - Issue 1. -Pp. 136-143. - DOI 10.1109/43.62799.

223. Kavousianos, X. Novel TSC Checkers for Bose-Lin and Bose Codes / X. Kavousianos, D. Nikolos // Proceedings of the 3ed IEEE International On-Line Testing Workshop, July 6-8, 1998, Capry, Italy, pp. 172-176.

224. Kharchenko V. Green IT Engineering: Concepts, Models, Complex Systems Architectures / Eds. V. Karchenko, Yu. Kondratenko, J. Kacprzyk. - Springer Book series "Studies in Systems, Decision and Control". - Vol. 74. - 2017. - 305 p. - DOI 10.1007/978-3-319-44162-7.

225. Kubalik, P. Fault Tolerant System Design Method Based on Self-Checking Circuits / P. Kubalik, P. Fiser, H. Kubâtovâ // Proceeding of 12th International On-Line Testing Symposium 2006 (IOLTS'06), Lake of Como, Italy, pp. 185-186.

226. Kunz, W. Multi-Level Logic Optimization by Implication Analysis / W. Kunz, P. R. Menon // Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD94), San Jose, CA, November, 1994, pp. 6-13.

227. Lala, P. K. Principles of Modern Digital Design / P. K. Lala. - New-Jersey: John Wiley & Sons, 2007. - 436 p.

228. Lala, P. K. Self-Checking and Fault-Tolerant Digital Design / P. K. Lala. - San Francisco: Morgan Kaufmann Publishers, 2001. - 216 p.

229. Lin, D. J. Theory and Design of t-error Correcting and d(d>t)-unidirectional Error Detecting (t-EC d-UED) Codes / D. J. Lin, B. Bose // IEEE Transaction on Computers. - 1988. - Vol. 37, issue 4. - Pp. 433-439. - DOI 10.1109/12.2187.

230. Lo, J.-C. An SFS Berger Check Prediction ALU and Its Application to Self-Checking Processor Designs / J.-C. Lo, S. Thanawastien, T.R.N. Rao, M. Nicolaidis // Computer-Aided Design of Integrated Circuits and Systems. - 1992. - Vol. 11, issue 4. - Pp. 525-540. -DOI: 10.1109/43.125100.

231. Matrosova, A. Yu. Self-Checking Synchronous Sequential Circuit Design for Unidirectional Error / A. Yu. Matrosova, S. A. Ostanin // Proceedings of the IEEE European Test Workshop (ETW'98), 27-29 May 1998, Sitges, Barcelona, Spain.

232. Matrosova, A. Yu. Self-Checking Synchronous FSM Network Design with Low Overhead / A. Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. - 2000. - Vol. 11. - Issue 1. -Pp. 47-58.

233. Matrosova, A. Survivable Self-Checking Sequential Circuits / A. Matrosova, I. Levin, S. Ostanin // Proceedings of 2001 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2001), October 24-26, San Francisco, CA, 2001, pp. 395-402.

234. Matrosova, A. Survivable Discrete Circuits Design / A. Matrosova, V. Andreeva, Yu. Sedov // Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW'02), 10 July 2002, Isle of Bendor, France, pp. 13-17.

235. Marouf, M. A. Design of Self-Checking Checkers for Berger Codes / M. A. Marouf, A. D. Friedman // Proceedings of 8th Annual International Conference on Fault-Tolerant Computing, Toulouse, France, 1978, pp. 179-183.

236. Method for Functional Testing Critical Control Systems / K. Gerasimenko, V. Khahanov, T. B. Amer, A. Pryimak // Proceedings of 13th IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015, pp. 149-153, doi: 10.1109/EWDTS.2015.7493181.

237. McCluskey, E. J. Logic Design Principles: With Emphasis on Testable Semicustom Circuits / E. J. McCluskey. - N.J.: Prentice Hall PTR, 1986. - 549 p.

238. Mourad, S. Testability of Parity Checkers / S. Mourad, E. J. McCluskey // IEEE Transactions on Industrial Electronics. - 1989. - Vol. 36. - Issue 2. - Pp. 254-262. - DOI: 10.1109/41.19077.

239. Metra, C. Compact and High Speed Berger Code Checker / C. Metra, J. C. Lo // Proceedings of 2nd IEEE International On-Line Testing Workshop,Biarritz, Franze, 1996, July 8-10, pp. 144-149.

240. Metra, C. Novel Berger Code Checker / C. Metra, M. Favalli, B. Ricco // Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1995, November

13-15, p. 287.

241. Mitra, S. Diversity Techniques for Concurrent Error Detection / S. Mitra, E. J. McCluskey // International Symposium on Quality Electronic Design, 2001, USA, San Jose, CA, 26-28 March, pp. 249-250.

242. Mitra, S. Diversity Techniques for Concurrent Error Detection / S. Mitra // Dissertation for the Doctor of Philosophy in Electrical and Computer, June 2000. - 60 p.

243. Mitra, S. Which Concurrent Error Detection Scheme to Choose? / S. Mitra, E. J. McCluskey // Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, 03-05 October 2000, pp. 985-994, doi: 10.1109/TEST.2000.894311.

244. Mohanram, K. A Methodology for Automated Insertion of Concurrent Error Detection Hardware in Synthesizable Verilog RTL / K. Mohanram, C. V. Krishna, N. A. Touba // IEEE International Symposium on Circuits and Systems (ISCAS 2002), 26-29 May 2002, vol. 1, pp. 577-580, doi: 10.1109/ISCAS.2002.1009906.

245. Monitoring System of Vibration Impacts on the Structure of Overhead Catenary of High-Speed Railway Lines / D. Efanov, G. Osadtchy, D. Sedykh, D. Pristensky, D. Barch // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October

14-17, 2016, pp. 201-208, doi: 10.1109/EWDTS.2016.7807691.

246. Moshanin, Vl. The Impact of Logic Optimization of Concurrent Error Detection / Vl. Moshanin, V. Ocheretnij, A. Dmitriev // Proceedings of 4th IEEE International On-Line Testing Workshop, Capry, Italy, 1998, pp. 81-84.

247. Navabi, Z. Digital System Test and Testable Design: Using HDL Models and Architectures / Z. Navabi. - Springer Science+Business Media, LLC 2011. - 435 p.

248. Nelson, V. P. Fault-Tolerant Computing: Fundamental Concepts / V. P. Nelson // Journal Computer. - 1990. - Vol. 23, issue 7. - Pp. 19-25.

249. New Methods of Concurrent Checking: Edition 1 / M. Goessel, V. Ocheretny, E. Sogomonyan, D. Marienfeld. - Dordrecht: Springer Science+Business Media B.V., 2008. - 184 p.

250. New Self-Checking Circuits by Use of Berger-codes / A. Morozov, V. V. Saposhnikov, Vl. V. Saposhnikov, M. Goessel // Proceedings of 6th IEEE International On-Line Testing Workshop, Palma De Mallorca, Spain, 3-5 July 2000, pp. 171-176.

251. New Sum Code for Effective Detection of Double Errors in Data Vectors / V. Dmitriev, V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov // Proceedings of 13 th IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015, pp. 154-159, doi: 10.1109/EWDTS.2015.7493123.

252. Nicolaidis, M. On-Line Testing for VLSI - A Compendium of Approaches / M. Nicolaidis, Y. Zorian // Journal of Electronic Testing: Theory and Applications. - 1998. - №12. -Pp. 7-20.

253. Nikolos, D. Invited Paper t-Symmetric and d-Unidirectional (d > t) Error-Detecting Cyclic AN Arithmetic Codes / D. Nikolos // International Journal of Electronics. - 1990. - Vol. 68, Issue 1. - Pp. 1-22. - DOI: 10.1080/00207219008921143.

254. Nikolos, D. Modular TSC Checkers for Bose-Lin and Bose Codes / D. Nikolos, X. Kavousianos // Proceedings of the 17th IEEE VLSI Test Symposium, April 25-29, 1999, Dana Point, USA, pp. 354-360.

255. Nikolos, D. Self-Testing Embedded Two-Rail Checkers / D. Nikolos // Chapter 7 in OnLine Testing for VLSI. 1998. - Pp. 69-79. - DOI 10.1007/978-1-4757-60-69-9_7.

256. Nikolos, D. Systematic t-Error Correcting/All Unidirectional Error Detecting Codes / D. Nikolos, N. Gaitanis, G. Philokyprou // IEEE Transaction on Computers. - 1986. - Vol. C-35, issue 5. - Pp. 394-402. - DOI: 10.1109/TC.1986.1676782.

257. Objects and Methods of On-Line Testing: Main Requirements and Perspectives of Development / A. Drozd, J. Drozd, S. Antoshchuk, V. Nikul, M. Al-Dhabi // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016, pp. 72-76.

258. On the Problem of Selection of Code with Summation for Combinational Circuit Test Organization / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov, A. Blyudov // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS'2013), Rostov-on-Don, Russia, September 27-30, 2013, pp. 261-266, doi: 10.1109/EWDTS.2013.6673133.

259. On the Synthesis of Unidirectional Combinational Circuits Detecting All Single Faults / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, A. Blyudov // Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS'2014), Kyev, Ukraine, September 26-29, 2014, pp. 116-125, doi: 10.1109/EWDTS.2014.7027056.

260. Optimum Sum Codes, that Effectively Detect the Errors of Low Multiplicities / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, V. Dmitriev, M. Cherepanova // RadioElectronics & Informatics. - 2015. - №1. - Pp. 17-22.

261. Overview Study on Fault Modeling and Test Methodology Development for FinFET-Based Memories / G. Tshagharyan, G. Harutyunyan, S. Shoukourian, Y. Zorian // Proceedings of 13 th

IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015, pp. 19-22.

262. Parhami, B. New Class of Unidirectional Error-Detection Codes / B. Parhami // Proceedings of IEEE International Conference on Computer Design: VLSI in Computers and Processors, 14-16 Oct 1991 (ICCD '9), Cambridge, MA, pp. 574-577.

263. Paschalis, A. M. Efficient Modular Design of TSC checkers for m-out-of-n codes / A. M. Paschalis, D. Nikolos, C. Halastics // IEEE Transaction on Computers. - 1988. - Vol. C-37, No. 3. - Pp. 301-309.

264. Path Delay Faults and ENF / A. Matrosova, V. Lipsky, A. Melnikov, V. Singh // Proceedings of 8th IEEE East-West Design & Test Symposium (EWDTS'2010), St. Petersburg, Russia, September 17-20, 2010, pp. 164-167.

265. Petrenko, A. Testing from Partial Deterministic FSM Specifications / A. Petrenko, N. Yevtushenko // IEEE Transactions on Computers. - 2005. - Vol. 54, No. 9. - Pp. 1154-1165. -DOI 10.1109/TC.2005.152.

266. Pierce, D. Efficient Self-Checking Checkers for Berger Codes / D. Pierce, P. K. Lala // Proceedings of 1st IEEE International On-Line Testing Workshop, 1995, pp. 238-242.

267. Piestrak, S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes / S. J. Piestrak. - Wroclaw: Oficyna Wydawnicza Politechniki Wroclavskiej, 1995. - 111 p.

268. Piestrak, S. J. Designing Efficient Codecs for Bus-Invert Berger Code for Fully Asymmetric Communication / S. J. Piestrak, S. Pillement, O. Sentieys // IEEE Transactions on Circuits and Systems II: Express Briefs. - 2010. - Vol. 57, Issue 10. - Pp. 777-781. -DOI: 10.1109/TCSII.2010.2067773.

269. Potin, I. A New Scheme for Off-Line and On-Line Testing with ABC and Berger Encoding / I. Potin, Ch. Dufaza, Ch. Landrault // Proceedings of 4th IEEE International On-Line Testing Workshop, 6-8 July, Capry, Italy, 1998, pp. 71-75.

270. Pradhan, D. K. Fault-Tolerant Computer System Design / D. K. Pradhan. - New York: Prentice Hall, 1996. - 560 p.

271. Properties of Code with Summation for Logical Circuit Test Organization / A. Blyudov, D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 10th IEEE East-West Design & Test Symposium (EWDTS'2012), Kharkov, Ukraine, September 14-17, 2012, pp. 114-117, doi: 10.1109/EWDTS.2013.6673150.

272. Rao, T. R. Error Control Coding for Computer Systems / T. R. Rao, E. Fujiwara. -N.-Y.: Prentice Hall, 1989. - 584 p.

273. Sapozhnikov, V.Modular Sum Code in Building Testable Discrete Systems / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov // Proceedings of 13 th IEEE East-West Design & Test

Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015, pp. 181-187, doi: 10.1109/EWDTS.2015.7493133.

274. Saposhnikov, V. New Code for Fault Detection in Logic Circuits / V. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 4th International Conference on Unconventional Electromechanical and Electrical Systems, St. Petersburg, Russia, June 21-24, 1999, pp. 693-696.

275. Sellers, F. F. Error Detecting Logic for Digital Computers / F. F. Sellers, M.-Y. Hsiao, L.W. Bearnson. - New York: McGraw-Hill, 1968.

276. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs / A. Morosow, V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Goessel // VLSI Design. - 1998. - Vol. 5. - Issue 4. - Pp. 333-345.

277. Self-Dual Duplication for Error Detection / Vl. V. Saposhnikov, V. V. Saposhnikov, A. Dmitriev, M. Goessel // Proceedings of 7th Asian Test Symposium, Singapore, 1998, pp. 296-300.

278. Self-Dual Multi-Output Combinational Circuits with Output Data Compaction / Vl.V. Saposhnikov, V. Moshanin, V.V. Saposhnikov, M. Goessel // Compendium of Papers IEEE European Test Workshop (ETW97), Cagliari, Italy, May 28 - 30, 1997, pp. 107-111.

279. Self-Dual Parity Checking - a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel, V. V. Saposhnikov // Proceedings of 14th IEEE VLSI Test Symposium, USA, Princeton, 1996, pp. 162-168.

280. Sen, S. K. An Optimized Concurrent Self-Checker Using Constraint-Don't Cares and 1-out-of-4 Code / S. K. Sen, S. S. Roy // National Conference (AECDISC-2008) in Asansol Engineering College, held during 1-2 August 2008.

281. Sen, S. K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don't Cares / S. K. Sen, S. S. Roy // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2008), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December 2008.

282. Sen, S. K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don't Cares / S. K. Sen // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010.

283. SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992, 45 p.

284. Sogomonyan, E.S. Self-Testing and Self-Checking Combinational Circuits with Weakly Independent Outputs / E.S. Sogomonyan, M. Gössel // Proceedings of 10th IEEE VLSI Test Symposium, Atlantic City, 1992, pp. 298-303.

285. Stojcev, M. K. VHDL-Based Design of FSM with Concurrent Error Detection Capability / M. K. Stojcev, G. L. Djordjevic, T. R. Stankovic // 2004 24th International Conference on Microelectronics (IEEE Cat. No.04TH8716), 2004, vol. 2, pp. 759-762, doi: 10.1109/ICMEL.2004.1314943.

286. Sum Code Formation with Minimum Total Number of Undetectable Errors in Data Vectors / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov, D. Nikitin // Proceedings of 13th IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015, pp. 141-148. DOI 10.1109/EWDTS.2015.7493112.

287. Tallini, L. Design of Some New Balanced Codes / L. Tallini, R. M. Capocelli, B. Bose // Proceedings of 1993 IEEE International Symposium on Information Theory, 1993, 17-22 January, p. 7, doi: 10.1109/ISIT.1993.748322.

288. Tarnick, S. Design of Embedded Self-Testing Checkers for t-UED and BUED Codes / S. Tarnick // Journal of Electronic Testing (JETTA). - Vol. 20. - Issue 5. - Pp. 465-477. - DOI 10.1023/B:JETT.0000042511.45945.81.

289. Theeg, G. Railway Signalling & Interlocking - International Compendium / G. Theeg, S. Vlasenko. - Eurailpress, 2009. - 448 p.

290. Touba, N. A. Logic Synthesis of Multilevel Circuits with Concurrent Error Detection / N. A. Touba, E. J. McCluskey // IEEE Transaction on Computer-Aided Design of Integrated Circuits and System. - Vol. 16, Jul. 1997. - Pp. 783-789.

291. Tucker, A. B. Computer Science: 2nd edition / A. B. Tucker. - Chapman & Hall/CRC, 2004. - 2752 p.

292. Ubar, R. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source) / R. Ubar, J. Raik, H.-T. Vierhaus. - Information Science Reference, Hershey - New York, IGI Global, 2011. - 578 p.

293. Wakerly, J. F. Digital Design. Principles & Practices / J. F. Wakerly. - Prentice Hall, 1999. - 830 p.

294. Weighted Sum Code Without Carries - is an Optimum Code with Detection of Any Double Errors in Data Vectors / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, V. Dmitriev // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016, pp. 134-141.

295. Wang, L.-T. System-on-Chip Test Architectures: Nanometer Design for Testability / L.-T. Wang, C. E. Stroud, N. A. Touba. - Morgan Kaufmann Publishers, 2008. - 856 p.

296. Yang, S. Logic Synthesis and Optimization Benchmarks: User Guide: Version 3.0 / S. Yang // Microelectronics Center of North Carolina (MCNC), 1991, 88 p.

297. Yildirim, U. Fail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach / U. Yildirim, M. S. Durmu§, M. T. Soylemez // Proceedings of 7th International Symposium on Intelligent and Manufacturing Systems (IMS 2010), Sarajevo, Bosnia Herzegovina, September 15-17, 2010, pp. 461-470.

298. Zakrevskij, A. Combinatorial Algorithms of Discrete Mathematics / A. Zakrevskij, Yu. Pottosin, L. Cheremisinova. - Tallinn: TUT Press, 2008. - 193 p.

299. Zakrevskij, A. Design of Logical Control Devices / A. Zakrevskij, Yu. Pottosin, L. Cheremisinova. - Tallinn: TUT Press, 2009. - 304 p.

300. Zakrevskij, A. Optimization in Boolean Space / A. Zakrevskij, Yu. Pottosin, L. Cheremisinova. - Tallinn: TUT Press, 2009. - 241 p.

301. Zeng, C. Finite State Machine Synthesis With Concurrent Error Detection / C. Zeng, N. Saxena, E. J. McCluskey // International Test Conference, Atlantic City, NJ, 1999, pp. 672-679, doi: 10.1109/TEST.1999.805795.