Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure –...
Transcript of Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure –...
![Page 1: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/1.jpg)
Using railML® for Exchanging Timetable DataExperiences from the PAIP Project
Alexander Schmidt
Paris, May 3, 2017
![Page 2: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/2.jpg)
Architecture Principles at SBB.
2
ƒ Reuse, Rent, Buy or Make for new
applications
ƒ We share and use data across the entire
SBB enterprise
ƒ «Rent» or «Buy» is to be preferred in
comparison to in-house/proprietary
development
ƒ Requirements on integration are increasing
SBB • Infrastructure • 03.05.2017
![Page 3: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/3.jpg)
Defined Goal of SBB Infrastructure’s IT.
SBB • Infrastructure • 03.05.2017 3
SBB IT aims at actively driving standardisation of its application integration.
railML® / RailTopoModel is considered of having the potential – both from a business
as well as from an IT perspective – to become an essential format for the
standardised exchange of infrastructure data.
In 2017 SBB Infrastructure’s IT is willing to demonstrate the potential and benefit of
railML® / RailTopoModel, with the help of concrete projects and proof of concepts.
Jürg Balsiger, Head of IT Solution Center Infrastructure:
« In 2017 we want to detect the actual potential
of railML® / RailTopoModel for SBB. »
![Page 4: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/4.jpg)
Current Use of railML® (1/2).
4
Annual and short-term planning
SBB’s slot planning
system NeTS
Mid- and long-
term planning
Viriato
Forecast /
Simulation
OnTime /
OpenTrack
Interval
planning
RailSys
* planned
*
SBB • Infrastructure • 03.05.2017
![Page 5: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/5.jpg)
Current Use of railML® (2/2).
5
ƒ Rail Control System (RCS) is using railML® in order to archive production
data.
ƒ In NeTS (Net-wide Slot System) railML® is applied for the export of single
slots with a minimum number of attributes being used by tracks.
With the Project PAIP a new interface is to be
implemented using railML® 2.3 / 2.4.
SBB • Infrastructure • 03.05.2017
![Page 6: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/6.jpg)
Project «PAIP».
6
ƒ Process Alignment Interval Planning
ƒ Interval = restriction of capacity due to construction activities
(suspension, speed restriction section)
ƒ Support and improve planning process of closures in infrastructure
ƒ Integration of a “commercial off-the-shelf” software in the field of capacity
planning
ƒ Data exchange between proprietary SBB applications and external (third-
party) software
ƒ Exchange of more than 200’000 slots per year
ƒ Modernisation of the existing railML®1.0-interface
SBB • Infrastructure • 03.05.2017
![Page 7: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/7.jpg)
Project «PAIP».
7
ƒ railML® covers about 60-80% of our requirements
ƒ Remaining coverage is ensured by proper extensions
ƒ Major challenge consists the semantic significance of attributes
ƒ Early contact with the railML® timetable community
Positive experience:
Extension can be proposed and incorporated in a relatively
straightforward way. Assuming the approval of the railML®
community the standard can be extended within few months.
SBB • Infrastructure • 03.05.2017
![Page 8: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/8.jpg)
Project «PAIP» – Next Steps.
SBB • Division • Abteilung oder Bereich • DD.MM.YY 8
ƒ Pursue triggered changes of railML®
2.4
ƒ Spring 2017: Start implementation of
new interface
ƒ Certification of the application NeTS
ƒ Continuous participation in the
timetable community – even after
completion of the project
![Page 9: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/9.jpg)
Outlook regarding railML®.
9
ƒ Potential format for data exchange within SmartRail 4.0
ƒ Potential for use within asset management with version 3 and
consequently at the interface between asset and traffic management
ƒ With RailTopoModel there is a increasingly valid conceptual
fundament (driven by UIC)
ƒ Currently, there is an IT study under way within SBB regarding a semi-
automated maintenance of topology data for Viriato with
RailTopoModel being a candidate for the underlying topological model
SBB • Infrastructure • 03.05.2017
![Page 10: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/10.jpg)
Consequences Regarding RailTopoModel.
10SBB • Infrastructure • 03.05.2017
ƒ Consider and incorporate necessary extensions
in the conceptual model (RTM) with the goal of
accomplishing a homogenous time management
in the areas of timetable and infrastructure
⇓ One (and only one) time dimension approach!
ƒ Coordination and collaboration between RTM
Expert Group and railML® timetable community
needs to be intensified (mutual information about
and review of current work).
![Page 11: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/11.jpg)
Any questions?
SchweizerischeBundesbahnen SBB
Alexander Schmidt InfrastructureChief Data Manager Assets and Technology
Hilfikerstrasse 3CH-3000 Bern 65+41 79 150 22 [email protected]
![Page 12: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/12.jpg)
Steps towards
implementing
RailTopoModel in
ADIF
STRATEGY
MAY 2017
AND TRANSFORMATION
![Page 13: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/13.jpg)
ABOUT ADIF…
STRATEGY AND TRANSFORMATION
➢In 2005 there was a change in the Spanish Railway industry:
RENFE (1941) and GIF (1998) splitted into:
➢RENFE Operator: Owner of trains and responsible for its
circulation, working in competition with other railway
companies.
➢ADIF: Owner of the railway infrastructures (tracks, stations,
freight terminals) and responsible for its maintenance, the
traffic management, the allocation of the capacity of railway
operators…
![Page 14: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/14.jpg)
UNDERSTANDING IT SYSTEMS IN IM´S
STRATEGY AND TRANSFORMATION
![Page 15: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/15.jpg)
UNDERSTANDING IT SYSTEMS IN IM´S
STRATEGY AND TRANSFORMATION
![Page 16: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/16.jpg)
UNDERSTANDING IT SYSTEMS IN IM´S
STRATEGY AND TRANSFORMATION
![Page 17: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/17.jpg)
UNDERSTANDING IT SYSTEMS IN IM´S
STRATEGY AND TRANSFORMATION
![Page 18: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/18.jpg)
UNDERSTANDING IT SYSTEMS IN IM´S
STRATEGY AND TRANSFORMATION
![Page 19: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/19.jpg)
Railnet Europe – CIP Platform
STRATEGY AND TRANSFORMATION
TASKS:
- Analize the proposed model
- Mapping internal entities to the proposed
model (equivalences)
- Develop the software to ensure the
maintenance of the output.
- Mantain any changes in Schema Definition (both
in source or destiny)
![Page 20: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/20.jpg)
1 WHAT IS THE GOAL?
STRATEGY AND TRANSFORMATION
![Page 21: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/21.jpg)
HOW IS OUR INTERNAL PROCESS?
STRATEGY AND TRANSFORMATION
OGC SERVICES
![Page 22: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/22.jpg)
Generating the railML file (MACRO)
STRATEGY AND TRANSFORMATION
![Page 23: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/23.jpg)
Publishing the railml file in http://ideadif.adif.es
STRATEGY AND TRANSFORMATION
![Page 24: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/24.jpg)
Next steps in ADIF…
STRATEGY AND TRANSFORMATION
o Obtain the railml 3 certification.
o Publish railml file with infrastructure information of the network.
o Broaden the output file with more entities.
▪ Covering meso and micro levels.
▪ Not only infrastructure subschema.
o Support new UIC projects (RTM-BIM, RTM-GIS, RTM-SIM)
![Page 25: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/25.jpg)
CONCLUSIONS…
STRATEGY AND TRANSFORMATION
![Page 26: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/26.jpg)
STRATEGY
AND TRANSFORMATION
![Page 27: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/27.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective
![Page 28: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/28.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective
Topic:
Date:
Implementation:
An IT solution provider’s perspective
19 april 2016
![Page 29: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/29.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
GiSmartware:
▪ French company
▪ 25 year old, 40 employees
▪ Software editor
Netgeo platform:
▪ SOA
▪ GIS for territorial network managers:
✓ Telecom
✓ Water
✓ Sanitation
✓ Power distribution
✓ Railway
IntroductionGiSmartware
Auth.
Wate
r
Sa
nita
tion
En
erg
y
Te
leco
m
Netgeo platform
Oracle SQL ServerPersistance
Applicationserver
ClientMap UI Schematics
ProcessingData access
http Rail
PostgreSQL
![Page 30: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/30.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Netgeo RailBui l t on sol id basis
RTM+
RailML
SNCF Réseau
GiSmartware
RTM: foundation▪ Strong topological model
▪ Standardised by the UIC
▪ Well-documented
SNCF Réseau: experience
▪ Deep industrial knowledge
▪ RTM-compatible Ariane model
▪ SOA Repository Gaia
GiSmartware: architecture
▪ 25-year experience in software development
▪ Robust Netgeo platform
▪ Industrialisation know-how
![Page 31: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/31.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Advantages of RailTopoModel1/3 – An industr ia l s tandard
Securing GiSmartware’s investment in Netgeo Rail:▪ A software designed with the business knowledge of
SNCF Réseau, built to fit new customers▪ Netgeo Rail is compatible with any RTM-compliant
model
Securing IM’s investment in information systems:
▪ RTM reduces the cost of entry for software vendors
▪ RTM roadmap secures evolutions
▪ This means more choice and better software for IM
![Page 32: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/32.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Advantages of RailTopoModel2/3 – An object model
Object model:▪ Sound basis for any
software
▪ Easy to extend
to cater to
end-customer’s specificities
▪ Guarantee for
data quality
RTM
Customer’smodel
![Page 33: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/33.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Advantages of RailTopoModel3/3 – Wel l documented
A UML model,
as an XMI file:▪ Enables efficient
tooling (code or UI
generation)
▪ Guarantees data
well-formedness,
throughout the
system
An unambiguous
serialisation (RailML)
for data exchange)
![Page 34: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/34.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
RailTopoModelOur wish l is t
A UML model, as an XMI file?▪ IRS 30100 available as a PDF file, the XMI file is not so
readily accessible
▪ XMI enables powerfull tooling:
✓ No place for such tools to be shared (a UIC github account?)
✓ Software vendors are ready
Leveraging the knowledge of the community:
▪ The RailTopoModel forum is underused:
Used more for troubleshooting than sharing best practices
![Page 35: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/35.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Netgeo RailCartographic v iew: macro or micro level
![Page 36: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/36.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Netgeo RailDescr ip t ion of a l l your in f rast ructure
![Page 37: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/37.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Netgeo RailRoutes
![Page 38: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/38.jpg)
Event : Topic: Date:
UIC RTM Conference RTM: An IT solution provider’s perspective 09/05/2017
Netgeo RailDo you want to know more?
Fabrice Simonin▪ GiSmartware R&D manager
▪ Netgeo Rail product manager
Contact me:
![Page 39: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/39.jpg)
RailTopoModel for route protectionand simulation
Exploration work, 4th of may 2017
1
![Page 40: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/40.jpg)
Why we use RailTopoModel
• Apply “model-driven” methodologies for railway domain
– Infrastructure
– Signalling
– Ertms
• Use of computerized tools
– Simulation
– Formal methods
Analysis
2
Expertknowledge
Formalmethods
SimulationRTMDB
![Page 41: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/41.jpg)
Early Works
• Focus on modelling of railway infrastructure
– Infrastructure
– Route
• To perform analysis
– Route calculation
– Train/route protection
• Using a prototype RTM implementation
Analysis
3
Expertknowledge
Formalmethods
SimulationRTMDB
1
2
0
1
2
0
![Page 42: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/42.jpg)
Modelling with RailTopoModel
• How to model Infrastructure ?
– Low level modelling
– Rules to navigate object smoothly
• How to represent RailTopoModel model ?
– Schematic
– Graph view
4
![Page 43: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/43.jpg)
Modelling with RailTopoModel
• How to model Infrastructure to be usable with analysis tools ?
– Level of details / Scaling
– Navigability
5
![Page 44: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/44.jpg)
Analysis based on RailTopoModel Model
• Use route model to get
– Points to control
– Balises messages to set
6
![Page 45: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/45.jpg)
RTM implementation prototype
• Based on Python and SQLALchemy
– Python code easy to extend
– SQL DB is standard for data hosting
– PyRTM module to import
– Still Prototype !
7
Algorithms
Python SQLAlchemyInterfaces
SQL
RTMDB
PyRTM
![Page 46: Using railML for Exchanging Timetable Data...methodologies for railway domain – Infrastructure – Signalling – Ertms • Use of computerized tools – Simulation – Formal methods](https://reader034.fdocuments.in/reader034/viewer/2022043018/5f3a38278f37fe2b13336fd5/html5/thumbnails/46.jpg)
Working On
• Link to ERSA ERTMS simulator
– Link ERTMS object to RTM
– Perform analysis on ERTMS infrastructure
• Linked with Formal methods tools
– B method for control command
– Petri Net model for analysis
Analysis
8
Expertknowledge
Formalmethods
SimulationRTMDB
3
4
3
4