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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

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



    Published in:

    Ingegneria ferroviaria ; 65 , 6 ; 543-555


    Publication date :

    2010-01-01


    Size :

    13 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Italian




    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




    Il Comando e Controllo dei mezzi subacquei

    Pasanisi, Antonio | Online Contents | 1996