Fehlersuche bei Embedded Systems wird einfacher
Eingebettete Systeme sorgen in vielen Maschinen dafür, dass die Prozesse reibungslos funktionieren. Forscher aus Kaiserslautern haben eine preisgekrönte Methode entwickelt, um den Aufwand bei der Überprüfung der Systeme zu reduzieren.
Teilen
Embedded Systems werden beispielsweise in Flugzeugen, Zügen oder Industrierobotern eingesetzt. Da sie die Sicherheit der Maschinen gewährleisten sollen, muss die komplette Hardware regelmäßig überprüft werden, was viel Zeit und Geld kostet. Ein Forscherteam aus Kaiserslautern hat ein Modell entwickelt , mit dem sich Auswirkungen von Hardwarefehlern auf die Software analysieren lassen. Dabei stellte sich heraus, dass sich ein Großteil der Fehler nicht auf die Programme auswirkt.
Es reiche daher, „sich auf bestimmte Stellen zu konzentrieren, bei denen Fehler auch für die Software von Bedeutung sind“, so Christian Bartsch, Erstautor der Studie. Die Fehlersuche wird weniger aufwendig und damit schneller und kostengünstiger. Die Methode erlaube es auch, Schutzmechanismen für bestimmte Hardware-Fehler zu zertifizieren. Unternehmen könnten dann analysieren, ob ihre Sicherheitsvorkehrungen für die potenzielle Problemlage ausreichen. Die Studienarbeit wurde in Arizona mit einem Preis ausgezeichnet.
Aussteller zum Thema
Interesse an News zu Ausstellern, Top-Angeboten und den Trends der Branche?
Browser Hinweis
Ihr Webbrowser ist veraltet. Aktualisieren Sie Ihren Browser für mehr Sicherheit, Geschwindigkeit und eine optimale Darstellung dieser Seite.
Browser aktualisieren