You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This repository contains a framework for designing railway interlocking software.
7
7
It consists of a state machine language definition (syntax and semantics), compilers and simulators.
@@ -42,20 +42,6 @@ Often, many point machines share the same power supply.
42
42
When multiple point machines are powered on at the same time due to the commanding of a route, a current spike can cause damage to the power supply.
43
43
Hence, although a staggered point machine operation is not a safety-related function, it is present within the core logic of many interlocking systems.
44
44
45
-
## Setup and Development
46
-
47
-
Prerequisites (as tested, newer versions may work as well):
48
-
- .NET 8.0 SDK
49
-
- Rust 1.91.1
50
-
- Node.js 22 and npm
51
-
- Antlr 4.13.2
52
-
- wasm-pack 0.13.1
53
-
- make
54
-
55
-
For a simplified setup, a VS Code Devcontainer configuration file is provided.
56
-
57
-
To compile and run the web-based debugging interface, run `make web` from the [locking_table_interlocking](locking_table_interlocking) or [geographical_interlocking](geographical_interlocking) directories, then open http://localhost:3000/.
58
-
59
45
## Interlocking Software Design Language (Meta Model)
Prerequisites (as tested, newer versions may work as well):
80
+
- .NET 8.0 SDK
81
+
- Rust 1.91.1
82
+
- Node.js 22 and npm
83
+
- Antlr 4.13.2
84
+
- wasm-pack 0.13.1
85
+
- make
86
+
87
+
For a simplified setup, a VS Code Devcontainer configuration file is provided.
88
+
89
+
To compile and run the web-based debugging interface, run `make web` from the [locking_table_interlocking](locking_table_interlocking) or [geographical_interlocking](geographical_interlocking) directories, then open http://localhost:3000/.
0 commit comments