SD
SIGNAL+DRAHT | Issue 09/2023

Verwendung der Modellprüfung für die Verifikation von Stellwerkssoftware

September 2023 | Antti Pakonen, Juha Turunen

Die Anwendung verschiedener Verifikationsmethoden ist ein wichtiger Bestandteil im Entwicklungsprozess sicherheitsrelevanter Systeme. Einige Methoden eignen sich für die frühen, andere für die späteren Phasen des Lebenszyklus. Das Wichtigste ist, dass alle Phasen des Lebenszyklus in ausreichender Weise und mit der für den jeweiligen Zweck am besten geeigneten Methode überprüft werden können. Bei Mipro haben wir festgestellt, dass die formale Verifikation die Vielfalt erhöht, um die bestmöglichen Ergebnisse durch die Verifikation zu erzielen und die Qualität und Sicherheit der Lieferungen zu verbessern...

Futher articles in this issue: