Научная статья на тему 'Методы и инструментальные средства построения логических устройств электрической централизации на базе программируемых логических интегральных схем'

Методы и инструментальные средства построения логических устройств электрической централизации на базе программируемых логических интегральных схем Текст научной статьи по специальности «Электротехника, электронная техника, информационные технологии»

CC BY
356
129
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЛИС / ЭЦ / САПР / МПЦ / ЛОГИЧЕСКИЕ УСТРОЙСТВА ЖАТ / ПРОГРАММИРОВАНИЕ / КОНФИГУРИРОВАНИЕ

Аннотация научной статьи по электротехнике, электронной технике, информационным технологиям, автор научной работы — Кабецкий А. Г., Марков Д. С.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Methods and Tools for Making up Logic Devices of Electrical Interlocking Based on Programmable Logic Integral Circuits

The authors have considered the methods and means of synthesis of logic devices of electrical interlocking based on programmable logic devices (PLD) and their advantages compared to microprocessor sets. The example of the relay with delay for switching off simulated by means of tools for PLD is presented.

Текст научной работы на тему «Методы и инструментальные средства построения логических устройств электрической централизации на базе программируемых логических интегральных схем»

Общетехнические и социальные проблемы

183

УДК 004.032:004.41

А. Г. Кабецкий, Д. С. Марков

МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПОСТРОЕНИЯ ЛОГИЧЕСКИХ УСТРОЙСТВ ЭЛЕКТРИЧЕСКОЙ ЦЕНТРАЛИЗАЦИИ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ

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

ПЛИС, ЭЦ, САПР, МПЦ, логические устройства ЖАТ, программирование, конфигурирование.

Введение

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

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

1 Постановка задачи

Основными элементами построения логических устройств в МПЦ являются микропроцессорные комплекты.

ISSN 1815-588 Х. Известия ПГУПС

2010/2

(Ш&цетехнические и социальные проблемы

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

• необходимость в устройствах согласования - расширителей входов-выходов;

• необходимость наличия операционной системы;

. программная реализация , д1(ега

технологических алгоритмов работы электрической централизации (ЭЦ);

• сложность доказательства безопасности устройств ЖАТ.

В связи с этим целесообразно осуществлять синтез устройств электрической централизации на базе программируемых логических интегральных схем (ПЛИС) [1], [3], т. к. в ЭЦ реализуются

преимущественно логические операции.

ПЛИС (рис. 1) являются универсальными изделиями с коротким циклом проектирования и малыми затратами на изготовление устройств, предоставляют возможность разработчикам проводить параллельно разработку проекта, отладку и модификацию системы. Кроме того, ПЛИС позволяют при необходимости проводить реконфигурацию системы, находящейся в процессе эксплуатации [1].

Достоинствами ПЛИС при использовании их в устройствах ЖАТ являются [5]:

• возможность реализации сложных параллельных алгоритмов;

• аппаратная реализации алгоритмов работы устройств ЖАТ;

• отсутствие операционной системы;

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

• возможность программирования или изменения конфигурации непосредственно в готовом устройстве или системе в целом;

• высокое быстродействие, необходимое для диагностики устройств ЖАТ;

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

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

2 Выбор элементной базы

ISSN 1815-588 Х. Известия ПГУПС

2010/2

Общетехнические и социальные проблемы

185

Критериями отбора ПЛИС как элементной базы логических устройств ЖАТ являются:

1) возможность аппаратной реализации алгоритмов работы логических устройств ЭЦ;

2) функциональная избыточность - для обеспечения защищенности от опасных отказов;

3) внутрисистемное перепрограммирование в процессе эксплуатации;

4) вариантность реализации сложных параллельных алгоритмов;

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

ПЛИС на сегодняшний день представлены широким спектром устройств, изготавливаемых с использованием различных технологий.

Рассмотрим три наиболее применяемых варианта технологии изготовления ПЛИС:

• на основе ячеек статического ОЗУ;

• на основе наращиваемых перемычек;

• на основе технологии Flash.

Анализ приведенных технологий изготовления ПЛИС позволил определить, что применение ПЛИС на основе ячеек статического ОЗУ не отвечает требованиям 3 и 4; на основе наращиваемых перемычек -требованию 3. ПЛИС на основе технологии Flash полностью отвечают заявленным требованиям [3].

Рассмотрим ПЛИС семейства FLEX на основе технологии Flash [1],

[3].

ПЛИС семейства FLEX являются в настоящее время наиболее применяемой элементной базой для построения сложных устройств обработки данных и интерфейсов. Это объясняется тем, что благодаря большой логической емкости, удобной архитектуре, включающей встроенные блоки памяти (ВБП), достаточно высокой надежности данные ПЛИС удовлетворяют разнообразным требованиям, возникающим у разработчика устройств управления, обработки данных и т. п. В связи с этим ПЛИС семейства FLEX выбраны в качестве элементной базы логических устройств ЭЦ.

3 Выбор инструментальных средств

Критериями выбора инструментальных средств или средств автоматизированного проектирования (САПР) являются:

• осуществление полного цикла синтеза логических устройств на базе ПЛИС;

• возможность синтеза устройств как в графическом, так и в программном режиме;

• наличие в САПР библиотек мегафункций, описывающих сложные алгоритмы;

ISSN 1815-588 Х. Известия ПГУПС

2010/2

АЖщетехнические и социальные проблемы

• совместимость при переводе алгоритмов на уровне языков описания аппаратуры (VHDL, AHDL, Verilog и др.);

• простота обучения и удобство использования.

На сегодняшний день наибольшее распространение получили несколько мощных САПР для ПЛИС, к которым следует отнести OrCAD, Protel, MAX+PLUS II, Foundation, Active-CAD, Synplicity.

Такие САПР, как OrCAD, Protel, Foundation, Active-CAD, Synplicity, приспособлены для проектирования ПЛИС, но не отвечают всем критериям выбора инструментальных средств: одни работают только в графическом режиме, другие - с использованием языка программирования, остальные предназначены для верификации и отладки [4], [5].

САПР MAX+PLUS II предлагает полный спектр возможностей логического дизайна, разнообразные средства описания проектов с иерархической структурой, мощный логический синтез, компиляцию с заданными временными параметрами, разделение на функциональные составляющие, функциональное и временное тестирование (симуляцию), тестирование нескольких связанных устройств, анализ временных параметров системы, автоматическую локализацию ошибок, а также программирование и верификацию устройств [2].

Система MAX+PLUS II предлагает пользователю удобный графический интерфейс, дополненный иллюстрированной оперативной справочной системой. Простота в обучении и соответствие всем критериям выбора инструментальных средств позволяет использовать САПР MAX+PLUS II для синтеза логических устройств ЭЦ на базе ПЛИС, изготовленных по технологии Flash.

4 Основы проектирования логических устройств ЭЦ

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

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

ISSN 1815-588 Х. Известия ПГУПС

2010/2

Общетехнические и социальные проблемы

187

5 Пример проектирования

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

Рассмотрим решение указанной задачи на примере проектирования электронного реле с задержкой на отключение. Реализация поставленной задачи осуществлена в графическом редакторе MAX+PLUS II с использованием виртуальных моделей реальных логических элементов. В качестве основы электронного реле предложено использовать D-триггер (рис. 2).

Для реализации функции задержки на отключение синтезирована схема счетчика, а также схема контроля и управления D-триггера (рис. 3), которая при отсутствии сигнала логической 1 на синхронном входе триггера установленное счетчиком время будет поддерживать состояние логической 1 на его выходе.

После проведения симуляции работы на графике сигнального редактора MAX+PLUS II видим, что при отсутствии сигнала на входе IN выход триггера некоторое время еще находится в состоянии логической 1 (рис. 4).

Изменяя параметры счетчика, можно реализовать любое время задержки отключения триггера и, следовательно, выдержки времени (от 1 секунды до 5 минут), необходимые для выполнения алгоритмов работы ЭЦ. В одном кристалле ПЛИС можно синтезировать практически неограниченное количество реле с задержкой времени на отключение, что позволяет реализовывать индивидуальные выдержки времени для каждого светофора, маршрута, секции.

Рис. 2. D-триггер

ISSN 1815-588 Х. Известия ПГУПС

2010/2

Рис. 3. Схема электронного реле с задержкой на отключение

При отсутствии сигнала логической 1 на входе IN, выход OUT остается заданное время в состоянии логической 1

Рис. 4. Симуляция работы электронного реле с задержкой на отключение

Заключение

В настоящее время аналогичным образом в среде MAX+PLUS II синтезированы основные функциональные блоки системы ЭЦ-12, которые в дальнейшем будут использованы в качестве основы логических устройств ЭЦ на базе ПЛИС.

Библиографический список

1. ПЛИС фирмы Altera. Проектирование устройств обработки сигналов / В. Б. Стешенко. - М. : Додэка, 2000. - 128 с. - ISBN 5-94020-001-Х.

2. Язык описания цифровых устройств AlteraHDL : практический курс / А. П. Антонов. - М. : ИП «Радиософт», 2001. - 224 с. - ISBN 5-93037-052-4.

3. Проектирование на ПЛИС. Курс молодого бойца / К. Максфилд — М. : Издательский дом «Додэка-XXI», 2007. - 408 с. - ISBN 978-5-94120-147-1.

4. Обзор современных САПР для ПЛИС / Александр Еркин. - Chip News. - 2008. -№ 10-11. - С. 134-135.

5. Синтез устройств электрической централизации на базе программируемых логических интегральных схемах / А. Г. Кабецкий // Неделя науки-2009 : материалы

ISSN 1815-588 Х. Известия ПГУПС

2010/2

Общетехнические и социальные проблемы

189

конференции. - СПб. : Петербургский государственный университет путей сообщения, 2009. - с. 159-162.

Статья поступила в редакцию 15.03.2010;

представлена к публикации членом редколлегии А. А. Корниенко.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ISSN 1815-588 Х. Известия ПГУПС

2010/2

i Надоели баннеры? Вы всегда можете отключить рекламу.