Helen ist zu Gast am Institut für Datentechnik und Kommunikationsnetze an der Technischen Universität Braunschweig und führt ein spannendes Gespräch mit dem promovierenden Ingenieur Mischa Möstl. Er beschäftigt sich mit dem Sicherheitsnachweis für vernetzte, eingebettete Systeme, also der Frage, ob diese die geforderten Ansprüche an die Sicherheit und Fehlerfreiheit erfüllen können.