Методы анализа и испытаний логических устройств для обнаружения неисправностей типа «временная задержка» в системах железнодорожной автоматики
Диссертация
В последние годы на железнодорожном транспорте России происходит масштабное перевооружение хозяйства СЦБ современными системами и устройствами автоматики и телемеханики. Руководством ОАО «РЖД» и департамента СЦБ поставлена задача широкого внедрения на сети дорог микропроцессорных и компьютерных систем управления и контроля за движением поездов. Такого рода устройства позволят повысить пропускную… Читать ещё >
Список литературы
- : Направления развития полупроводниковых технологий. Алан А., Эденфелд Д., Джойнер У., Канг Э., Роджерс М., Зориан Й. // Открытые системы, № 4,2002. С. 16 26.
- Армстронг Дж. Р. Моделирование цифровых систем на языке VHDL: Пер. с англ. / М.: Мир, 1992.- 175 с.
- Борисенко JI. И. Исследование возможности применения интегральных микросхем в устройствах железнодорожной автоматики и телемеханики. / Дисс. на соискание ученой степени канд. техн. наук. Л.: 1975.
- Бубенников А. Н., Бубенников А. А. Тенденции развития конкурентоспособных кремниевых КМОП-, биполярных и БИКМОП-СБИС ч.1 // Зарубежная радиоэлектроника, 1993, № 1, С. 3−18.
- Бубенников А. Н., Бубенников А. А. Тенденции развития конкурентоспособных кремниевых КМОП-, биполярных и БИКМОП-СБИС ч.2 // Зарубежная радиоэлектроника, 1994, № 2, С. 7−33.
- Бубенников А. Н., Бубенников А. А. Технологические проблемы создания субмикронных нейрочипов и нейросистем на пластинах // Инженерное образование, № 10, 2004, С.
- Бубенников А. Н., Бубенников А. А., Соловьев А. А. Основы и особенности гибких ультрачистых производств субмикронных УБИС с индивидуальной обработкой пластин // Зарубежная радиоэлектроника, 1996, № 6. С. 43−55.
- Василенко М. Н., Культин В. Б., Расстегаев С. Н. Электронное моделирование при помощи пакета программ Electronics Workbench: Учебное пособие СПб.: ПГУПС, 2003. — 50 с.
- Василенко М. Н., Культин В. Б., Соколов М. Б. Анализ переходных процессов в электромагнитном реле // Вестник Петербургского государственного университета путей сообщения. СПб.: ПГУПС МПС России, 2004. -Вып. 2, с. 110−113.
- Василенко М. Н., Прокофьев А. А., Сапожников В. В., Сапожников Вл. В. Алгоритм построения эквивалентной нормальной формы. Автоматика и телемеханика, 1976. № 10. с. 168−173.
- Гавзов Д. В. Методика определения норм надежности микропроцессорных систем автоматики и телемеханики // Микропроцессорные системы на железнодорожном транспорте. Сб. науч. тр. ЛИИЖТ. Л., 1991, с. 15−19.
- Гольдман Р. С., Чипулис В. П. Техническая диагностика цифровых устройств. М.: Энергия, 1976. 224 с.
- ГОСТ 18 683.0−83. Микросхемы интегральные цифровые. Общие требования при измерении электрических параметров.
- ГОСТ 18 683.1−83. Микросхемы интегральные цифровые. Методы измерения статических электрических параметров.
- ГОСТ 18 683.2−83. Микросхемы интегральные цифровые. Методы измерения динамических электрических параметров.
- ГОСТ 19 480–89. Микросхемы интегральные. Термины, определения и буквенные обозначения электрических параметров.
- ГОСТ 28 198–89. Основные методы испытаний на воздействие внешних факторов. Часть 1. Общие положения и руководство.
- ГОСТ Р 50 656−2001. Совместимость технических средств электромагнитная. Технические средства железнодорожной автоматики и телемеханики. Требования и методы испытаний.
- ГОСТ Р 51 317.2.5−2000. Совместимость технических средств электромагнитная. Электромагнитная обстановка. Классификация электромагнитных помех в местах размещения технических средств.
- ГОСТ Р 51 317.4.1−2000. Совместимость технических средств электромагнитная. Испытания на помехоустойчивость. Виды испытаний.
- Дрейман О. К. Помехоустойчивость методов передачи информации в телемеханических устройствах электрической централизации. Автореф. дисс. на соискание ученой степени канд. техн. наук. JL: ЛИИЖТ, 1970. 24 с.
- Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.-512 с.
- Инструкция по движению поездов и маневровой работе на железных дорогах Российской Федерации (ЦЩ206). М.: РСО «Техинформ», 1999. — 279 с.
- Инструкция по сигнализации на железных дорогах Российской Федерации (ЦРБ/757). М.: ЦВНТТ «Транспорт», 2000. — 128 с.
- Кононов В. А., Лыков А. А., Никитин А. Б. Основы проектирования электрической централизации промежуточных станций: Учеб. пособие для вузов ж.-д. трансп. / Под ред. В. А. Кононова М.: УМК МПС России, 2002 -316с.
- Кононов В. А. Минимизация логических функций модифицированным методом Квайна Мак-Класки: методические указания. — СПб.: ПИИТ, 1992, Юс.
- Королев А. И. К вопросу оценки надежности систем, обеспечивающих безопасность движения поездов. Труды ЛИИЖТа, «Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов», вып. 312, 1970, С. 223−231.
- Королев А. И. Методика выбора критериев надежности элементов систем железнодорожной автоматики и телемеханики. Труды ЛИИЖТа, «Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов», вып. 312, 1970, С. 232−255.
- Костроминов А. М. Защита устройств железнодорожной автоматики и телемеханики от помех. 2-е изд., стереотип. — М.: Транспорт, 1997. — 192 с.
- Кристовский Г. В., Погребной Ю. Л. Методика разработки КМОП БИС с малыми логическими перепадами // Зарубежная радиоэлектроника. Успехи современной радиоэлектроники, № 7, 2002. С. 25 35.
- Лопуха А. Л. Схемы включения исполнительных элементов в электронной централизации. Труды ЛИИЖТа, «Новые элементы и системы железнодорожной автоматики и телемеханики», вып. 367, 1973, С. 89−94.
- Лыков А. А. О вычислении тестов для временных задержек // Разработка и эксплуатация новых устройств и систем железнодорожной автоматики и телемеханики / Сборник научных докладов. Под ред. проф. Вл. В. Сапож-никова, ПГУПС, 2004. -с. 14−16.
- Методы построения безопасных микроэлектронных систем железнодорожной автоматики / В. В. Сапожников, Вл. В. Сапожников, X. А. Христов, Д. В. Гавзов- Под ред. Вл. В. Сапожникова. М.: Транспорт. 1995.-272 с.
- Моньяков Н. В. Об оценке надежности устройств железнодорожной автоматики и телемеханики. Труды ЛИИЖТа, «Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов», вып. 314, 1970, С. 13−19.
- Нормы технологического проектирования устройств автоматики и телемеханики на федеральном железнодорожном транспорте (НТП СЦБ/МПС-99). СПб: ГУП Гипротранссигналсвязь, 1999. 76 с.
- Овчаренко М. В. Самопроверяемые дискретные устройства железнодорожной автоматики и телемеханики. Синтез, моделирование, применение. / Дисс. на соискание ученой степени канд. техн. наук. Л.: 1990.
- Основы технической диагностики. В 2-х книгах. Кн. I. Модели объектов, методы и алгоритмы диагноза. / В. В. Карибский, П. П. Пархоменко, Е. С. Согомонян, В. Ф. Халчев- Под ред. П. П. Пархоменко. М.: Энергия, 1976. 464 с.
- ОСТ 32.146−2000. Аппаратура железнодорожной автоматики, телемеханики и связи. Общие технические условия. М.: ВНИИАС МПС России, 2000, 162 с.
- ОСТ 32.17−92. Основные понятия. Термины и определения. СПб.: ПИИТ, 1992.-33 с.
- Патридж Дж., Хэнли Л., Холл Е. Надежность интегральных схем, применяемых в системах. / Микроэлектроника и большие системы. М.: Мир, 1967, С. 91−118.
- Переборов А. С., Дрейман О. К. О применении струйных элементов в устройствах железнодорожной автоматики. Труды ЛИИЖТа, вып. 256, 1967, С. 24−29.
- Переборов А. С., Сапожников В. В., Культин В. Б. Применение тиристоров в бесконтактном маршрутном наборе. Труды ЛИИЖТа, «Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов», вып. 314, 1970, С. 3−13.
- Полупроводниковые приборы: Диоды, тиристоры, оптоэлектронные приборы. Справочник / А. В. Баюков, А. Б. Гитцевич, А. А. Зайцев и др.- Под общ. ред. Н. Н. Горюнова. М.: Энергоиздат, 1982. — 744 с.
- Правила технической эксплуатации железных дорог Российской Федерации (ЦРБ/756). М.: РСО «Техинформ», 2000. — 192 с.
- РД 32 ЦШ 115 842.01−93. Безопасность железнодорожной автоматики и телемеханики. Методы испытаний на безопасность. СПб.: ПГУПС, 1993, 9 с.
- РД 32 ЦШ 115 842.05−95. Безопасность железнодорожной автоматики и телемеханики. Общие требования к программам и методикам испытаний на электромагнитную совместимость в отношении показателей безопасности. СПб.: ПГУПС, 1995, 14 с.
- Сапожников В. В. Об отношениях между неисправностями в комбинационных логических схемах // Автоматика и телемеханика, 1978. № I.e. 167 171.
- Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Теория дискретных устройств железнодорожной автоматики, телемеханики и связи: учеб. для вузов ж. д. трансп./ Под ред. В. В. Сапожникова, 2-е изд., перераб. и доп. -М.: УМК МПС России, 2001.-312 с.
- Сапожников В. В., Сапожников Вл. В, Шаманов В. И. Надежность систем железнодорожной автоматики, телемеханики и связи: Учебное пособие для вузов ж. д. трансп./ Под ред. Вл. В. Сапожникова. М.: Маршрут, 2003. -263 с.
- Сапожников В. В., Сапожников Вл. В. Основы технической диагностики: Учебное пособие для студентов вузов ж. д. транспорта. М.: Маршрут, 2004. -318с.
- Сапожников В. В., Сапожников Вл. В. Самопроверяемые дискретные устройства. СПб: Энергоатомиздат, Санкт-Петербургское отд-ние, 1992. 224 с.
- Сапожников В. В., Сапожников Вл. В., Лыков А. А. Теоремы анализа для обнаружения неисправностей типа «временная задержка» // Электронное моделирование / Международный научно-теоретический журнал № 3, Киев, том 26, 2004. -с. 83−93.
- Сапожников В. В., Сапожников Вл. В., Шумаков В. М. О контроле контактных схем. Автоматика и телемеханика, 1978. № 1. с. 175−182.
- Сапожников Вл. В. Разработка методов технической диагностики и методов синтеза контролепригодных дискретных систем железнодорожной автоматики и телемеханики. Дисс. на соискание ученой степени докт. техн. наук. Л.: 1983.
- Сапожников Вл. В. Контроль линейных комбинационных схем. Кибернетика, 1979, № 3, с.44−47.
- Сертификация и доказательство безопасности систем железнодорожной автоматики / В. В. Сапожников, Вл. В. Сапожников, В. И. Талалаев и др.- Под ред. Вл. В. Сапожникова. М.: Транспорт, 1997. — 288 с.
- Сороко В. И. Реле железнодорожной автоматики и телемеханики. М.: НПФ «ПЛАНЕТА», 2002 — 696 с.
- Терентьев А. С. Анализ работы схем маршрутного накопителя на элементах струйной техники. Труды ЛИИЖТа, «Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов», вып. 314, 1970, С. 125−134.
- Тестовое диагностирование логических структур / В. А. Пелипейко, И. А. Анучин, В. К. Жуляков, В. О. Плокс, Я. П. Круминь- Под ред. В. А. Пелипейко Рига: Зинатне, 1986. — 262 с.
- Техническая эксплуатация устройств и систем железнодорожной автоматики и телемеханики: Учеб. пособие для вузов ж.-д. трансп. / Вл. В. Сапожников, Л. И. Борисенко, А. А. Прокофьев, А. И. Каменев- Под ред. Вл. В. Сапожникова. М.: Маршрут, 2003. — 336 с.
- Транзисторы для аппаратуры широкого применения. Справочник / Под. ред. Б. JI. Перельмана. М.: Радио и связь, 1981. — 656 с.
- Указания по применению светофорной сигнализации на железных дорогах (РУ-30−80). СПб: ГУП Гипротранссигналсвязь, 1981.
- Указания по применению светофорной сигнализации на железных дорогах (Дополнения к РУ-30−80). СПб: ГУП Гипротранссигналсвязь, 1994.
- Шацев Н. 3., Федотов А. Е. Особенности расчета надежности систем железнодорожной автоматики и телемеханики. Труды ЛИИЖТа, «Новые элементы и системы железнодорожной автоматики и телемеханики», вып. 391, 1976, С. 17−23.
- Электронные устройства железнодорожной автоматики, телемеханики и связи: Учебник для вузов ж.-д. трансп. / И. Е. Дмитренко, В. В. Дубровский, Н. В. Лаврентьев, А. В. Шилейко- Под ред. А. В. Шилейко. М.: Транспорт, 1989. 327 с.
- Элемент памяти на периодических наноразмерных Si/CaF2 структурах Бе-рашевич Ю. А., Королев А. В., Данилюк А. Л., Борисенко В. Е. ЖТФ, 2003, том 73, выпуск 1 С. 67.
- Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и классы Поста. М.: Наука, 1966. 120 с.
- A 4-GHz 300-mW 64-bit Integer Execution ALU With Dual Supply Voltages in 90-nm CMOS. Mathew S. K., Anders M. A., Bloechel В., Nguyen Т., Krishna-murthy R. K., Borkar S. // IEEE Journal of Solid-State Circuits, Vol. 40, № 1, 2005, P. 44−51.
- A 64-bit Microprocessor in 130-nm and 90-nm Technologies With Power Management Features. Rohrer N. J., Lichtenau C., Sandon P. A., Kartschoke P.,
- Cohen E., Canada M. G., Pfluger Т., Ringler M. I., Hilgendorf R. В., Geissler S., Zimmerman J. S. // IEEE Journal of Solid-State Circuits, Vol. 40, № 1, 2005, P. 19−27.
- A multiconductor transmission line methodology for global on-chip interconnect modeling and analysis. Elfadel I. M., Deutsch A., Smith H. H., Rubin, B. J., Kopcsay G. V. // IEEE Transactions on Advanced Packaging, Vol. 27, № 1, 2004, P. 71−78.
- Armstrong D. B. On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets // IEEE Transactions Electronic Computers, 1966, vol. EC-15, № l.-P. 66−73.
- Bellos M., Kalligeros E., Nikolos D., Vergos H. T. On-Line Path Delay Faults of Omega MINs // 5th IEEE International On-Line Testing Workshop. Rhodes, Greece. July 5−7, 1999 P. 133−137.
- Betancourt R. Derivation of minimum test sets for unite logical circuits // IEEE Trans, on Comput., 1971, vol. C-20, № 11, P. 1264−1269.
- Crepaux-Motte S., Jacomino M., David R. An Algebraic Method for Delay Fault Testing // Proc. 14th IEEE VLSI Test Symposium. USA. Princeton. 1996. P. 308 -315.
- Devadas S., Keutzer K. Validatable Nonrobust Delay-Fault Testable Circuits Via Logic Synthesis // IEEE Trans, on CAD, Vol. 12, December 1992. P. 15 591 573.
- Dufaza С., Bessiere S., Lambelin N. Digital Oscillation BIST: Test of Path Delay Fault with a Unique Clock Period // 5th IEEE International On-Line Testing Workshop, Rhodes, Greece, July 1999. P. 128−132.
- Girard P., Landrault C., Moreda V., Pravossoudovitch S., Virazel A. A BIST Structure to Test Delay Faults in a Scan Environment // Seventh Asian Test Symposium (ATS-98). Singapore, December 2−4 1998. P 435−439.
- Glover С. Т., Mercer M. R. A Deterministic Approach to Adjacency Testing for Delay Faults//Proc. of26thDAC. 1989. P. 351−356.
- Hofstee H. Future microprocessors and off-chip SOP interconnect. P. // IEEE Transactions on Advanced Packaging, Vol. 27, № 2, 2004, P. 301 303.
- Hsu Y-Ch., Gupta S. K. A New Path-Oriented Effect-Cause Metodology to Diagnose Delay Failures // Proc. International Test Conference. Washington, D. C. USA. October 18−23, 1998. P. 758−767.
- Keim M., Polian I., Hengster H., Becker B. A Scalable BIST Arcitecture for Delay Faults // IEEE European Test Workshop, Constance, Germany. May, 1999.
- Kim H., Hayes J. P. Delay Fault Testing of IP-Based Design Via Symbolic Path Modeling // Proc. International Test Conference. Atlantic City. USA. 1999. P. 1045−1054.
- Kim H., Hayes J. P. On-Line Delay Testing of IP-Based Systems Via Selectively Transparent Scan // 5th IEEE International On-Line Testing Workshop. Rhodes, Greece. July 5−7, 1999 P. 138−142.
- Li Zh., Min Y. A New Low-cost Method for Identifying Untestable Path Delay Faults // Seventh Asian Test Symposium (ATS-98). Singapore, December 2−4 1998. P. 76−81.
- Majumder S., Agrawal V. D., Bushnel M. L. On Delay-Untestable Paths and Stuck-Fault Redundancy // 16th IEEE VLSI Test Symposium, Monterey, California, April 1998. P. 194−199.
- Natarajan S., Gupta S. K., Breuer M. A. Switch-level Delay Test // Proc. International Test Conference. Atlantic City, USA, 1999. P. 171−180.
- Parodi C. G., Agrawal V. D., Bushnell M. L., Wu S. A Non-Enumerative Path Delay Fault Simulator for Sequential Circuits // Proc. International Test Conference, Washington, D. C., USA. October, 1998. P. 934−943.
- Pomeranz I., Reddy S. M. A Flexible Path Selection Procedure for Path Delay Fault Testing // Proc. 17th IEEE VLSI Test Symposium, Dana Point, California, April 1999. P. 152−159.
- Pramanick A. K., Reddy S. M. On the Design of Path Delay Fault Testable Combinational Circuits // Proc. 20th Fault Tolerant Computing Symp., June 1990. P. 374−381.
- Savir J. Developments in Delay Testing // Proc. IEEE VLSI Symposium «Design, Test and Application: ASICs and Systems-on-a-Chip», USA. 1992. P. 247 -253.
- Sparmann U., Reddy S. M. Universal Delay Test Sets for Unate Gate Networks // 7. Workshop. Testmethoden und Zuverlassigkeit von Schaltungen und Syste-men. Hannover, 1995. P. 1−4.
- Asian Test Symposium (ATS-98) Singapore, December 2−4 1998. P. 108 -112.
- Tani S., Teramoto F., Fukazawa Т., Matsuhiro K. Efficient Path Selection for Delay Testing Based on Paths Clustering // Journal of Electronic Testing Vol. 15, No Уг August/October 1999. P. 75−85.
- Zorian Y. Testing the Monster Chip. // IEEE Spectrum, July 1999, P. 54 60.
- Этапы трансформирования МО по алгоритму 3.1