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 Computer mit Köpfchen
18.08.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

nachricht Pepper, der neue Kollege im Altenheim
17.08.2017 | Universität Siegen

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

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