Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Qualitätscheck für Software: DFG fördert Informatik-Projekt mit 600 000 Euro

29.02.2016

Informatiker der Uni Ulm und der HU Berlin arbeiten an einem zuverlässigen "Qualitätscheck" für Software während der Entwicklung. Das Ziel: Die Schnelligkeit und Zuverlässigkeit technischer Systeme sollen gewährleistet und gefährliche Fehler vermieden werden. Ein Beispiel kommt aus der Fahrzeugentwicklung: Vor allem in den Bereichen Fahrerassistenzsysteme oder Sicherheit kann der Ausfall einzelner Systeme zu Gefahrensituationen führen. Deshalb muss genauestens analysiert werden, ob und wie Fehler von Komponenten und Kombinationen von Fehlern Unfälle verursachen können. Das Projekt der Forscher wird von der DFG für weitere drei Jahre mit insgesamt 600 000 Euro gefördert.

Software ist aus unserem Alltag nicht mehr wegzudenken. Sie steckt in Smartphones, Autos, aber auch zum Beispiel im guten alten Fahrkartenautomaten. Um die Schnelligkeit und Sicherheit solcher technischen Systeme zu gewährleisten, muss die entsprechende Software bereits während ihrer Entwicklung systematisch analysiert und kontrolliert werden.


Prof. Matthias Tichy ist der neue Leiter des Instituts für Programmiermethodik und Compilerbau an der Universität Ulm

Foto: Eberhardt/Uni Ulm

Zur Vorhersage und Kontrolle solcher Qualitätseigenschaften forschen Professor Matthias Tichy, Leiter des Ulmer Instituts für Programmiermethodik und Compilerbau, und Professor Lars Grunske (HU Berlin). Nun wurde bekannt, dass die Deutsche Forschungsgemeinschaft (DFG) ihr Projekt ENSURE auch in der zweiten Förderphase über drei Jahre mit insgesamt knapp 600 000 Euro unterstützt.

Bisher ist die Qualitätsanalyse von Software während der Entwicklung oft unzureichend. Das Problem: Wie sich ein System und seine Umwelt verhalten, ist noch nicht ausreichend bekannt, was zu gefährlichen Fehlern führen kann. Ein Anwendungsbeispiel des Projekts ENSURE (ENsurance of Software evolUtion by Run-time cErtification) kommt aus der Fahrzeugentwicklung, denn in modernen Autos sind über 100 vernetzte Steuergeräte und eine Vielzahl von Sensoren verbaut:

„Ein Ausfall jedes einzelnen dieser Systeme kann vor allem in den Bereichen Fahrerassistenzsysteme oder Sicherheit zu Gefahrensituationen und schließlich Unfällen führen. Deshalb wird hier genauestens analysiert und geprüft, ob und wie Fehler einzelner Komponenten und Kombinationen von Fehlern Unfälle verursachen können“, erläutert Tichy. Bei solchen Prüfungen ist die stark arbeitsteilige Entwicklung von Fahrzeugen hinderlich: Änderungen am technischen System – ein Beispiel ist der Einbau weiterer Sensoren – und Sicherheitsanalysen werden meist in unterschiedlichen Abteilungen durchgeführt, die nicht selten mit verschiedener Software arbeiten.

Der spätere, oft manuelle Abgleich ist eine nicht zu unterschätzende Fehlerquelle. Im Projekt ENSURE arbeiten Forscher um Tichy und Grunske an der Lösung: Sie wollen diese Abgleichprozesse teilautomatisieren, so dass neue mögliche Fehler nach einer technischen Änderung sofort in so genannte Fehlerbäume eingepflegt werden. Diese Fehlerbäume sind dann eine wesentliche Grundlage der Sicherheitsanalyse.

Ein weiteres Anwendungsbeispiel aus dem Projekt ENSURE ist die Analyse der Leistungsfähigkeit verteilter Webanwendungen. Wie reagiert das System auf sich ändernde und vor allem steigende Nutzerzahlen? Und inwiefern ändert sich die „Performance“, wenn man eine neue Funktionalität hinzufügt? Sind mögliche Fragestellungen eines Qualitätschecks. Die Softwaretechniker untersuchen etwa konkret, ob die Antwortzeit des Systems bei einer unterschiedlichen Anzahl gleichzeitiger Benutzer (maximal 500) unter 0,5 Sekunden bleibt, wenn eine bestimmte zusätzliche Funktionalität eingebaut wird.

ENSURE wird im Zuge des Schwerpunktprogramms 1593 „Design for Future – Managed Software Evolution“ als eines von 13 Forschungsprojekten von der DFG gefördert. In der ersten Phase haben die Wissenschaftler Tichy und Grunske grundlegende Konzepte entwickelt und Softwareprototypen erstellt, die eine kontinuierliche Qualitätskontrolle ermöglichen – selbst wenn sich das System verändert. In der jetzt angelaufenen zweiten Förderphase soll die Analysegeschwindigkeit gesteigert werden:

Zum einen setzen die Forscher auf maschinelle Lernverfahren, um Entwickler in nicht-automatisierbaren Situationen auf technische Änderungen hinzuweisen, damit sie die nötigen Schritte veranlassen. Zum zweiten sollen bei kleineren Änderungen nur noch die betroffenen Komponenten analysiert werden. Die Kontrolle kann also deutlich schneller durchgeführt werden. Ob sich ihre Forschungsergebnisse in die Praxis übertragen lassen, wollen die Informatiker weiterhin in Zusammenarbeit mit zwei großen europäischen Industriepartnern überprüfen.

„Eine herausragende Qualität von Produkten ist vor allem in einem Hochlohnland wie Deutschland wichtig, um sich im internationalen Wettbewerb zu behaupten. Das Projekt ENSURE ermöglicht, systematisch die Qualität der Software zu sichern und somit diesen Wettbewerbsvorteil zu erhalten“, stimmen die Professoren Tichy und Grunske überein.

Weitere Informationen: Prof. Dr. Matthias Tichy: 0731/50-24160, matthias.tichy@uni-ulm.de

www.uni-ulm.de

Annika Bingmann | idw - Informationsdienst Wissenschaft

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Sechs innovative Projekte sind im Rennen um den begehrten European Health Award 2017
17.08.2017 | European Health Forum Gastein

nachricht ERC-Grants: Fünf neue Projekte an der LMU
11.08.2017 | Ludwig-Maximilians-Universität München

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

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...

Im Focus: Exotische Quantenzustände: Physiker erzeugen erstmals optische „Töpfe" für ein Super-Photon

Physikern der Universität Bonn ist es gelungen, optische Mulden und komplexere Muster zu erzeugen, in die das Licht eines Bose-Einstein-Kondensates fließt. Die Herstellung solch sehr verlustarmer Strukturen für Licht ist eine Voraussetzung für komplexe Schaltkreise für Licht, beispielsweise für die Quanteninformationsverarbeitung einer neuen Computergeneration. Die Wissenschaftler stellen nun ihre Ergebnisse im Fachjournal „Nature Photonics“ vor.

Lichtteilchen (Photonen) kommen als winzige, unteilbare Portionen vor. Viele Tausend dieser Licht-Portionen lassen sich zu einem einzigen Super-Photon...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

European Conference on Eye Movements: Internationale Tagung an der Bergischen Universität Wuppertal

18.08.2017 | Veranstaltungen

Einblicke ins menschliche Denken

17.08.2017 | Veranstaltungen

Eröffnung der INC.worX-Erlebniswelt während der Technologie- und Innovationsmanagement-Tagung 2017

16.08.2017 | Veranstaltungen

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

Eine Karte der Zellkraftwerke

18.08.2017 | Biowissenschaften Chemie

Chronische Infektionen aushebeln: Ein neuer Wirkstoff auf dem Weg in die Entwicklung

18.08.2017 | Biowissenschaften Chemie

Computer mit Köpfchen

18.08.2017 | Informationstechnologie