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
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Formale Techniken fur die Eisenbahnsicherungstechnik
British Library Conference Proceedings | 2000
|SLUB | 1980
|TIBKAT | 1987
|SLUB | 1987
|SLUB | 1974
|