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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formale Techniken für die Eisenbahnsicherungstechnik


    Subtitle :

    Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen


    Contributors:

    Published in:

    Signal+Draht ; 91 , 10 ; 38-42


    Publication date :

    1999-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Formale Techniken fur die Eisenbahnsicherungstechnik

    Schnieder, E. / Einer, S. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000


    Eisenbahnsicherungstechnik

    Arnold, Hans-Jürgen | SLUB | 1980


    Eisenbahnsicherungstechnik

    Arnold, Hans-Jürgen | TIBKAT | 1987


    Eisenbahnsicherungstechnik

    Arnold, Hans-Jürgen | SLUB | 1987


    Eisenbahnsicherungstechnik

    Arnold, Hans-Jürgen | SLUB | 1974