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
Aufsatz (Zeitschrift)
Deutsch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb
Online Contents | 1998
|Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb
IuD Bahn | 1998
|Sicherheitsnachweise für Pfahlgründungen
HENRY – Bundesanstalt für Wasserbau (BAW) | 2007
|Sicherheitsnachweise für mikroelektronische Eisenbahnsignaltechnik
Tema Archiv | 2001
|