Электронная библиотека Веда
Цели библиотеки
Скачать бесплатно
Доставка литературы
Доставка диссертаций
Размещение литературы
Контактные данные
Я ищу:
Библиотечный каталог российских и украинских диссертаций

Вы находитесь:
Диссертационные работы России
Технические науки
Системный анализ, управление и обработка информации

Диссертационная работа:

Андреева Валентина Валерьевна. Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости : диссертация ... кандидата технических наук : 05.13.01 / Андреева Валентина Валерьевна; [Место защиты: Том. гос. ун-т].- Томск, 2009.- 129 с.: ил. РГБ ОД, 61 09-5/3327

смотреть введение
Введение к работе:

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

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

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

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

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

Предложена архитектура отказоустойчивых дискретных устройств, способных не только сохранять правильное функционирование в присутст-

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

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

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

Научная новизна:

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

- Предлагается алгоритм построения проверяющего теста, ориентиро
ванный на сокращение длины теста. Тест обнаруживает одиночные неис
правности системы безызбыточных дизъюнктивных нормальных форм. Ме
тод основан на выделении максимально совместимых подмножеств конъ
юнкций, представляющих тестовые наборы, в процессе построения специ
ального дерева разложения. Конъюнкции строятся путем решения соответст
вующих логически уравнений. Разработана модификация алгоритма А.Д.
Закревского, позволяющая представлять корень булевого уравнения конъ
юнкцией по возможности меньшего ранга.

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

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

Практическая значимость работы:

- Алгоритм минимизации систем частичных булевых функций в рам
ках частично монотонных (монотонных) реализаций, основанный на исполь-

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

-Предлагаемый в работе алгоритм построения проверяющего теста для системы безызбыточных ДНФ программно реализован и может быть использован для тестирования логических схем. Проверяющий тест позволяет обнаруживать все кратные константные неисправности на полюсах логических элементов схемы, построенной по системе безызбыточных ДНФ факто-ризационным методом синтеза, сохраняющим систему. Обеспечиваемое алгоритмом сокращение длины теста дает возможность сократить время тестирования и память для хранения тестовых наборов при использовании B1ST (Build in Self Testing) технологий.

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

Основные положения, выдвигаемые на защиту:

Алгоритм минимизации частично монотонных (монотонных) реализаций частичных систем булевых функций.

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

-Архитектура схемы логического управления, устойчивой к кратковременным и перемежающимся неисправностям.

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

«Исследование проблемы синтеза самотестируемых устройств и проблемы повышения качества тестирования», 1999-2000 гг.

НИР «Разработка математических и программных средств обеспечения надежного и безопасного доступа к электронным ресурсам коллективного пользования», 2006-2007 гг.

Основные результаты диссертации внедрены в учебный процесс ТГУ.

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

Результаты работы представлялись на следующих научных конференциях:

  1. The 8th IEEE International On-Line Testing Workshop (Bendor, France, 2002).

  2. The 8-th Biennial Baltic Electronic Conference (Tallinn, Estonia, 2002).

  1. 2-ая Сибирская научная школа-семинар с международным участием «Проблемы компьютерной безопасности и криптографии» (Томск, Россия, 2003).

  2. The 6th International Workshop on Boolean Problems (Freiberg, Germany, 2004).

  3. 5-ая Всероссийская конференция с международным участием «Новые информационные технологии в исследовании сложных структур» (Томск, Россия, 2004).

  1. 4-ая / 6-ая Сибирская научная школа-семинар с международным участием «Компьютерная безопасность и криптография» (Шушенское, Россия, 2006 / Горно-Алтайск, 2007).

  2. 5-ая Международная конференция студентов и молодых ученых «Перспективы развития фундаментальных наук» (Томск, Россия, 2008)

8. The 7-th East-West Design & Test international Symposium (Львов, Ук
раина, 2008).

Результаты диссертации опубликованы в 14 научных работах, одна из которых из перечня изданий, рекомендованных ВАК РФ.

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


© Научная электронная библиотека «Веда», 2003-2013.
info@lib.ua-ru.net