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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Gedanken zum rechnergestützten Entwurf sicherungstechnischer Mehrprozessorsysteme unter dem Aspekt des Sicherheitsnachweise


    Contributors:

    Published in:

    Signal+Draht ; 87 , 5 ; 168-173


    Publication date :

    1995-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German





    Sicherheitsnachweise für Pfahlgründungen

    Raithel, Marc | HENRY – Federal Waterways Engineering and Research Institute (BAW) | 2007

    Free access

    Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb

    Oettli, Thomas | Online Contents | 1998


    Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb

    Oettli, Thoma / Fermaud, Charle / Bohnenblust, Han et al. | IuD Bahn | 1998