SIGNAL+DRAHT | Issue 07-08/2001
Zusätzliche Aspekte zur Anwendung von formalen Techniken
Der Einsatz von formalen Techniken im Bereich der Eisenbahnsicherungstechnik stellt gegenwärtig eine der größten Herausforderungen in der Kooperation von akademischer Welt und Industrie dar. Ein wichtiger Meilenstein war dabei die Erarbeitung eines Anforderungskatalogs an formale Techniken in der Eisenbahnsicherungstechnik [1]. Der folgende Artikel schließt an den darin vorgestellten Erkenntnissen an und beleuchtet einige zusätzliche Aspekte wie Umfang und Strenge sowie administrative und technische Gestaltungsmöglichkeiten der Formalisierung.