Safety Cases sind eine etablierte Methode in Zertifizierungsprozessen eingebetteter Systeme. Sie dienen dazu, Safety-Ziele mit Safety-Lösungen zu nachverfolgbar zu verbinden, und damit den Nachweis von Sicherheitseigenschaften zu erbringen. Aufgrund ihrer mangelnden Unterstützung von Security-Aspekten…