System Safety in SysML

Abstract

Ein Systementwurf kann durch die formale Beschreibung des Systems mit Hilfe der SysML (systems modeling language) erfolgen. Aber, der Entwurf sicherheitskritischer Systeme kann derzeit nicht vollständig abgedeckt werden, da die Bewertung der Systemsicherheit noch nicht explizit durch die SysML unterstützt wird. Mit Methoden wie der FMEA oder der FTA können Safety-Ingenieure solche Bewertungen während der Entwicklung durchführen. Durch das Anwenden eines modellbasierten Entwicklungsansatzes während der Entwicklung sicherheitskritischer Systeme, können System- und Safety-Ingenieure ihre Systementwürfe austauschen. Dieses Papier zeigt, bestehende Ansätze, um einen modellbasierten System-Entwicklungsprozess zu ermöglichen. Der Schwerpunkt liegt auf Ansätzen, die entweder SysML um sicherheitskritische Methoden erweitern wollen oder das Meta-Modell mit sicherheitskritischen Informationen zu erweitern versuchen. Ebenso werden die Vor- und Nachteile dieser Ansätze diskutiert.