Fehlerkontrolle bei Computern, die über Leben und Tod entscheiden
Ob in Flugzeugen, im Auto oder während medizinischer Operationen – schon seit einiger Zeit werden viele Prozesse, bei denen Gesundheit und Leben von Menschen potentiell gefährdet sind, mit Computern gesteuert. Doch computergesteuerte Technik funktioniert nicht immer ohne Fehler, was lebensbedrohliche Folgen haben kann. Christof Fetzer, Professor für Systems Engineering an der Technischen Universität Dresden, arbeitet zurzeit an der Entwicklung einer Software, um solche Fehler frühest möglich zu erkennen.
Moderne Prozessoren in Computern haben mittlerweile mehrere Millionen Transistoren. Diese können durch Produktions- oder Entwurfsfehler, Erhitzen oder andere Einflüsse auch beschädigt werden, so dass ihr Funktionieren nicht mehr 100-prozentig gewährleistet ist. Doch genau das ist vor allem beim Einsatz in so genannten „kritischen Systemen“ (wenn Menschenleben davon abhängen) sehr wichtig.
Programme sollen sich in Zukunft selbst prüfen, ob sie auch entsprechend ihrer Aufgabe funktionieren. Ziel ist es, dass kritische Systeme niemals unerkannt Fehler machen, damit auf Funktionsstörungen immer entsprechend schnell reagiert werden kann. Ausfällen in Kraftwerken oder Flugzeugen beispielsweise will man so vorbeugen. Arbeitet die Bremse eines Autos nicht oder nur eingeschränkt, dann sollte der Fahrer dies nicht erst bei einem Bremsversuch bemerken, sondern vom System schon vorher informiert werden. Die Programme müssen sich daher durchgängig selbst kontrollieren, um so jede Möglichkeit eines folgenschweren Fehlers ausschließen zu können.
Das Geheimnis der Dresdner Informatiker liegt darin, das gesamte Spektrum von möglichen Programmabläufen in die Entwicklung der Software einzubeziehen. Bereits vor 20 Jahren konnte man dies bei sehr kleinen Programmen berechnen, weil deren Varianz begrenzt war. Heute ist die Software sehr komplex. Es ergeben sich unzählige Möglichkeiten und Kombinationen, wie Programme arbeiten und ausgeführt werden. Daher ist es sehr schwierig, Komplexität und Menge möglicher Outputs im Vorfeld einzubeziehen. Die Mitarbeiter um Professor Fetzer haben dafür jetzt ein Verfahren entwickelt. Programme können dann in Zukunft selbst eventuelle Abweichungen frühzeitig erkennen und anzeigen.
Informationen für Journalisten: Prof. Dr. Christof Fetzer, Tel. 0351 463-39709, E-Mail: christof.fetzer@inf.tu-dresden.de
Media Contact
Alle Nachrichten aus der Kategorie: Informationstechnologie
Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.
Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.
Neueste Beiträge
Bakterien für klimaneutrale Chemikalien der Zukunft
Forschende an der ETH Zürich haben Bakterien im Labor so herangezüchtet, dass sie Methanol effizient verwerten können. Jetzt lässt sich der Stoffwechsel dieser Bakterien anzapfen, um wertvolle Produkte herzustellen, die…
Batterien: Heute die Materialien von morgen modellieren
Welche Faktoren bestimmen, wie schnell sich eine Batterie laden lässt? Dieser und weiteren Fragen gehen Forschende am Karlsruher Institut für Technologie (KIT) mit computergestützten Simulationen nach. Mikrostrukturmodelle tragen dazu bei,…
Porosität von Sedimentgestein mit Neutronen untersucht
Forschung am FRM II zu geologischen Lagerstätten. Dauerhafte unterirdische Lagerung von CO2 Poren so klein wie Bakterien Porenmessung mit Neutronen auf den Nanometer genau Ob Sedimentgesteine fossile Kohlenwasserstoffe speichern können…