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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erschienen in:

    Signal+Draht ; 87 , 5 ; 168-173


    Erscheinungsdatum :

    1995-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch





    Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb

    Oettli, Thomas | Online Contents | 1998


    Risikoorientierte Sicherheitsnachweise im Eisenbahnbetrieb

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


    Sicherheitsnachweise für Pfahlgründungen

    Raithel, Marc | HENRY – Bundesanstalt für Wasserbau (BAW) | 2007

    Freier Zugriff

    Sicherheitsnachweise für mikroelektronische Eisenbahnsignaltechnik

    Wladimirowich Gavzov, D. / Nassedkin, O.A. | Tema Archiv | 2001