KIT | KIT-Bibliothek | Impressum

Software-Sicherheitsprüfung mit VALSOFT

Krinke, Jens; Robschink, Torsten; Snelting, Gregor

The Physikalisch-Technische Bundesanstalt must check all measurement instruments requiring calibration. Since almost every measuring instrument is controlled by software today, it must be guaranteed that the data path from the sensor input to the display (calibration path) cannot be influenced by external factors. The VALSOFT tool detects, analyzes and visualizes influences on the calibration path. The analysis is based on Program Slicing and Constraint Solving. For any program point (e.g. outputs of measured values) those statements can be determined, which influence this point (so-called Slice). Additionally. exact conditions on which suspicious data flows take place can be calculated (so-called path conditions). Applications within other safety-critical areas arc possible.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Deutsch
Identifikator ISSN: 0949-2925
KITopen ID: 1000017630
Erschienen in Informatik - Forschung und Entwicklung
Band 14
Heft 2
Seiten 62 - 73
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page