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. Tr…