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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Zusätzliche Aspekte zur Anwendung von formalen Techniken


    Weitere Titelangaben:

    Additional aspects regarding the application of formal methods


    Beteiligte:
    Tarnai, G. (Autor:in) / Saghi, B. (Autor:in)

    Erschienen in:

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


    Erscheinungsdatum :

    2001


    Format / Umfang :

    4 Seiten, 2 Bilder, 8 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    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