К.т.н., Горбачев А.М., Мустафаев Р.Т.

Петербургский Государственный Университет, Россия

Автоматизация проверки проектов железнодорожной автоматики на соответствие техническому заданию

Разработка проектов на устройства железнодорожной автоматики и телемеханики (ЖАТ) осуществляется на основе технического задания (ТЗ). ТЗ составляется в произвольной форме на основе действующих инструкций ОАО «РЖД» [1,2] и прилагающихся к ним примеров [3]. Степень формализации при работе с этими документами остается низкой.

Для решения указанной проблемы был разработан «Редактор ТУ и ТЗ» и реализована система проверки проекта ЖАТ на соответствие ТЗ. При представлении проекта ЖАТ в отраслевом формате технической документации СЦБ (ОФ-ТД СЦБ) большая часть проверок может быть представлена в виде:

[Тип элемента] / [Наименование атрибута] = [Некоторое значение из ТЗ] (1),

где / – оператор получения значения атрибута, наименование которого указывается после оператора, у элемента, тип которого указывается перед оператором.

= – оператор проверки на равенство.

Исходя из этих предпосылок был разработан предметно-ориентированный язык программирования для описания проверок на соответствие проекта ТУ и ТЗ.

Литература

1. Распоряжение ОАО «Российские железные дороги» от 27 октября 2005 г. N 1701р– ОАО «РЖД». – 2005г.

2. Рекомендации по формированию технических условий для проектирования реконструкции и технического перевооружения объектов ЖАТ в составе инвестиционных проектов ОАО «РЖД».

3. Образец технического задания . - Департамент автоматики и телемеханики

ОАО «Российские железные дороги». – 2008 г.