Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА)

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

Развитие субмикронных технологий, широкое применение сигнальных процессоров, микроконтроллеров и программируемых интегральных схем с числом выходов, которое достигает 1000 на одну микросхему, которые функционируют на тактовой частоте 1÷5 ГГц, приводит к значительному увеличению стоимости диагностирующего оборудования на всех этапах жизни управляющих систем. Существующие системы диагностического обеспечения дискретных устройств и систем на одном кристалле, подсистемы генерации тестов и моделирования неисправностей в большинстве случаев ориентированы на выявление класса неисправностей константного типа, что неадекватно отображает множество дефектов в субмикронной технологии.

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

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

• Основные определения и понятия
• Основные свойства классической модели клеточных автоматов
• Двумерный клеточный автомат
• Моделирование физических процессов
• Игра "Жизнь"
• Программная реализация КА на IBM PC
• Машина клеточных автоматов CAM-8
• Анализ подходов встроенного самотестирования однородных Сетей
• Установочные последовательности
• Синхронизирующие последовательности
• Построение проверяющих последовательностей
• Отличительные последовательности в ОС
• Псевдослучайное тестовое диагностирование
• Модули сигнатурного мониторинга на сетях клеточных автоматов
• Метод генерирования субпоследовательностей
• Алгоритм основной программы
• Алгоритмы подпрограмм
• Результаты работы основного алгоритма
• Программа моделирования ска на языке Delphi
• Алгоритм реализации программы
• Результаты моделирования сети клеточных автоматов
• Исследования и анализ рынков сбыта
• Параметрическая сегментация рынка
• Оценка затрат на разработку продукта
• Экономическая эффективность научно-исследовательской работы
• Общие вопросы охраны труда и окружающей среды
• Производственная санитария
• Характеристика производственного помещения
• Виды вентиляции
• Естественное и искусственное освещение
• Пожарная безопасность
• Охрана окружающей среды

Прочитайте еще и эти статьи:

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

Стационарная система радиосвязи
Настоящий курсовой проект поставил передо мной задачу разработки стационарной системы радиосвязи. Разработка такой системы не простая задача, которая включат в себя множество этапов. В первую очередь, чтобы представлять себе все возможности сис ...