HOME | DEUTSCH | IMPRESSUM | KIT

Other Publications: VALSOFT Abschlussbericht

[snelting97tr]Gregor Snelting, U. Grottker, M. Goldapp, VALSOFT Abschlussbericht, December 1997.

Abstract

Die Physikalisch-Technische Bundesanstalt muss alle eichpflichtigen Mess geräte prüfen. Da heute fast jedes Messgerät durch Software gesteuert wird, muss sichergestellt werden, dass der Datenpfad vom Sensoreingang zur Anzeige des gemessenen Wertes (Eichpfad) nicht durch externe Faktoren beeinflusst werden kann. Um den bisher manuellen Prüfprozess zu verbessern, wurde ein Werkzeug entwickelt, das Beeinflussungen des Eichpfades erkennt, analysiert und visualisiert. Grundlage der Analyse sind Program Slicing und Constraint Solving . Zu beliebigen Programmpunkten (z.B. Mess wertausgaben) können diejenigen Anweisungen bestimmt werden, die diesen Punkt beeinflussen (sog. Slice). Zusätzlich können genaue Bedingungen berechnet werden, unter denen verdächtige Datenflüsse stattfinden. Der Prüfingenieur kann die gewonnene Information mittels einer interaktiven Benutzerschnittstelle nutzen. Anwendungen in anderen sicherheitskritischen Bereichen sind ohne weiteres möglich. Ergebnis des Projektes ist ein funktionsfähiger Prototyp. Für den praktischen Einsatz sind jedoch noch erhebliche Anpassungen an reale Messgeräte erforderlich.

Download

BibTeX

Authors at the institute

Department Head
Prof. Gregor Snelting