Für sicherungstechnische Mehrrechnersysteme sind Sicherheitsnachweise notwendig. Sicherheitsrelevante Funktionen werden zunehmend softwaremäßig realisiert. Für Softwareentwicklung sind Methoden vorhanden, deren Technologie, Anwendbarkeit und Erfüllung der Anforderung an den Sicherheitsnachweis einer kritischen Wertung unterzogen wird. Entwicklungsmethoden müssen vor allem Modellierung von Anwender- und Sicherheitsfunktionen in prüfbarer widerspruchsfreier Form realisieren. Objektorientierte Methode erscheint vorteilhaft.
Gedanken zum rechnergestützten Entwurf sicherungstechnischer Mehrprozessorsysteme unter dem Aspekt des Sicherheitsnachweise
Signal+Draht ; 87 , 5 ; 168-173
1995-01-01
6 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Sicherheitsnachweise für Pfahlgründungen
HENRY – Federal Waterways Engineering and Research Institute (BAW) | 2007
|Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb
Online Contents | 1998
|Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb
IuD Bahn | 1998
|Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb
Online Contents | 1997