safeTbox: Tool für die Entwicklung & Zertifizierung von sicherheitskritischen Systemen

Abhilfe schaffen Techniken und Methoden des modellbasierten Systems- und Safety-Engineering gepaart mit adäquater Werkzeugunterstützung. In unserem Werkzeug safeTbox werden die üblichen, im Rahmen eines systematischen Safety Engineering notwendigen, Tätigkeiten, wie Gefahrenanalyse und Risikobeurteilung, Sicherheitsanalyse sowie das Erstellen eines Sicherheitskonzepts und das Synthetisieren eines Sicherheitsnachweises, nahtlos mit Techniken des Systems- Engineerings integriert.

So bietet safeTbox zum Beispiel eine Modellierungstechnik zur Spezifikation der Systemarchitektur, welche es erlaubt, Fehlermodelle direkt Systemartefakten zuzuordnen und somit die diesbezügliche Nachvollziehbarkeit und Verfolgbarkeit zu gewährleisten.

Zusätzlich zu der Verlinkung von Fehlermodellen und Architektur erlaubt es safeTbox, dynamische Verbindungen zwischen allen Entwicklungsartefakten zu erstellen. Diese Verbindungen ermöglichen sowohl ein einfaches Auffinden von referenzierten Elementen als auch die Navigation zu diesen.

Die in safeTbox integrierten Modellierungstechniken wurden ausnahmslos nach dem Konzept der Modularisierung entwickelt (zum Beispiel Komponentenfehlerbäume (CFTs), Systemkomponenten und -funktionen, Sicherheitskonzepte), um den einfachen Austausch von Komponenten zu unterstützen und damit die Wartbarkeit der entwickelten Systeme zu erhöhen sowie ein effizientes Wiederverwenden von Komponenten oder Teilsystemen in neuen Projekten zu ermöglichen.

Darüber hinaus bietet safeTbox eine Reihe von Features zur Verbesserung der Benutzerfreundlichkeit und zur teilweisen Automatisierung. Neben der vereinfachten Navigation durch Elementstrukturen wird der Benutzer von safeTbox unter anderem durch Konsistenzprüfungen in Bezug auf Elementschnittstellen, die Möglichkeit zum Bearbeiten und Exportieren der Modellelemente in tabellarischer Form oder Kompatibilität zwischen Projekten unterschiedlicher safeTbox Versionen unterstützt.