Automatisierte und autonome Verkehrssysteme von morgen zu entwickeln und abzusichern, ist ein wesentlicher Baustein für die Gestaltung der Zukunft. Hierfür sind neue effiziente Systems-Engineering-Methoden und -Werkzeuge erforderlich. Sie ermöglichen den Nachweis der Funktionalität (Verifikation) und der Praxistauglichkeit (Validierung) sowie die Weiterentwicklung vertrauenswürdiger Systeme für autonomes Fahren in den Bereichen Automobil, Schiffs- und Bahnverkehr sowie Luftfahrt. Um die…