SIGNAL+DRAHT | Issue 09/2023
Verwendung der Modellprüfung für die Verifikation von Stellwerkssoftware
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...