Повышение отказоустойчивости конфигурируемых блоков программируемых логических интегральных схем на основе функционально полных толерантных элементов
Диссертация
Актуальность работы. Для информационно-телекоммуникационных систем, перспективных вооружений, военной техники, космических систем критическими технологиями являются технологии создания электронной компонентной базы. В настоящее время одним из динамично развивающихся направлений цифровой схемотехники являются программируемые логические интегральные схемы — ПЛИС. Одним из широко используемых… Читать ещё >
Список литературы
- Угрюмов Е.П. Цифровая схемотехника: учебное пособие для вузов / Е. П. Угрюмов. 2-е изд., перераб. и доп. СПб.: БХВ-Петербург, 2007. — 800 с. Рынок ПЛИС и ПЛМ развивается динамичнее всех. Электронный ресурс. -URL: http://wwwlO.edacafe.com.
- ПЛИС Actel основа при реализации «SoC» бортовой аппаратуры. Электронный ресурс. — URL: http://www.iclothes.ru/State3.html.
- Actel FAQ Электронный ресурс. URL: http://www.actel.ru/publics/54-actelfaq.html.
- Хаханов В.И. Инфраструктура диагностического обслуживания SoC. Вестник Томского университета 2008, № 4(5) Электронный ресурс. -URL: http://sun.tsu.ru/mminfo/63 105/inf/05/image/05−074.pdf.
- Парфентий А.Н., Хаханов В. И., Литвинова Е. И. Модели инфраструктуры сервисного обслуживания цифровых систем на кристаллах // АСУ и приборы автоматики. 2007. Вып. 138. С. 83 99.
- Каршенбойм И. JTAG-тестирование (часть 1) //Современная электроника. 2007. № 2, с. 12−15.
- Yervant Z. Gest editors' introduction: Design for Yield and reliability / Z. Yervant, G. Dmytris // IEEE Design & Test of Computers. May-June 2004. -Pp. 177−182.
- Results of the SER Test of Actel, Xilinx and Altera FPGA instances Электронный ресурс. URL: http://www.actel.com/documents/ RadResultsIRO Creport.pdf.
- Уваров С.С. Проектирование реконфигурируемых отказоустойчивых систем на ПЛИС с резервированием на уровне ячеек // Автоматика и телемеханика.2007. № 9. С. 176−189.
- Телец В., Цыбин С., Быстрицкий А., Подъяпольский С. ПЛИС для космических применений. Архитектурные и схемотехническиеособенности Электронный ресурс. URL: http://www.electronics.ru/ issue/2005/6/9.
- Словарь научно-технических терминов. Электронный ресурс. URL: http ://alldict.m/index.php?action=find&sicN 1 &searchtext=stuck.
- Chess Brian, Larrabee Tracy. Generating Test Patterns for Bridge Faults in CMOS ICs. Santa Cruz: Department of Computer Engineering, University of California 1994.
- Computation error tolerance in motion estimation algorithms. Hye-Yeon Cheong, In Suk Chong and Antonio Ortega. Электронный ресурс. URL: http:^iron.usc.edu/~ichong/ICIP06final.pdf.
- Nanometer test quarterly, June 2004. Электронный ресурс. URL: http://www.cadence.com/newsletters/nanometertest/nanometertest0504 newsletter.pdf.
- Шерстнёв A.E. Применение программируемых логических интегральных схем для решения задачи автоматической генерации тестовых кодов/ Электронный ресурс. URL: http://www.mcst.ru/doc/Thesis091203/ SherstnevAEVPVS01-FRTK.pdf.
- Ефимов И.Е., Козырь И. Я. Основы микроэлектроники. Учебник для вузов. -М.: Лань, 2008. 364 с.
- Микроэлектроника: Учеб. пособие для втузов. В 9 кн. / Под ред. Л.А. Коле-дова / Кн. 5 И. Я. Козырь. Качество и надёжность интегральных микросхем. М.: Высш. шк., 1987. — 144 е.: ил.
- Соколов И.А., Степченков Ю. А., Петрухин B.C., Дьяченко Ю. Г., Захаров В. Н. Самосинхронная схемотехника перспективный путь реализации аппаратуры. — Наукоемкие технологии 5−6, 2007, т. 8. С. 61−72.
- Электронный ресурс. URL: http://en.academic.rU/dic.nsf/enwiki/l 159 224.
- Электронный справочник «Надежность электрорадиоизделий». Решение правительства РФ № 980−66 от 16.12.92 г. Электронный ресурс. URL: http://www.kodges.ru/83 340-nadezhnost-yelektroradioizdelij-spravochnik.html.
- Michael L. Bushnell, Vishwani D. Agrawal Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits. Kluwer Academic Publishers. 2000. 690 c.
- ГОСТ 27.002−89 Надежность в технике Основные понятия. Термины и определения. М.: Издательство стандартов. 1990. — 42 с.
- Надежность и эффективность в технике. Справочник в Ют. / Ред. совет: B.C. Авдуевский (пред.) и др. Т. 1. Методология. Организация. Терминология/ Под ред. А. И. Рембезы. М.: Машиностроение, 1989. -224 с.
- Надежность и эффективность в технике. Справочник в 10 т. /Ред. совет: B.C. Авдуевский (пред.) и др. Т. 2. Математические методы в теории надежности и эффективности / Под ред. Б. В. Гнеденко. М.: Машиностроение, 1987. — 280 с.
- Питерсон У., Коды, исправляющие ошибки. Пер. с англ. М., 1964. — 340 с.
- J. Von Neumann. Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies, C. Shannon and J. McCarthy (eds). Princeton University Press, 1956, pp. 43−98.
- Avizienis A. Fault-Tolerance: The survival attribute of digital system / A. Avizienis//Proc. of the IEEE. 1978.-Vol. 66, № 10.-Pp. 1109−1125.
- Avizienis A., Laprie J.-C. Dependable Computing: From Concepts to Application // IEEE Trans, on Computers. 1986. — № 74 (5). — Pp. 629−638.
- Avizienis A. Basic Concepts and Taxonomy of Dependable and Secure Computing / Avizienis A., Laprie J.-C., Randell В., Landwehr C. // IEEE Transactions on Dependable and Secure Computing, vol. 1, № 1, 2004. -Pp. 11−33.
- Харченко B.C. Гарантоздатш системи та багатоверсшш обчислення: аспекти еволющУ /Харченко B.C. //Радюелектронш i комп’ютерш системи. 2009. № 7,-С. 46−59.
- Харченко B.C. Научно-методические результаты в области развития гарантоспособных систем /Харченко B.C. //Радюелектронш та комп’ютерш системи, 2009. № 4. — С. 24−33.
- Бородин В.А. и др. Отказоустойчивые вычислительные системы. МО СССР, 1990.-С. 55.
- Айзенберг Я.Е., Ястребенецкий М. А. Сопоставление принципов обеспечения безопасности систем управления ракето-носителями и атомными электростанциями // Косм1чна наука та технолопя, 2002, № 1. -С. 55−60.
- Исследование нетрадиционных подходов к созданию компьютеров гарантированно высокой надежности /Филин A.B., Степченков Ю. А., Петрухин B.C., Гринфельд Ф. И. //Вып.5 /РАН. Ин-т пробл.информатики. -М., 1993. С.181−196.
- Muller D.E., Bartky W.C. A theory of asynchronous circuits // Proc. Int. Symp. on the Theory of Switching, Part 1. Harvard: Harvard University Press, 1959. Pp. 204−243.
- Апериодические автоматы: Под редакцией Варшавского В. И. М.: Наука, 1976.-С.304.
- Степченков Ю.А., Денисов А. Н., Дьяченко Ю. Г., Гринфельд Ф. И., Фили-моненко О.П. Библиотека самосинхронных элементов для проектирования полузаказных микросхем серий 5503 и 5507. М.: ИПИ РАН, 2008, 238 с. ISBN 978−5-902 003−52−2.
- Плеханов Л.П. Синтез комбинационных самосинхронных электронных схем // Системы и средства информатики. Вып 14. М.: Наука, 2004. -С. 292−304.
- Плеханов Л.П. Базовые элементы самосинхронных схем КМДП-тех-нологии // Системы и средства информатики. Вып 11. М.: Наука, 2001. -С. 316−320.
- Каравай М.Ф. Инвариантно-групповой подход к исследованию к-отказо-устойчивых структур // Автоматика и телемеханика. 2000. № 1. С. 144 156.
- Харитонов В.А. Основы теории живучести функционально избыточных систем. Препринт № 170. РАН. Санкт-Петербург, 1993. — С.60.
- Твердохлебов В.А. Геометрические образы поведения дискретных детерминированных систем. /Журнал «Радю-електронш i комп’ютерш системи» / Харюв. № 5. 2006. С. 161−165.
- Ткаченко A.B. Отказоустойчивые структуры в корректирующих счислениях // Автоматика и телемеханика, 1993. № 1. — С.154−166.
- Ткаченко A.B. Представление, коррекция и обработка избыточных счислений // Автоматика и телемеханика, 1991. № 12. — С.138−148.
- Пархоменко П.П. Основы технической диагностики / П. П. Пархоменко, Е.С. Согомонян/- М.: Энергоиздат, 1981. 321 с.
- Надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем: учеб. пособие / E.JI. Кон, М. М. Кулагина. -Пермь: Перм. гос. техн. ун-т, 2011. 10 с.
- Тюрин С. Ф. Функционально полные толерантные булевы функции / С. Ф. Тюрин // Наука и технология в России. 1998. — № 4. — С. 7−10.
- Тюрин С. Ф. Синтез адаптируемой к отказам цифровой аппаратуры с резервированием базисных функций / С. Ф. Тюрин // Приборостроение. -1999. № 1. С. 36−39.
- Тюрин С. Ф. Адаптация к отказам одновыходных схем на генераторах функций с функционально полными толерантными элементами / С. Ф. Тюрин // Приборостроение. 1999. — № 7. С. 32−34.
- Тюрин С. Ф. Проблема сохранения функциональной полноты булевых функций при «отказах» аргументов / С. Ф. Тюрин // Автоматика и телемеханика. 1999. -№ 9. С. 176−186.
- Пат. 2 146 840 Российская Федерация. Программируемое логическое устройство Текст. / Тюрин С. Ф., Несмелов В. А., Харитонов В. А. и др. Опубл. БИ № 8. 2000 г.
- Тюрин С.Ф., Харченко B.C., Тимонькин Г. Н., Мельников В. А. Программно-аппаратная реализация логических алгоритмов в микропроцессорных системах //Зарубежная радиоэлектроника. 1992, № 2. -С.24−36.
- Тюрин С.Ф., Тимонькин Г. Н., Харченко B.C. Методы аппаратной поддержки логических алгоритмов в микропроцессорных системах // Управляющие системы и машины. 1993, № 1. — С.55−63.
- Основи надшност1 цифрових систем. Пщручник/ За ред. Харченка B.C., Жихарева В. Я. Харюв: Мшютерство осв1ти та науки, 2004. — 572 с.
- Дементьев В.А., Крылов J1.H., Осипов В. П., Павлов Г. А., Прокошев JI.A. Теория и синтез дискретных автоматов. МО СССР, 1979. — С. 379.
- Евреинов Э.В., Косарев Ю. Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, Сибирское отделение, 1966. — 308 с.
- Евреинов Э.В., Прангишвили И. В. Цифровые автоматы с настраиваемой структурой. М.: Энергия, 1976. — 240 с.
- Пупырев Е.П. Перестраиваемые автоматы и микропроцессорные системы. -М.: Наука, 1984.-С. 191.
- Нейрокомпьютеры с программируемой архитектурой / Каляев А. В., Бокач В. И. // Многопроцессорные вычислительные структуры. 1990. -№ 12.-С. 4−9.
- Согомонян Е.С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1984. — 206 с.
- Тюрин С.Ф., Харченко B.C. Автоматно-базисный подход к созданию естественно надежных и безопасных систем // Системи обробки шформаци, випуск 9(90), 2010, с. 115−119.
- Греков A.B., Тюрин С. Ф., Ольт Г. О. Алгоритм поиска работоспособных элементов в отказоустойчивых цифровых схемах // Научно-технический журнал «Радиоэлектронные и компьютерные системы». Харьков: «ХАИ», 2009, № 6(40), с. 46−49.
- Греков A.B., Тюрин С. Ф., Ольт Г. О. Поиск работоспособных подмножеств элементов в отказоустойчивых цифровых схемах. Системы мониторинга и управления. Сборник научных трудов. Пермь: Пермский государственный технический университет, 2009, с. 102−107.
- Греков A.B., Тюрин С. Ф., Дудин Я. В. Анализ вариантов реализации функционально полного толерантного элемента. Системы мониторинга и управления. Сборник научных трудов. Пермь: Пермский государственный технический университет, 2010, с. 108−118.
- Тюрин С.Ф., Громов O.A., Греков A.B. Функционально полный толерантный элемент ФПТ+ // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. № 1(115), 2011.-С. 24−31.
- Тюрин С.Ф., Греков A.B., Громов O.A. Определение функционально полных толерантных булевых функций четырёх аргументов с учётом модели замыканий переменных // Доклады Академии военных наук. № 5 (49), 2011. Саратов: 2011.-С. 35−44.