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 Förderung des Instituts für Lasertechnik und Messtechnik in Ulm mit rund 1,63 Millionen Euro
24.03.2017 | Ministerium für Wirtschaft, Arbeit und Wohnungsbau Baden-Württemberg

nachricht TU-Bauingenieure koordinieren EU-Projekt zu Recycling-Beton von über sieben Millionen Euro
24.03.2017 | Technische Universität Kaiserslautern

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: Wegweisende Erkenntnisse für die Biomedizin: NAD⁺ hilft bei Reparatur geschädigter Erbinformationen

Eine internationale Forschergruppe mit dem Bayreuther Biochemiker Prof. Dr. Clemens Steegborn präsentiert in 'Science' neue, für die Biomedizin wegweisende Forschungsergebnisse zur Rolle des Moleküls NAD⁺ bei der Korrektur von Schäden am Erbgut.

Die Zellen von Menschen und Tieren können Schäden an der DNA, dem Träger der Erbinformation, bis zu einem gewissen Umfang selbst reparieren. Diese Fähigkeit...

Im Focus: Designer-Proteine falten DNA

Florian Praetorius und Prof. Hendrik Dietz von der Technischen Universität München (TUM) haben eine neue Methode entwickelt, mit deren Hilfe sie definierte Hybrid-Strukturen aus DNA und Proteinen aufbauen können. Die Methode eröffnet Möglichkeiten für die zellbiologische Grundlagenforschung und für die Anwendung in Medizin und Biotechnologie.

Desoxyribonukleinsäure – besser bekannt unter der englischen Abkürzung DNA – ist die Trägerin unserer Erbinformation. Für Prof. Hendrik Dietz und Florian...

Im Focus: Fliegende Intensivstationen: Ultraschallgeräte in Rettungshubschraubern können Leben retten

Etwa 21 Millionen Menschen treffen jährlich in deutschen Notaufnahmen ein. Im Kampf zwischen Leben und Tod zählt für diese Patienten jede Minute. Wenn sie schon kurz nach dem Unfall zielgerichtet behandelt werden können, verbessern sich ihre Überlebenschancen erheblich. Damit Notfallmediziner in solchen Fällen schnell die richtige Diagnose stellen können, kommen in den Rettungshubschraubern der DRF Luftrettung und zunehmend auch in Notarzteinsatzfahrzeugen mobile Ultraschallgeräte zum Einsatz. Experten der Deutschen Gesellschaft für Ultraschall in der Medizin e.V. (DEGUM) schulen die Notärzte und Rettungsassistenten.

Mit mobilen Ultraschallgeräten können Notärzte beispielsweise innere Blutungen direkt am Unfallort identifizieren und sie bei Bedarf auch für Untersuchungen im...

Im Focus: Gigantische Magnetfelder im Universum

Astronomen aus Bonn und Tautenburg in Thüringen beobachteten mit dem 100-m-Radioteleskop Effelsberg Galaxienhaufen, das sind Ansammlungen von Sternsystemen, heißem Gas und geladenen Teilchen. An den Rändern dieser Galaxienhaufen fanden sie außergewöhnlich geordnete Magnetfelder, die sich über viele Millionen Lichtjahre erstrecken. Sie stellen die größten bekannten Magnetfelder im Universum dar.

Die Ergebnisse werden am 22. März in der Fachzeitschrift „Astronomy & Astrophysics“ veröffentlicht.

Galaxienhaufen sind die größten gravitativ gebundenen Strukturen im Universum, mit einer Ausdehnung von etwa zehn Millionen Lichtjahren. Im Vergleich dazu ist...

Im Focus: Giant Magnetic Fields in the Universe

Astronomers from Bonn and Tautenburg in Thuringia (Germany) used the 100-m radio telescope at Effelsberg to observe several galaxy clusters. At the edges of these large accumulations of dark matter, stellar systems (galaxies), hot gas, and charged particles, they found magnetic fields that are exceptionally ordered over distances of many million light years. This makes them the most extended magnetic fields in the universe known so far.

The results will be published on March 22 in the journal „Astronomy & Astrophysics“.

Galaxy clusters are the largest gravitationally bound structures in the universe. With a typical extent of about 10 million light years, i.e. 100 times the...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Rund 500 Fachleute aus Wissenschaft und Wirtschaft diskutierten über technologische Zukunftsthemen

24.03.2017 | Veranstaltungen

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungen

Die „Panama Papers“ aus Programmierersicht

22.03.2017 | Veranstaltungen

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

Rund 500 Fachleute aus Wissenschaft und Wirtschaft diskutierten über technologische Zukunftsthemen

24.03.2017 | Veranstaltungsnachrichten

Förderung des Instituts für Lasertechnik und Messtechnik in Ulm mit rund 1,63 Millionen Euro

24.03.2017 | Förderungen Preise

TU-Bauingenieure koordinieren EU-Projekt zu Recycling-Beton von über sieben Millionen Euro

24.03.2017 | Förderungen Preise