Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Qualitätssiegel "Verified in Germany" - Kick-off Meeting Verisoft XT

17.09.2007
Kick-off Meeting des vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Projektes Verisoft XT und Übergabe des Abschlussberichts des Vorgängerprojekts Verisoft an das BMBF.

Unter dem Motto "Verified in Germany" präsentierte das DFKI am 17. September Highlights aus dem Bereich formale Verifikation des Designs von Computersystemen. Ein gläsernes BMW-Modell veranschaulichte den schematischen Aufbau eines sicheren automatischen Notrufsystems. Verisoft Mitarbeiter zeigten das Software-Werkzeug VSE (Verification Support Environment), das im Verisoft-Projekt zur Fehlersuche eingesetzt wird. Anhand von Videos wurde das Thema Verifikation visualisiert und erklärt.

Das Forschungsprojekt Verisoft XT wird in den kommenden 3 Jahren vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 12 Millionen Euro gefördert. Als neuer Partner steigt unter anderem der Branchenriese Microsoft ein, der ein großes Teilprojekt der saarländischen Informatikforschung unterstützen wird. Dadurch fließt rund ein Drittel der gesamten Verisoft-Fördersumme, also rund 4 Millionen Euro, nach Saarbrücken.

Die Konsortialführung liegt beim Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Neben den großen Industriepartnern Microsoft, T-Systems, Infineon und Audi forschen auch die saarländischen IT-Unternehmen AbsInt Angewandte Informatik GmbH und die Sirrix AG mit.

Wenn bewiesen wird, dass Computersysteme ihre mathematisch exakten Vorgaben korrekt erfüllen, spricht man von formaler Verifikation. Methoden für die formale Verifikation von komplexen Computersystemen, die Soft- und Hardware umfassen, haben Wissenschaftler im Rahmen des Forschungsprojektes Verisoft seit 2003 entwickelt.

"Das Ziel von Verisoft XT ist es jetzt, ein Qualitätssiegel "Verified in Germany" zu erarbeiten und die Verifikation auf existierende Industrieprojekte anzuwenden. Für diese soll der mathematische und maschinell überprüfte Beweis erbracht werden, dass die betrachteten Computersysteme im Entwurf Null Fehler enthalten.", so der Gesamtprojektleiter Prof. Dr. Wolfgang Paul von der Universität des Saarlandes.

In den Forschungsarbeiten, mit denen Microsoft die Saarbrücker Informatikforschung beauftragt hat, geht es um mehr Sicherheit für Betriebssysteme. Da Betriebssysteme heute einfach zu bedienen sind, aber gleichzeitig eine Fülle von Funktionen enthalten, entstehen Sicherheitslücken und Angriffspunkte, 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 Speicherzugriff zwischen einzelnen Betriebssystemen gibt. Mit Verisoft XT soll an konkreten Beispielen gezeigt werden, dass auch böswillige Anwender keine Chance haben, einen verifizierten Hypervisor oder ein verifizierten Realzeitbetriebssystemkern zu überlisten.

Die Grußworte zur Veranstaltung sprachen Prof. Dr. Wolfgang Wahlster (Vorsitzender der Geschäftsführung des DFKI), Dr. Christian Ege (Staatssekretär im Ministerium für Wirtschaft und Wissenschaft des Saarlandes), Dr. Helge Kahler (BMBF) und der Präsident der Universität des Saarlandes Prof. Dr. Volker Linneweber. Die Projektpartner Microsoft, Infineon, T-Systems und Prof. Dr. Wolfgang Paul stellten das Projekt in kompakten Kurzvorträgen vor.

Kontakt:
Thomas in der Rieden
Leiter Projektmanagement Verisoft
E-Mail: Thomas.In_der_Rieden@dfki.de
Telefon: 0681/302-2036
Reinhard Karger
Leiter Unternehmenskommunikation, DFKI
E-Mail: Reinhard.Karger@dfki.de
Telefon: 0681/302-5253

Reinhard Karger | idw
Weitere Informationen:
http://www.verisoft.de
http://www.dfki.de

Weitere Berichte zu: BMBF Betriebssystem Qualitätssiegel Verifikation Verisoft

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht CrowdWater: eine App für die Hochwasser-Forschung
18.05.2018 | Universität Zürich

nachricht Hochautomatisiertes Sehen auf dem Prüfstand
17.05.2018 | FOKUS - Fraunhofer-Institut für Offene Kommunikationssysteme

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Raumschrott im Fokus

Das Astronomische Institut der Universität Bern (AIUB) hat sein Observatorium in Zimmerwald um zwei zusätzliche Kuppelbauten erweitert sowie eine Kuppel erneuert. Damit stehen nun sechs vollautomatisierte Teleskope zur Himmelsüberwachung zur Verfügung – insbesondere zur Detektion und Katalogisierung von Raumschrott. Unter dem Namen «Swiss Optical Ground Station and Geodynamics Observatory» erhält die Forschungsstation damit eine noch grössere internationale Bedeutung.

Am Nachmittag des 10. Februars 2009 stiess über Sibirien in einer Höhe von rund 800 Kilometern der aktive Telefoniesatellit Iridium 33 mit dem ausgedienten...

Im Focus: Bose-Einstein-Kondensat im Riesenatom - Universität Stuttgart untersucht exotisches Quantenobjekt

Passt eine ultrakalte Wolke aus zehntausenden Rubidium-Atomen in ein einzelnes Riesenatom? Forscherinnen und Forschern am 5. Physikalischen Institut der Universität Stuttgart ist dies erstmals gelungen. Sie zeigten einen ganz neuen Ansatz, die Wechselwirkung von geladenen Kernen mit neutralen Atomen bei weitaus niedrigeren Temperaturen zu untersuchen, als es bisher möglich war. Dies könnte einen wichtigen Schritt darstellen, um in Zukunft quantenmechanische Effekte in der Atom-Ion Wechselwirkung zu studieren. Das renommierte Fachjournal Physical Review Letters und das populärwissenschaftliche Begleitjournal Physics berichteten darüber.*)

In dem Experiment regten die Forscherinnen und Forscher ein Elektron eines einzelnen Atoms in einem Bose-Einstein-Kondensat mit Laserstrahlen in einen riesigen...

Im Focus: Algorithmen für die Leberchirurgie – weltweit sicherer operieren

Die Leber durchlaufen vier komplex verwobene Gefäßsysteme. Die chirurgische Entfernung von Tumoren ist daher oft eine schwierige Aufgabe. Das Fraunhofer-Institut für Bildgestützte Medizin MEVIS hat Algorithmen entwickelt, die die Bilddaten von Patienten analysieren und chirurgische Risiken berechnen. Leberkrebsoperationen werden damit besser planbar und sicherer.

Jährlich erkranken weltweit 750.000 Menschen neu an Leberkrebs, viele weitere entwickeln Lebermetastasen aufgrund anderer Krebserkrankungen. Ein chirurgischer...

Im Focus: Positronen leuchten besser

Leuchtstoffe werden schon lange benutzt, im Alltag zum Beispiel im Bildschirm von Fernsehgeräten oder in PC-Monitoren, in der Wissenschaft zum Untersuchen von Plasmen, Teilchen- oder Antiteilchenstrahlen. Gleich ob Teilchen oder Antiteilchen – treffen sie auf einen Leuchtstoff auf, regen sie ihn zum Lumineszieren an. Unbekannt war jedoch bisher, dass die Lichtausbeute mit Elektronen wesentlich niedriger ist als mit Positronen, ihren Antiteilchen. Dies hat Dr. Eve Stenson im Max-Planck-Institut für Plasmaphysik (IPP) in Garching und Greifswald jetzt beim Vorbereiten von Experimenten mit Materie-Antimaterie-Plasmen entdeckt.

„Wäre Antimaterie nicht so schwierig herzustellen, könnte man auf eine Ära hochleuchtender Niederspannungs-Displays hoffen, in der die Leuchtschirme nicht von...

Im Focus: Erklärung für rätselhafte Quantenoszillationen gefunden

Sogenannte Quanten-Vielteilchen-„Scars“ lassen Quantensysteme länger außerhalb des Gleichgewichtszustandes verweilen. Studie wurde in Nature Physics veröffentlicht

Forschern der Harvard Universität und des MIT war es vor kurzem gelungen, eine Rekordzahl von 53 Atomen einzufangen und ihren Quantenzustand einzeln zu...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

48V im Fokus!

21.05.2018 | Veranstaltungen

„Data Science“ – Theorie und Anwendung: Internationale Tagung unter Leitung der Uni Paderborn

18.05.2018 | Veranstaltungen

Visual-Computing an Bord der MS Wissenschaft

17.05.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Raumschrott im Fokus

22.05.2018 | Physik Astronomie

48V im Fokus!

21.05.2018 | Veranstaltungsnachrichten

Bose-Einstein-Kondensat im Riesenatom - Universität Stuttgart untersucht exotisches Quantenobjekt

18.05.2018 | Physik Astronomie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics