Продолжаем с sysML. Пока без картинок
Sep. 8th, 2008 08:42 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
hedgeovТребования к системе:
Система включает в себя Interlocking Logic и элементы пути.
Элементы пути — это Стрелки (SW), Пути между станциями (TR), Светофоры (L).
Станции соединяются строго одним путём. Т.е. железная дорога однопутная.
В данный момент есть еще один элемент пути — Станция (ST). По большому счету, станция — это такой TR, которым может начинаться и заканчиваться маршрут, который не содержит стрелок, зато содержит выходные светофоры.
Любой элемент пути может быть в неисправном состоянии. В этом случае система не пропускает по нему поезда. Если элемент самовольно изменил состояние — система выдаёт сигнал АВАРИЯ, включает красный свет на всех светофорах и завершает работу.
ST — станция, слева и справа может быть подсоединена к путям. Может быть занята или свободна. Содержит информацию, какой ID у TR слева и справа. Между двумя станциями обязан быть ровно один TR.
TR — путь между станциями. Может содержать стрелки. TR содержит список достижимых по нему станций и список лежащих на нем стрелок. TR может быть свободен или занят.
SW — имеет список станций, достижимых по левому ии правому пути. SW может быть в левом и правом состоянии.
L — пока самый тёмный элемент :) Может быть красным (active) и зеленым(non-active). Принадлежит станции. По идее является выходным светофором (т.е. разрешает поезду покинуть станцию). Для простоты считаем, что поезд не может покинуть станцию если горит красный свет.
Каждый элемент пути имеет уникальный в рамках системы номер — ID.
Начальной и конечной точками движения поезда могут быть только станции.
Маршрут — пара (ID начальной точки, ID конечной точки).
Каждому маршруту внутри системы присваивается номер. Пока что неуникальный (хотя посмотрим).
Маршрут можно создать, сконфигурировать, удалить.
Номер маршруту присваивается системой после создания.
Создавать можно только допустимый маршрут.
Маршрут считается допустимым если выполняются все перечисленные условия:
to be continued...
Система включает в себя Interlocking Logic и элементы пути.
Элементы пути — это Стрелки (SW), Пути между станциями (TR), Светофоры (L).
Станции соединяются строго одним путём. Т.е. железная дорога однопутная.
В данный момент есть еще один элемент пути — Станция (ST). По большому счету, станция — это такой TR, которым может начинаться и заканчиваться маршрут, который не содержит стрелок, зато содержит выходные светофоры.
Любой элемент пути может быть в неисправном состоянии. В этом случае система не пропускает по нему поезда. Если элемент самовольно изменил состояние — система выдаёт сигнал АВАРИЯ, включает красный свет на всех светофорах и завершает работу.
ST — станция, слева и справа может быть подсоединена к путям. Может быть занята или свободна. Содержит информацию, какой ID у TR слева и справа. Между двумя станциями обязан быть ровно один TR.
TR — путь между станциями. Может содержать стрелки. TR содержит список достижимых по нему станций и список лежащих на нем стрелок. TR может быть свободен или занят.
SW — имеет список станций, достижимых по левому ии правому пути. SW может быть в левом и правом состоянии.
L — пока самый тёмный элемент :) Может быть красным (active) и зеленым(non-active). Принадлежит станции. По идее является выходным светофором (т.е. разрешает поезду покинуть станцию). Для простоты считаем, что поезд не может покинуть станцию если горит красный свет.
Каждый элемент пути имеет уникальный в рамках системы номер — ID.
Начальной и конечной точками движения поезда могут быть только станции.
Маршрут — пара (ID начальной точки, ID конечной точки).
Каждому маршруту внутри системы присваивается номер. Пока что неуникальный (хотя посмотрим).
Маршрут можно создать, сконфигурировать, удалить.
Номер маршруту присваивается системой после создания.
Создавать можно только допустимый маршрут.
Маршрут считается допустимым если выполняются все перечисленные условия:
- Существует путь из начального пункта в конечный
- Существующий путь свободен
- Существующий путь не содержит неисправных элементов
- Пункт назначения свободен
to be continued...
