Moderne elektronische Signalanlagen können nicht mit den gleichen konservativen Methoden wie die Relaisstellwerke auf Sicherheit und Verfügbarkeit geprüft werden. Die heute zum Einsatz kommenden Überlegungen und Verfahren werden erläutert. Ein ganzheitlicher (oder integrierter und kohärenter) Ansatz, der auf mehreren Formalismen beruht, kann die Vernachlässigung bestimmter Dynamiken der Interaktion zwischen Teilsystemen vermeiden. Sechs Formalismen werden kurz erläutert. Mehrere mit Hilfe dieser Formalismen entwickelte Modelle z.B. zur Verfügbarkeit werden gezeigt und erläutert. Der Beitrag ist hier in italienischer und in englischer Sprache abgedruckt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali


    Weitere Titelangaben:

    Verlässlichkeit und Sicherheit innovativer Steuer- und Kontrollsysteme. Modellgestützte Ansätze und deren industrielle Anwendungen



    Erschienen in:

    Ingegneria ferroviaria ; 65 , 6 ; 543-555


    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    13 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Italienisch




    Sistemi navali di comunicazione, comando e controllo

    Annati, Massimo | Online Contents | 1995


    Affidabilità dei sistemi ferroviari. Analisi e valutazione mediante modelli die simulazione

    Di Marco, Guido / Malavasi, Gabriele / Ricci, Stefano | IuD Bahn | 2000




    Riepilogo di sistemi di trasporto innovativi

    Dalla Chiara, Bruno / Degioanni, Paolo / Fumarola, Francesco Paolo | IuD Bahn | 2008