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.
Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali
Verlässlichkeit und Sicherheit innovativer Steuer- und Kontrollsysteme. Modellgestützte Ansätze und deren industrielle Anwendungen
Ingegneria ferroviaria ; 65 , 6 ; 543-555
2010-01-01
13 pages
Aufsatz (Zeitschrift)
Italienisch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Sistemi navali di comunicazione, comando e controllo
Online Contents | 1995
|PARTE SECONDA - LA DIFESA - Sistemi early warning e di comando e controllo
Online Contents | 1998
Riepilogo di sistemi di trasporto innovativi
IuD Bahn | 2008
|