Route Command Processing (2)
The (considerably reduced) set of requirements:
- A route must be defined, according to provisioned data.
- The route command must be refused if any of the following conditions
are true:
- The route goal is locked.
- An interdiction is "on" for any route element.
- A switch within the route is locked and in the adverse position.
- Any route element is currently used by another route.
- An accepted route command must result in setting the route, i.e.,
all elements are now part of this route.
- Switches in the wrong position must be thrown over.
- The start signal is cleared for a route, which then enters the
state "proving" as soon as all of the following conditions are true:
- The start signal is not locked.
- The start signal is not faulty.
- All rail elements are free.
- All switches are in the correct position.