Modellbasierte Entwicklung und Absicherung sicherheitskritischer Systeme mit Assurance Cases
Die Methodik ACCESS ermöglicht die Entwicklung sicherheitskritischer Systeme um einen sich entwickelnden Assurance Case, indem sie Prinzipien des modellbasierten Systementwurfs (MBSE) nutzt. ACCESS unterstützt die automatisierte Bewertung des Assurance Case zusammen mit den zugehörigen Entwicklungsartefakten, sowohl zur Entwicklungszeit als auch zur Laufzeit.
