Kontinuierliche Assurance: Formalverifikation & Assurance‑Cases für autonome Systeme
Autonome Systeme müssen ihr Vertrauen in Korrektheit und Sicherheit über den gesamten Lebenszyklus hinweg – von der Konzeption über die Inbetriebnahme bis hin zur Weiterentwicklung – kontinuierlich nachweisen können. Traditionelle Ansätze trennen Entwicklungs‑ und Laufzeit‑Sicherheitsnachweise, was zu fragmentierten Argumenten führt, die sich nicht an Änderungen im Betrieb anpassen lassen.
