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 Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft
27.04.2017 | Kompetenzzentrum - Das virtuelle Fahrzeug Forschungsgesellschaft mbH

nachricht Ergonomie am Arbeitsplatz: Kamera erkennt ungesunde Bewegungen
24.04.2017 | IPH - Institut für Integrierte Produktion Hannover gGmbH

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: TU Chemnitz präsentiert weltweit einzigartige Pilotanlage für nachhaltigen Leichtbau

Wickelprinzip umgekehrt: Orbitalwickeltechnologie soll neue Maßstäbe in der großserientauglichen Fertigung komplexer Strukturbauteile setzen

Mitarbeiterinnen und Mitarbeiter des Bundesexzellenzclusters „Technologiefusion für multifunktionale Leichtbaustrukturen" (MERGE) und des Instituts für...

Im Focus: Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

58 europäische Industrie- und Forschungspartner aus 11 Ländern forschten unter der Leitung des VIRTUAL VEHICLE drei Jahre lang, um Europas führende Position im Bereich Embedded Systems und dem Internet of Things zu stärken. Die Ergebnisse von DEWI (Dependable Embedded Wireless Infrastructure) wurden heute in Graz präsentiert. Zu sehen war eine Fülle verschiedenster Anwendungen drahtloser Sensornetzwerke und drahtloser Kommunikation – von einer Forschungsrakete über Demonstratoren zur Gebäude-, Fahrzeug- oder Eisenbahntechnik bis hin zu einem voll vernetzten LKW.

Was vor wenigen Jahren noch nach Science-Fiction geklungen hätte, ist in seinem Ansatz bereits Wirklichkeit und wird in Zukunft selbstverständlicher Teil...

Im Focus: Weltweit einzigartiger Windkanal im Leipziger Wolkenlabor hat Betrieb aufgenommen

Am Leibniz-Institut für Troposphärenforschung (TROPOS) ist am Dienstag eine weltweit einzigartige Anlage in Betrieb genommen worden, mit der die Einflüsse von Turbulenzen auf Wolkenprozesse unter präzise einstellbaren Versuchsbedingungen untersucht werden können. Der neue Windkanal ist Teil des Leipziger Wolkenlabors, in dem seit 2006 verschiedenste Wolkenprozesse simuliert werden. Unter Laborbedingungen wurden z.B. das Entstehen und Gefrieren von Wolken nachgestellt. Wie stark Luftverwirbelungen diese Prozesse beeinflussen, konnte bisher noch nicht untersucht werden. Deshalb entstand in den letzten Jahren eine ergänzende Anlage für rund eine Million Euro.

Die von dieser Anlage zu erwarteten neuen Erkenntnisse sind wichtig für das Verständnis von Wetter und Klima, wie etwa die Bildung von Niederschlag und die...

Im Focus: Nanoskopie auf dem Chip: Mikroskopie in HD-Qualität

Neue Erfindung der Universitäten Bielefeld und Tromsø (Norwegen)

Physiker der Universität Bielefeld und der norwegischen Universität Tromsø haben einen Chip entwickelt, der super-auflösende Lichtmikroskopie, auch...

Im Focus: Löschbare Tinte für den 3-D-Druck

Im 3-D-Druckverfahren durch Direktes Laserschreiben können Mikrometer-große Strukturen mit genau definierten Eigenschaften geschrieben werden. Forscher des Karlsruher Institus für Technologie (KIT) haben ein Verfahren entwickelt, durch das sich die 3-D-Tinte für die Drucker wieder ‚wegwischen‘ lässt. Die bis zu hundert Nanometer kleinen Strukturen lassen sich dadurch wiederholt auflösen und neu schreiben - ein Nanometer entspricht einem millionstel Millimeter. Die Entwicklung eröffnet der 3-D-Fertigungstechnik vielfältige neue Anwendungen, zum Beispiel in der Biologie oder Materialentwicklung.

Beim Direkten Laserschreiben erzeugt ein computergesteuerter, fokussierter Laserstrahl in einem Fotolack wie ein Stift die Struktur. „Eine Tinte zu entwickeln,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Internationaler Tag der Immunologie - 29. April 2017

28.04.2017 | Veranstaltungen

Kampf gegen multiresistente Tuberkulose – InfectoGnostics trifft MYCO-NET²-Partner in Peru

28.04.2017 | Veranstaltungen

123. Internistenkongress: Traumata, Sprachbarrieren, Infektionen und Bürokratie – Herausforderungen

27.04.2017 | Veranstaltungen

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

Über zwei Millionen für bessere Bordnetze

28.04.2017 | Förderungen Preise

Symbiose-Bakterien: Vom blinden Passagier zum Leibwächter des Wollkäfers

28.04.2017 | Biowissenschaften Chemie

Wie Pflanzen ihre Zucker leitenden Gewebe bilden

28.04.2017 | Biowissenschaften Chemie