2. Метод свободного монтажа

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

8. Автоматическая работа

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

5. Некоторые положения функции обеспечения безопасности

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

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

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

Математическое описание правил движения, которое формирует фундамент системы, проверяется детально экспертами СЦБ и движения на симуляторе. Существует три версии описания, одна для системы А, другая для системы В и третья для претеста.

2. Система обработки зависимостей ebilock 950

1. Немного о компьютере централизации

Эта глава дает более детальное представление о собственно системе обработки EBILOCK 950, например:

• механическое исполнение и источники питания

• логика зависимостей

• программное обеспечение

2. Механическое исполнение

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

1. Терминал обслуживания

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

3. Источник питания

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

4. Программное обеспечение

1. Языки программирования

Все безопасное программное обеспечение написано на сокращенном подмножестве стандартного языка ANSI - C. Использование этого подмножества проверяется предварительным компилированием.

Небезопасное программное обеспечение написано на специализированном языке SDL с использованием инструмента SDT и затем с помощью инструмента компилируется в язык ANSI-C.

2. Обзор

Рис. 10 сущность потока данных и информации между оператором и объектом.

Рис. 10. Поток данных и информации в системе

3. Обработка

1. Общие положения

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

В этом параграфе первоначально поясняются функции программного обеспечения, используемого в центральном компьютере Ebilock 950 и поясняется (в некоторой степени) обработка во временной последовательности.

Следующие функции включены в систему программного обеспечения:

• программа слежения и координации

• программа связи с объектными контроллерами

• программа передачи между действующим компьютером и компьютером горячего резерва

• программа обработки зависимостей, т.е. программа, которая управляет зависимостями между станционными объектами

• программа, используемая для связи с системой управления и отображения

• программа, используемая для передачи данных соседним системам Ebilock

• Программа, используемая для управления командами оператора

• тестовая программа

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

С точки зрения времени все программы в системе инициализируются циклически или по событиям.

В течение каждого цикла выполняется следующее:

• Состояния от всех объектных контроллеров получаются и обрабатываются в двух системах обработки зависимостей

• Приказы подготавливаются и посылаются к объектным контроллерам. Эти приказы вырабатываются двумя системами зависимостей на основании пришедших сообщений и в ответ на команды

• Тестирование памяти

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