[Question] RailML visualization using ProB2-UI

[dhombios]

According to RailML website ProB supports importing RailML files. However, I haven't been able to find examples of this in ProB documentation, although prob animation documentation states that RailML is supported: https://prob.hhu.de/w/index.php?title=The_ProB_Animator_and_Model_Checker

Is it possible to visualise the topology of a rail line described in RailML using Prob2-UI (or a different tool part of prob)?

[leuschel]

Hi,
thanks for your interest in RailML. We are still awaiting official certification of our import of railML files before making it public. We have a meeting with railML next week and hope that we can make the tooling available very soon.

[dhombios]

I wish you luck with the certification process! RailML needs tools to take off and it would be great to be able to use the features of prob for working with rail description files