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 Kieler Wissenschaft entwickelt exzellentes Forschungsdatenmanagement
21.08.2017 | ZBW – Leibniz-Informationszentrum Wirtschaft

nachricht Computer mit Köpfchen
18.08.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Topologische Quantenzustände einfach aufspüren

Durch gezieltes Aufheizen von Quantenmaterie können exotische Materiezustände aufgespürt werden. Zu diesem überraschenden Ergebnis kommen Theoretische Physiker um Nathan Goldman (Brüssel) und Peter Zoller (Innsbruck) in einer aktuellen Arbeit im Fachmagazin Science Advances. Sie liefern damit ein universell einsetzbares Werkzeug für die Suche nach topologischen Quantenzuständen.

In der Physik existieren gewisse Größen nur als ganzzahlige Vielfache elementarer und unteilbarer Bestandteile. Wie das antike Konzept des Atoms bezeugt, ist...

Im Focus: Unterwasserroboter soll nach einem Jahr in der arktischen Tiefsee auftauchen

Am Dienstag, den 22. August wird das Forschungsschiff Polarstern im norwegischen Tromsø zu einer besonderen Expedition in die Arktis starten: Der autonome Unterwasserroboter TRAMPER soll nach einem Jahr Einsatzzeit am arktischen Tiefseeboden auftauchen. Dieses Gerät und weitere robotische Systeme, die Tiefsee- und Weltraumforscher im Rahmen der Helmholtz-Allianz ROBEX gemeinsam entwickelt haben, werden nun knapp drei Wochen lang unter Realbedingungen getestet. ROBEX hat das Ziel, neue Technologien für die Erkundung schwer erreichbarer Gebiete mit extremen Umweltbedingungen zu entwickeln.

„Auftauchen wird der TRAMPER“, sagt Dr. Frank Wenzhöfer vom Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar- und Meeresforschung (AWI) selbstbewusst. Der...

Im Focus: Mit Barcodes der Zellentwicklung auf der Spur

Darüber, wie sich Blutzellen entwickeln, existieren verschiedene Auffassungen – sie basieren jedoch fast ausschließlich auf Experimenten, die lediglich Momentaufnahmen widerspiegeln. Wissenschaftler des Deutschen Krebsforschungszentrums stellen nun im Fachjournal Nature eine neue Technik vor, mit der sich das Geschehen dynamisch erfassen lässt: Mithilfe eines „Zufallsgenerators“ versehen sie Blutstammzellen mit genetischen Barcodes und können so verfolgen, welche Zelltypen aus der Stammzelle hervorgehen. Diese Technik erlaubt künftig völlig neue Einblicke in die Entwicklung unterschiedlicher Gewebe sowie in die Krebsentstehung.

Wie entsteht die Vielzahl verschiedener Zelltypen im Blut? Diese Frage beschäftigt Wissenschaftler schon lange. Nach der klassischen Vorstellung fächern sich...

Im Focus: Fizzy soda water could be key to clean manufacture of flat wonder material: Graphene

Whether you call it effervescent, fizzy, or sparkling, carbonated water is making a comeback as a beverage. Aside from quenching thirst, researchers at the University of Illinois at Urbana-Champaign have discovered a new use for these "bubbly" concoctions that will have major impact on the manufacturer of the world's thinnest, flattest, and one most useful materials -- graphene.

As graphene's popularity grows as an advanced "wonder" material, the speed and quality at which it can be manufactured will be paramount. With that in mind,...

Im Focus: Forscher entwickeln maisförmigen Arzneimittel-Transporter zum Inhalieren

Er sieht aus wie ein Maiskolben, ist winzig wie ein Bakterium und kann einen Wirkstoff direkt in die Lungenzellen liefern: Das zylinderförmige Vehikel für Arzneistoffe, das Pharmazeuten der Universität des Saarlandes entwickelt haben, kann inhaliert werden. Professor Marc Schneider und sein Team machen sich dabei die körpereigene Abwehr zunutze: Makrophagen, die Fresszellen des Immunsystems, fressen den gesundheitlich unbedenklichen „Nano-Mais“ und setzen dabei den in ihm enthaltenen Wirkstoff frei. Bei ihrer Forschung arbeiteten die Pharmazeuten mit Forschern der Medizinischen Fakultät der Saar-Uni, des Leibniz-Instituts für Neue Materialien und der Universität Marburg zusammen Ihre Forschungsergebnisse veröffentlichten die Wissenschaftler in der Fachzeitschrift Advanced Healthcare Materials. DOI: 10.1002/adhm.201700478

Ein Medikament wirkt nur, wenn es dort ankommt, wo es wirken soll. Wird ein Mittel inhaliert, muss der Wirkstoff in der Lunge zuerst die Hindernisse...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

International führende Informatiker in Paderborn

21.08.2017 | Veranstaltungen

Wissenschaftliche Grundlagen für eine erfolgreiche Klimapolitik

21.08.2017 | Veranstaltungen

DGI-Forum in Wittenberg: Fake News und Stimmungsmache im Netz

21.08.2017 | Veranstaltungen

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

Im Neptun regnet es Diamanten: Forscherteam enthüllt Innenleben kosmischer Eisgiganten

21.08.2017 | Physik Astronomie

Ein Holodeck für Fliegen, Fische und Mäuse

21.08.2017 | Biowissenschaften Chemie

Institut für Lufttransportsysteme der TUHH nimmt neuen Cockpitsimulator in Betrieb

21.08.2017 | Verkehr Logistik