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

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

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

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

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

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

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

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

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