w.r.t. the harmonisation of and semantic rules for the train protection systems
I found one rule which cannot be formally proofed:
The values of "trainProtectionMedium" and "trainProtectionMonitoring" shall be
consistent with "type" in <nationalSystem>.

As this seems to be a fixed 1:1 relation I would propose to extend the
accompanied file TrainProtectionSystems.xml by this information to allow a
formal check.

Am 07.01.2015 um 08:45 schrieb Joerg von Lingen:> Hi all,> > w.r.t. the harmonisation of and semantic rules for the train protection systems> I found one rule which cannot be formally proofed:> The values of "trainProtectionMedium" and "trainProtectionMonitoring" shall be> consistent with "type" in <nationalSystem>.> > As this seems to be a fixed 1:1 relation I would propose to extend the> accompanied file TrainProtectionSystems.xml by this information to allow a> formal check.

that's indeed a good idea. If I understood you correctly, you propose to
extend the current structure in TrainProtectionSystems.xml to something
like this:

I can possibly help to clarify this matter a little bit. Probably these
"medium" and "monitoring" go back to the very roots of railML when we
(at Fraunhofer Dresden / TU Dresden then) filled the first structures
with all we knew - with or without practical background...

If so, and if there was no usage of these values in the years since
then, we possibly can omit at least the "monitoring". It is very
theoretical and has never had a real background. It is only that we did
teach the students things about Zugbeeinflussungsanlagen from a German
point of view like
PZB = punktförmig; induktiv, mechanisch, optisch...
LZB = linienförmig, Kabel oder Schiene...
ATP = punktförmig, magnetisch
Krokodil...

We should avoid the "monitoring" = [intermittent, continuous] since
Zugbeeinflussungsanlagen like ZUB (HF-Technik, Induktionsschleifen) and
ETCS (radio) are hybrids, they are a kind of semi-continuous. I think
nobody here (in railML) needs this rather academic information.

We can possibly also discard the "medium" if we have a certain attribute
for type/model/series such as "PZB80". "I60", "LZB90", "LZB500",
"ZUB121" a. s. o. If so, everybody can deduce the "medium" from the
type. Also, some types (as ZUB121) can have several mediums (HF-Balisen
and Induktionsschleifen).