Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

"Verified in Germany" wird Qualitätsmerkmal deutscher Software

10.07.2007
Forschungsministerium fördert weltweit führendes Innovationsprojekt

Softwarefehler verursachen in Europa jährlich einen wirtschaftlichen Schaden von weit über 100 Milliarden Euro. Weil bei der Entwicklung von Software die Anforderungen oft falsch eingeschätzt werden und die existierende Technologie der Fehlersuche sehr aufwändig ist, wenden Hersteller heute 70-80 Prozent ihrer Arbeit für das Entfernen von Softwarefehlern auf. Zuverlässig funktionierende und sichere Software ist aber nicht nur ein Wettbewerbsvorteil für Unternehmen, sondern auch Voraussetzung für sichere Anwendungen etwa im Auto, der Medizin oder Sicherheitstechnik.

Das Bundesministerium für Bildung und Forschung fördert daher das Forschungsprojekt VERISOFT XT in den kommenden drei Jahren mit rund 12 Millionen Euro. Ziel ist die Erarbeitung eines Qualitätssiegels "Verified in Germany". Dazu sollen Methoden und Werkzeuge für die formale Verifizierung des Designs von integrierten Computersystemen geschaffen werden. Das bedeutet, den mathematischen und maschinell überprüften Beweis zu erbringen, dass die betrachteten Computersysteme im Entwurf Null Fehler enthalten. Während im Vorläuferprojekt die mathematischen Grundlagen hierfür erarbeitet wurden, geht es bei VERISOFT XT um beispielhafte industrielle Anwendungen. Hierbei müssen Programme mit zehntausenden Zeilen Code verifiziert werden.

In dem Projektkonsortium arbeiten zehn Partner aus der Wirtschaft, - kleine und große Unternehmen -, sowie sieben Universitäten unter der Konsortialführung des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) zusammen. Das Vorhaben wird im Rahmen des BMBF-Programms IKT 2020 - Forschung für Innovationen durchgeführt.

Ein Anwendungsbeispiel kommt aus dem Automobilbereich. Ein Fahrzeug enthält heute durchschnittlich 50 Steuergeräte (ABS, EPS etc.) bestehend aus jeweils rund 300 Elektronikbauteilen. Beträgt die Ausfallrate jedes dieser 15.000 Bauteile aufgrund von Produktions-, Entwurfs- oder Betriebsfehlern eins zu einer Million, dann akkumuliert sich dieses scheinbar geringe Risiko zu einer Ausfallrate von 1,5% für die gesamte Elektronik. Bei zu erwartender Verdopplung des Elektronikanteils in Fahrzeugen und Wegfall mechanischer Rückfallebenen verschärft sich dieses Problem entsprechend. In VERISOFT XT soll deshalb die Funktion und das Echtzeitverhalten eines kompletten Mikrokontrollersystems in einem Steuergerät, das eine sicherheitskritische Funktion im Fahrwerk eines Oberklassefahrzeuges implementiert, formal verifiziert werden.

Der Bedienkomfort und die Fülle von Funktionalität moderner Betriebssysteme führen gleichzeitig zu Sicherheitslücken und Angriffspunkten, die Hacker nutzen, um illegal an vertrauliche Daten zu kommen. Zwar existieren kleinere Betriebssysteme, die aufgrund ihrer Größe überschaubarer und damit vertrauenswürdiger bleiben. Diese bieten jedoch nicht den Komfort, den man beispielsweise von seiner Homebanking-Software erwarten würde. Der Hypervisor stellt eine Lösung für dieses Dilemma dar. Er ist, einfach ausgedrückt, ein Betriebssystem für Betriebssysteme und stellt sicher, dass es keinen unerlaubten Speicher-zugriff zwischen einzelnen Betriebssystemen gibt. Mit VERISOFT XT soll an einem konkreten Beispiel gezeigt werden, dass auch böswillige Anwender keine Chance haben, den verifizierten Hypervisor zu überlisten.

| BMBF Newsletter
Weitere Informationen:
http://www.verisoft.de
http://www.bmbf.de/press/

Weitere Berichte zu: Betriebssystem Computersystem

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Spitzenforschung vom Nanodraht bis zur Supernova: Fünf ERC Consolidator Grants für die TU München
14.12.2017 | Technische Universität München

nachricht Leibniz-Preise 2018: DFG zeichnet vier Wissenschaftlerinnen und sieben Wissenschaftler aus
14.12.2017 | Deutsche Forschungsgemeinschaft (DFG)

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: Nanostrukturen steuern Wärmetransport: Bayreuther Forscher entdecken Verfahren zur Wärmeregulierung

Der Forschergruppe von Prof. Dr. Markus Retsch an der Universität Bayreuth ist es erstmals gelungen, die von der Temperatur abhängige Wärmeleitfähigkeit mit Hilfe von polymeren Materialien präzise zu steuern. In der Zeitschrift Science Advances werden diese fortschrittlichen, zunächst für Laboruntersuchungen hergestellten Funktionsmaterialien beschrieben. Die hiermit gewonnenen Erkenntnisse sind von großer Relevanz für die Entwicklung neuer Konzepte zur Wärmedämmung.

Von Schmetterlingsflügeln zu neuen Funktionsmaterialien

Im Focus: Lange Speicherung photonischer Quantenbits für globale Teleportation

Wissenschaftler am Max-Planck-Institut für Quantenoptik erreichen mit neuer Speichertechnik für photonische Quantenbits Kohärenzzeiten, welche die weltweite...

Im Focus: Long-lived storage of a photonic qubit for worldwide teleportation

MPQ scientists achieve long storage times for photonic quantum bits which break the lower bound for direct teleportation in a global quantum network.

Concerning the development of quantum memories for the realization of global quantum networks, scientists of the Quantum Dynamics Division led by Professor...

Im Focus: Electromagnetic water cloak eliminates drag and wake

Detailed calculations show water cloaks are feasible with today's technology

Researchers have developed a water cloaking concept based on electromagnetic forces that could eliminate an object's wake, greatly reducing its drag while...

Im Focus: Neue Einblicke in die Materie: Hochdruckforschung in Kombination mit NMR-Spektroskopie

Forschern der Universität Bayreuth und des Karlsruhe Institute of Technology (KIT) ist es erstmals gelungen, die magnetische Kernresonanzspektroskopie (NMR) in Experimenten anzuwenden, bei denen Materialproben unter sehr hohen Drücken – ähnlich denen im unteren Erdmantel – analysiert werden. Das in der Zeitschrift Science Advances vorgestellte Verfahren verspricht neue Erkenntnisse über Elementarteilchen, die sich unter hohen Drücken oft anders verhalten als unter Normalbedingungen. Es wird voraussichtlich technologische Innovationen fördern, aber auch neue Einblicke in das Erdinnere und die Erdgeschichte, insbesondere die Bedingungen für die Entstehung von Leben, ermöglichen.

Diamanten setzen Materie unter Hochdruck

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Mit allen Sinnen! - Sensoren im Automobil

14.12.2017 | Veranstaltungen

Materialinnovationen 2018 – Werkstoff- und Materialforschungskonferenz des BMBF

13.12.2017 | Veranstaltungen

Innovativer Wasserbau im 21. Jahrhundert

13.12.2017 | Veranstaltungen

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

Was für IT-Manager jetzt wichtig ist

14.12.2017 | Unternehmensmeldung

30 Baufritz-Läufer beim 25. Erkheimer Nikolaus-Straßenlauf

14.12.2017 | Unternehmensmeldung

Mit allen Sinnen! - Sensoren im Automobil

14.12.2017 | Veranstaltungsnachrichten