Anforderungen
Anforderungen tragen eine stabile ID der Form REQ-<BEREICH>-<NR>. Code, Tests und Fehlermeldungen verweisen auf diese IDs; daraus entsteht die Rückverfolgbarkeit Anforderung → Code → Test (Konzept, Abschnitt 16).
| Datei | Bereich |
|---|---|
| topologie.md | REQ-TOP: Netzmodell und seine Validierung |
| plan.md | REQ-PLN: Projektierung und Plan-Image |
| kern.md | REQ-IXL: Sicherheitskern (Fahrwegsicherung) |
| fahrerlaubnis.md | REQ-MOV: Signalbegriffe Ks und H/V, ETCS-Fahrerlaubnis |
| etcs.md | REQ-ETCS: RBC-Funktion für ETCS Level 2 |
| kommunikation.md | REQ-COM: sichere Übertragung (RaSTA, EULYNX SCI) |
| sicherheitsschicht.md | REQ-SAF: redundante Kanäle, Voter, Watchdog, formale Nachweise, Fuzzing |
| embedded.md | REQ-EMB: sicherer Rechner (Cortex-R) |
| journal.md | REQ-JRN: Betriebsjournal und Replay |
| dienst.md | REQ-SVC: Dienst, API und Bedienung |
| bedienplatz.md | REQ-UI: Bedienplatz (Spurplan, Anzeigeüberwachung, Bestätigungskette) |
| betrieb.md | REQ-OPS: Betriebsführung (Zugnummern, Fahrplan, Zuglenkung, Disposition) |
| sicherheit.md | REQ-SEC: Benutzer, Rollen, TLS, Auditprotokoll |
Regeln
- IDs werden nie wiederverwendet. Entfällt eine Anforderung, wird sie als entfallen markiert.
- Jede Anforderung nennt, welche Gefährdung sie beherrscht (
H-…, siehe Gefährdungsliste), und wie sie nachgewiesen wird.