Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Fehlerkontrolle bei Computern, die über Leben und Tod entscheiden

12.07.2006
Dresdner Informatiker entwickelt Software, die Programmausfälle frühzeitig erkennt

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.

... mehr zu:
»Fehlerkontrolle

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

Kim-Astrid Magister | idw
Weitere Informationen:
http://www.tu-dresden.de/
http://web.inf.tu-dresden.de/SyA/

Weitere Berichte zu: Fehlerkontrolle

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Sicheres Bezahlen ohne Datenspur
17.10.2017 | Karlsruher Institut für Technologie

nachricht Saarbrücker Forscher erstellen digitale Objekte aus unvollständigen 3-D-Daten
12.10.2017 | Universität des Saarlandes

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Im Focus: Neutron star merger directly observed for the first time

University of Maryland researchers contribute to historic detection of gravitational waves and light created by event

On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...

Im Focus: Breaking: the first light from two neutron stars merging

Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.

Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....

Im Focus: Topologische Isolatoren: Neuer Phasenübergang entdeckt

Physiker des HZB haben an BESSY II Materialien untersucht, die zu den topologischen Isolatoren gehören. Dabei entdeckten sie einen neuen Phasenübergang zwischen zwei unterschiedlichen topologischen Phasen. Eine dieser Phasen ist ferroelektrisch: das bedeutet, dass sich im Material spontan eine elektrische Polarisation ausbildet, die sich durch ein äußeres elektrisches Feld umschalten lässt. Dieses Ergebnis könnte neue Anwendungen wie das Schalten zwischen unterschiedlichen Leitfähigkeiten ermöglichen.

Topologische Isolatoren zeichnen sich dadurch aus, dass sie an ihren Oberflächen Strom sehr gut leiten, während sie im Innern Isolatoren sind. Zu dieser neuen...

Im Focus: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

DFG unterstützt Kongresse und Tagungen - Dezember 2017

17.10.2017 | Veranstaltungen

Intelligente Messmethoden für die Bauwerkssicherheit: Fachtagung „Messen im Bauwesen“ am 14.11.2017

17.10.2017 | Veranstaltungen

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Sicheres Bezahlen ohne Datenspur

17.10.2017 | Informationstechnologie

Pflanzen gegen Staunässe schützen

17.10.2017 | Biowissenschaften Chemie

Den Trends der Umweltbranche auf der Spur

17.10.2017 | Ökologie Umwelt- Naturschutz