Die Formalisierung von Methoden und Abläufen hat positive Auswirkungen auf die Transparenz des Ergebnisses des gesamten Lösungsprozesses, verursacht jedoch gleichzeitig zusätzliche Kosten. Das Ziel ist es daher, für konkrete Anwendungsfälle in der Eisenbahnsicherungstechnik den unter Kosten- und Nutzenperspektiven optimalen Grad der Formalisierung auszuwählen. Eine wichtige Voraussetzung dieser Auswahl ist die Kenntnis möglicher Formalisierungs-Abstufungen sowie deren Kosten- und Qualitätswirkung. Die Anwendung von formalen Methoden kann in zwei Dimensionen differenziert werden: hinsichtlich der Strenge der Anwendung und bezüglich des Anwendungsumfangs der Formalisierung. Im folgenden werden mögliche Ausprägungen beider Differenzierungskriterien erläutert. Formale Verfahren können und sollen aufgrund des notwendigen Aufwandes nicht zur Lösung jeder Problemstellung eingesetzt werden, vielmehr sollten sie klassische und bewährte Techniken im Bereich der Entwicklung von sicherheitsrelevanten Systemen ergänzen.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Zusätzliche Aspekte zur Anwendung von formalen Techniken


    Additional title:

    Additional aspects regarding the application of formal methods


    Contributors:
    Tarnai, G. (author) / Saghi, B. (author)

    Published in:

    Signal und Draht ; 93 , 7/8 ; 42-45


    Publication date :

    2001


    Size :

    4 Seiten, 2 Bilder, 8 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Zusätzliche Aspekte zur Anwendung von formalen Techniken

    Tarnai, Géza / Sághi, Baláz | IuD Bahn | 2001


    Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes

    Kammel, K. / Lennartz, K. / Suwe, K.-H. et al. | British Library Conference Proceedings | 2000


    Beispielhafte Anwendung einer formalen Unfallanalysemethode

    Lemke, Oliver / Bosse, Gunnar | IuD Bahn | 2006



    Zusätzliche Eiweißfuttermittel

    Franke, Ernst-Reinhardt / Wetterau, Heinz | Catalogue agriculture | 1962