Sicherheitslücken schneller erkennen: ein Herausforderung für das CEA-List
Das CEA-LIST (Labor für die Integration von Systemen und Technologien der Behörde für Atomenergie und alternative Energien) hat ein Softwarewerkzeug (Frama C) und Methoden entwickelt, mit denen Sicherheitslücken in kritischen Programmen aufgespürt werden können. Diese Programme wurden bislang erfolgreich in der Luftfahrt eingesetzt, um die Funktionsfähigkeit der Systeme zu gewährleisten.