Inhalt
Herkömmlicherweise wird die Funktionale Sicherheit von Softwaresystemen durch ausgiebiges Testen überprüft. Das ist adäquat für verhältnismäßig einfache, deterministische Systeme (Single-Threaded, Run-to-Completion ...
Vorbereitungen zur funktionalen Sicherheit
Auch wenn das Erreichen funktionaler Sicherheit von Softwaresystemen einen langwierigen und aufwändigen Prozess darstellt, ist der sich daraus ergebende Nutzen nicht hoch genug einzuschätzen. Wie bei jedem ...
Die hinreichende Verlässlichkeit definieren
Die Verlässlichkeit eines Systems beschreibt die Wahrscheinlichkeit der korrekten Funktion über einen bestimmten Zeitraum. Diese ergibt sich aus einer Kombination von Verfügbarkeit, d.h. wie oft das System zeitgerecht auf Ereignisse ...
Die Etablierung effektiver Prozesse
Ein guter Prozess garantiert nicht, dass das dadurch entstandene System die geforderte funktionale Sicherheit erfüllt. Der Prozess sagt überhaupt nichts über die Güte und Funktionalität des Systems aus. Auch mit ...
Wie wird geprüft?
Eine Standardvorgabe zur Erreichung eines Safety Integrity Levels (SIL) ist, dass die Aspekte der funktionalen Sicherheit eines Systems gemessen, validiert und demonstriert werden müssen. Daniel Jackson beschreibt in seinem Buch ...
Aufbau von funktionaler Sicherheit
Das Ergebnis einer Systemprüfung sagt lediglich aus, ob definierte Sicherheits-standards eingehalten werden (oder nicht). Jede Software-Komponente kann dennoch Fehler haben, die zum Ausfall führen können. Diese Tatsache muss ...
Überprüfung der funktionalen Sicherheit
Auch wenn wir alle sicherheitsrelevanten Aspekte bei der Entwicklung berücksichtigt haben, ist das System immer noch nicht unbedingt funktional sicher - dies muss erst nachgewiesen, Aussagen über die Verlässlichkeit müssen ...
Fazit
Im ersten Teil dieser Whitepaper-Serie haben wir festgestellt, dass funktionale Sicherheit für heutige komplexe Softwaresysteme mit Multi-Threading nicht mehr mit traditionellen, zustandsbasierten Testmethoden nachgewiesen werden ...
