Safe-TBox
Einleitung
safeTbox ist ein modellbasiertes Rahmenwerk, das Ingenieure bei der Entwicklung sicherheitskritischer Systeme durch die Integration von Aktivitäten wie Gefahrenanalyse und Risikobewertung, Fehleranalyse, Sicherheitskonzept und Erstellung von Sicherheitsfällen unterstützt.
Traditionell haben sich Sicherheitsingenieure auf text-/tabellenbasierte Lösungen für die Dokumentation von Artefakten verlassen, die während des Entwicklungslebenszyklus erstellt wurden. Die Trennung der entwickelten Artefakte in verschiedene Dokumente führt zu Herausforderungen wie der Aufrechterhaltung der Rückverfolgbarkeit zwischen diesen Artefakten und der Entwicklung eines konsistenten Sicherheitsnachweises.
Mit safeTbox werden die üblichen Safety-Engineering-Aktivitäten wie die Durchführung von Gefahrenanalyse und Risikobewertung (HARA) und Fehleranalyse, die Entwicklung eines Sicherheitskonzepts und die Verwendung aller erstellten Artefakte zur Erstellung eines geeigneten Sicherheitsnachweises in einem einzigen Modell-Repository integriert.
Darüber hinaus bietet safeTbox eine Technik zur Modellierung der Systemarchitektur, bei der Fehlermodelle direkt den Systemkomponenten zugeordnet werden können. Durch die formale Rückverfolgbarkeit zu und von allen technischen Artefakten und den modularen Modellierungsansatz erleichtert safeTbox die Wartbarkeit und Wiederverwendbarkeit von Modellelementen und ermöglicht dem Benutzer eine höhere Effizienz.
