rail-itNetz- und Stellwerkmanagement

Ein Sicherheitskern für Fahrwegsicherung in Rust – mit Stellwerksdienst, Bedienplatz, ETCS, EULYNX und Übernahme durch einen Bereitschaftsrechner. Für Simulation, Ausbildung und Prüfstände.

Schnellstart

Installation

Auf GitHub

🛡️

Sicherheitskern

Fahrwegsicherung mit Durchrutschweg, Flankenschutz, Bahnübergängen und Hilfshandlungen – no_std, ohne unsafe, ohne Panikpfade, mit Invarianten in jedem Zyklus.

🗺️

Netze und Pläne

Netze in einem handschreibbaren TOML-Format oder railML 3; Fahrstraßen werden projektiert, unabhängig gegengeprüft und als signiertes Plan-Image geladen.

🖥️

Dienst und Bedienplatz

railitd mit REST/JSON, gRPC und Ereignisstrom; Web-Bedienplatz mit berechnetem Spurplan, Anzeigeüberwachung und sicherer Bestätigungskette.

🚆

Betrieb und Netz

Mehrere Stellbereiche mit Streckenblock, Zugnummernmeldung, Fahrplan, Zuglenkung und Disposition.

🇪🇺

Europa

ETCS Level 2 mit RBC-Funktion, Feldanbindung über EULYNX SCI und RaSTA, Import und Export von railML 3.

♻️

Verfügbarkeit

Redundante Kanäle mit Voter, sicherer Rechner, gesiegeltes Journal mit Rückschau und Übernahme durch einen Bereitschaftsrechner.

Keine Zulassung

rail-it ist ein Kandidat für den Laborbetrieb – Simulation, Ausbildung, Prüfstände. Es ist nicht für den realen Bahnbetrieb zugelassen. Was bis zu einer Zulassung fehlt, nennt der Sicherheitsnachweis.

In einer Minute

curl -fsSL https://josunlp.github.io/rail-it/install.sh | sh
railit net validate ~/.local/share/rail-it/examples/beispielstadt.toml
railit plan compile ~/.local/share/rail-it/examples/beispielstadt.toml --out beispielstadt.rplan
railitd --network ~/.local/share/rail-it/examples/beispielstadt.toml \
        --plan beispielstadt.rplan --allow-unsigned --speed 10

Dann http://127.0.0.1:7878/ öffnen: Start- und Zielsignal anklicken stellt eine Fahrstraße. Weiter im Schnellstart.

rail-itNetz- und Stellwerk­management