Ingenieure zeigen: nicht alle Fehler beeinflussen Software
Testen sicherheitsrelevanter Hardware
TUK. Ob Flugzeug, Hochgeschwindigkeitszug, Industrieroboter oder Waschmaschine – hierin laufen kleine Computer, die dafür sorgen, dass die Technik reibungslos läuft. Solche eingebetteten Systeme (Embedded Systems) kommen auch in sicherheitsrelevanten Bereichen zum Einsatz. Mit aufwendigen Tests wird die darin verbaute Hardware regelmäßig geprüft. Dass nicht alle Fehler in der Hardware Auswirkungen auf die Software haben, haben Kaiserslauterer Forscher mit einem neuen Verfahren gezeigt. Das...