thecml / ertms-modelling-vdm Public

Notifications You must be signed in to change notification settings
Fork 1
Star 2

An Overture project that models ERTMS level 2 and interlocking properties in VDM++.

2 stars 1 fork Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
ERTMS		ERTMS
Literature		Literature
Report		Report
.gitignore		.gitignore
LICENSE		LICENSE
Model.txt		Model.txt
Notes.txt		Notes.txt
README.md		README.md

Repository files navigation

The ERTMS as a VDM model

Overture: https://overturetool.org/
ERTMS: https://en.wikipedia.org/wiki/European_Train_Control_System