Eine Arbeitsgruppe, die sich aus Teilnehmern aus EBA, Industrie, DB AG und Wissenschaft zusammensetzt, hat den Entwurf eines Anforderungskatalogs an Formale Techniken in der Eisenbahnsicherungstechnik erarbeitet. Dies wurde aufgrund der zunehmenden Komplexität der Funktionen in den Sicherungsanlagen notwendig. Der Arbeitskreis diente dazu einen Konsens zwischen den verschiedenen Beschreibungsmitteln herzustellen. Der Einsatz von Formalen Techniken soll langfristig eine Verringerung des Aufwandes in der Systementwicklung mit sich bringen. An die Klärung der begrifflichen Grundlagen schließt sich die Strukturierung bzw. die Klassifizierung der Anforderungen an Formale Techniken.
Formale Techniken für die Eisenbahnsicherungstechnik
Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen
Signal+Draht ; 91 , 10 ; 38-42
1999-01-01
5 pages
Aufsatz (Zeitschrift)
Deutsch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
TIBKAT | 1987
|SLUB | 1987
|SLUB | 1974
|Eisenbahnsicherungstechnik - 4., bearb. Aufl.
Tema Archiv | 1987
|Moderne Eisenbahnsicherungstechnik im Betriebsbahnhof Dortmund
IuD Bahn | 2010
|