SIGNAL+DRAHT | Issue 06/2017
Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse
Dieser Artikel stellt ein modellbasiertes, computergestütztes Verfahren zur Sicherheitsanalyse in Entwicklungs- und Zulassungsprozessen der Signal- und Zugsicherungstechnik vor. Ziel ist es, den Einsatz modellbasierter, formaler Verfahren zu realisieren und gleichzeitig den Aufwand für die Verwendung dieser Verfahren auf ein in der Praxis akzeptierbares Maß zu reduzieren. Anstatt Sicherheitsanalysen parallel zum Entwicklungsprozess durchzuführen, werden vorhandene System- und Entwurfsmodelle genutzt, um daraus möglichst automatisiert die benötigten Analysemodelle abzuleiten. Dadurch können bereits in frühen Entwicklungsphasen Aussagen über die Sicherheit und Korrektheit mit präzisen Resultaten berechnet werden. Diese frühen Aussagen sind entscheidend, da es so möglich ist, das Systemdesign frühzeitig und damit kosteneffizient anzupassen.