Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Bioinformatik - Softwarefehler in der Computersimulationen und ihre Bekämpfung

24.04.2007
Softwarefehler schleichen sich auch in wissenschaftliche Computersimulationen ein - In Stralsund sichern Forscher ihr Modell durch ein mathematisches Verfahren gegen Laufzeitfehler. Diese zählen zu den häufigsten und gefährlichsten Softwarefehlern - und sie schleichen sich auch in wissenschaftliche Computersimulationen ein. Im Projekt "Modeling chromatin fibers by Monte Carlo procedures and analytical descriptions" der FH Stralsund haben sie jedoch keine Chance: Das mathematische Verfahren der abstrakten Interpretation spürt sie sicher auf.

Im Fachbereich "Elektrotechnik und Informatik" der Fachhochschule Stralsund arbeiten Forscher an dem Projekt "Modeling chromatin fibers by Monte Carlo procedures and analytical descriptions". In Zusammenarbeit mit dem Kirchhoff-Institut für Physik der Universität Heidelberg will das Team um Prof. Dr. Gero Wedemann ein Modell der Chromatinfaser entwickeln, mit dessen Hilfe sich die räumliche Organisation und die dynamischen Eigenschaften des Molekülkomplexes beschreiben lassen. Beides ist von Bedeutung bei der Transkription des Erbguts, also der Übertragung des genetischen Codes von der DNA auf die RNA, dem Zwischenschritt auf dem Weg zur Proteinsynthese (der Translation). Von der Erforschung des Chromatins erhoffen sich Mediziner Hinweise auf die Entstehung und Vererbung von Krankheiten.

Ein häufiger Stolperstein solcher Forschungen sind Fehler im Programm, das die Modellberechnungen ausführt. Prof. Dr. Gero Wedemann: "Wissenschaftliche Software wird oft nicht gründlich genug getestet. Dadurch besteht die Gefahr, dass sich Fehler in die Simulation einschleichen und unbemerkt das Modell beeinflussen."

Das Problem: Da es sich zumeist um Grundlagenforschung handelt, liegen nur wenige Vergleichsdaten vor, die zur Beurteilung der Simulationsergebnisse herangezogen werden könnten. Ein Fehler könnte daher - bliebe er unentdeckt - die Forschung der folgenden Jahre in eine falsche Richtung lenken. Deswegen spielen Korrektheit und Fehlerfreiheit von Software in wissenschaftlichen Projekten eine ausschlaggebende Rolle. Die häufigsten und gefährlichsten Softwarefehler sind Laufzeitfehler. Sie machen sich erst bemerkbar, wenn das Programm ausgeführt wird und lassen es zumeist ohne Vorwarnung abstürzen. Die Stralsunder Forscher beugen ihnen durch eine umfangreiche Softwarevalidierung mit zahlreichen Tests und Reviews vor.

Seit neuestem greifen sie dazu sogar auf Mathematik zurück: Das Analysewerkzeug "Polyspace Verifier" der bei München beheimateten Polyspace Technologies GmbH verwendet das Prinzip der "abstrakten Interpretation", um Auftreten und Art von Laufzeitfehlern zu berechnen. - Eigentlich ein Ding der Unmöglichkeit, wie beispielsweise Alan Turing annahm. Der britische Mathematiker trug während des zweiten Weltkriegs maßgeblich dazu bei, den Enigma-Code zu knacken. Mitte der 50er Jahre postulierte er, dass es nicht möglich sei, Laufzeitfehler automatisch vorher zu bestimmen. Sein Argument: Die exakte Menge der möglichen Zustände eines Systems lässt sich nicht berechnen.

Dr. Alain Deutsch, französischer Mathematiker und einer der Gründerväter von Polyspace Technologies, umging dieses Problem jedoch: Je nach Datentyp verfügen Variablen über eine bestimmte Spannweite möglicher Ausprägungen. Der Polyspace Verifier berechnet ausgehend vom Datenfluss des Quellcode, welchen Wertebereich jede Variable zu jedem Zeitpunkt während des Programmablaufs beinhalten kann. Darauf folgend wird für jede mögliche Operation des Programms analysiert, ob nicht erlaubte Zustände (z.B. Division durch Null, Overflow) auftreten können.

Zahlreiche Nachteile dynamischer Softwaretests lassen sich so vermeiden. So kann beispielsweise anhand von Tests nur festgestellt werden, dass ein Laufzeitfehler vorliegt, aber nicht worin er besteht. Auch bleiben viele Fehler unentdeckt, weil die dazu notwendigen Testszenarien nicht ausgeführt wurden oder weil die Fehler auf das erwartete Testergebnis keinen Einfluss hatten. Gegenüber dem weit verbreiteten Faganschen Inspektionsprozess hat die automatisierte Prüfung den Vorteil, dass sie wesentlich schneller abläuft: 400 Zeilen Quellcode überprüft der Verifier in etwa 10 Minuten - dazu benötigen vier Inspektoren nach Fagan jeweils sechs Stunden.

Projektmitarbeiter René Stehr und Prof. Dr. Gero Wedemann sind auf eine schnelle Softwarevalidierung angewiesen, denn der Quellcode der Simulationssoftware wird kontinuierlich um neue Segmente ergänzt. So können zusätzliche Faktoren in die Simulation einbezogen werden. Aktuell arbeitet das Team beispielsweise daran, das elektrische Potenzial der DNA in die Modellberechnung zu integrieren. "Alle vier bis sechs Wochen ist ein neuer Softwarecheck fällig", betont Prof. Dr. Gero Wedemann, "denn sowohl die neuen Code-Elemente als auch deren Auswirkungen auf den Gesamtcode müssen erneut überprüft werden, bevor eine neue Simulation gestartet werden kann." Bei Modellberechnungszeiten von mehreren Wochen würde ein Softwarefehler das Projekt um Monate zurückwerfen.

Erste Erfolge kann das Projektteam bereits vorweisen: Anhand des Modells ist es gelungen, fünf Eigenschaften der Chromatinfaser zu erklären. So können bereits Aussagen zum Durchmesser der Fiber, zu ihrer Massenbelegungsdichte, zur Orientierung von DNA und Nukleosomen zur Fiberachse und zur Flexibilität der Faser getroffen werden. "Damit liegen wir weltweit vor anderen Forschungsprojekten, die bis jetzt vielleicht zwei oder drei Charakteristika erklären können", so Prof. Dr. Wedemann.

Ansprechpartner:
Fachhochschule Stralsund
Prof. Dr. Gero Wedemann; Rene Stehr
Tel. 03831/457051
E-Mail: gero.Wedemann@fh-stralsund.de
PolySpace Technologies GmbH
Rudolf Frommknecht, Geschäftsführer
Tel. 08153/907220
E-Mail: rudolf.frommknecht@polyspace.com

Dr. Rudi | idw
Weitere Informationen:
http://www.polyspace.com
http://www.user.fh-stralsund.de/~gwede

Weitere Berichte zu: Computersimulationen Laufzeitfehler Polyspace Softwarefehler

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Europäisches Konsortium baut effizientestes Rechenzentrum der Welt
22.11.2017 | Fraunhofer-Institut für Optronik, Systemtechnik und Bildauswertung IOSB

nachricht Geheime Datensammler auf dem Smartphone enttarnen
21.11.2017 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Kleine Strukturen – große Wirkung

Innovative Schutzschicht für geringen Verbrauch künftiger Rolls-Royce Flugtriebwerke entwickelt

Gemeinsam mit Rolls-Royce Deutschland hat das Fraunhofer-Institut für Werkstoff- und Strahltechnik IWS im Rahmen von zwei Vorhaben aus dem...

Im Focus: Nanoparticles help with malaria diagnosis – new rapid test in development

The WHO reports an estimated 429,000 malaria deaths each year. The disease mostly affects tropical and subtropical regions and in particular the African continent. The Fraunhofer Institute for Silicate Research ISC teamed up with the Fraunhofer Institute for Molecular Biology and Applied Ecology IME and the Institute of Tropical Medicine at the University of Tübingen for a new test method to detect malaria parasites in blood. The idea of the research project “NanoFRET” is to develop a highly sensitive and reliable rapid diagnostic test so that patient treatment can begin as early as possible.

Malaria is caused by parasites transmitted by mosquito bite. The most dangerous form of malaria is malaria tropica. Left untreated, it is fatal in most cases....

Im Focus: Transparente Beschichtung für Alltagsanwendungen

Sport- und Outdoorbekleidung, die Wasser und Schmutz abweist, oder Windschutzscheiben, an denen kein Wasser kondensiert – viele alltägliche Produkte können von stark wasserabweisenden Beschichtungen profitieren. Am Karlsruher Institut für Technologie (KIT) haben Forscher um Dr. Bastian E. Rapp einen Werkstoff für solche Beschichtungen entwickelt, der sowohl transparent als auch abriebfest ist: „Fluoropor“, einen fluorierten Polymerschaum mit durchgehender Nano-/Mikrostruktur. Sie stellen ihn in Nature Scientific Reports vor. (DOI: 10.1038/s41598-017-15287-8)

In der Natur ist das Phänomen vor allem bei Lotuspflanzen bekannt: Wassertropfen perlen von der Blattoberfläche einfach ab. Diesen Lotuseffekt ahmen...

Im Focus: Ultrakalte chemische Prozesse: Physikern gelingt beispiellose Vermessung auf Quantenniveau

Wissenschaftler um den Ulmer Physikprofessor Johannes Hecker Denschlag haben chemische Prozesse mit einer beispiellosen Auflösung auf Quantenniveau vermessen. Bei ihrer wissenschaftlichen Arbeit kombinierten die Forscher Theorie und Experiment und können so erstmals die Produktzustandsverteilung über alle Quantenzustände hinweg - unmittelbar nach der Molekülbildung - nachvollziehen. Die Forscher haben ihre Erkenntnisse in der renommierten Fachzeitschrift "Science" publiziert. Durch die Ergebnisse wird ein tieferes Verständnis zunehmend komplexer chemischer Reaktionen möglich, das zukünftig genutzt werden kann, um Reaktionsprozesse auf Quantenniveau zu steuern.

Einer deutsch-amerikanischen Forschergruppe ist es gelungen, chemische Prozesse mit einer nie dagewesenen Auflösung auf Quantenniveau zu vermessen. Dadurch...

Im Focus: Leoniden 2017: Sternschnuppen im Anflug?

Gemeinsame Pressemitteilung der Vereinigung der Sternfreunde und des Hauses der Astronomie in Heidelberg

Die Sternschnuppen der Leoniden sind in diesem Jahr gut zu beobachten, da kein Mondlicht stört. Experten sagen für die Nächte vom 16. auf den 17. und vom 17....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

IfBB bei 12th European Bioplastics Conference mit dabei: neue Marktzahlen, neue Forschungsthemen

22.11.2017 | Veranstaltungen

Zahnimplantate: Forschungsergebnisse und ihre Konsequenzen – 31. Kongress der DGI

22.11.2017 | Veranstaltungen

Tagung widmet sich dem Thema Autonomes Fahren

21.11.2017 | Veranstaltungen

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

Bakterien als Schrittmacher des Darms

22.11.2017 | Biowissenschaften Chemie

Ozeanversauerung schädigt Miesmuscheln im Frühstadium

22.11.2017 | Biowissenschaften Chemie

Die gefrorenen Küsten der Arktis: Ein Lebensraum schmilzt davon

22.11.2017 | Geowissenschaften