Skip to main content Skip to main navigation

Projekt | Verisoft

Laufzeit:

Verisoft

Verisoft ist ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung (bmb+f) gefördert wird. Projektträger ist das Deutsche Zentrum für Luft- und Raumfahrttechnik. Ehrgeiziges Projektziel ist die durchgängige, formale Verifikation von Computersystemen: die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor zum Einsatz kommen, soll mathematisch bewiesen werden.

Die Beweise werden dabei computergestützt geführt, um menschliches Versagen der beteiligten Wissenschaftler nach Möglichkeit auszuschließen. Die gewonnenen Erkenntnisse und erzielten Fortschritte sollen dabei helfen, deutschen Unternehmen aus diesen Sparten dauerhafte internationale Wettbewerbsvorteile zu schaffen.

Die Leitvorstellung des Vorhabens Verisoft besteht darin:

  • die Methoden und Werkzeuge zu schaffen, die es gestatten, das Design von integrierten Computersystemen durchgehend formal zu verifizieren.
  • dadurch einen Produktivitäts- und Qualitätshub für die Industrie zu generieren.
  • dieses an vier konkreten Anwendungsszenarien � davon drei aus dem industriellen Sektor � prototypisch zu realisieren.

Verisoft ist langfristig auf acht Jahre angelegt, wobei die ersten vier Jahre schriftlich konzipiert und konkretisiert worden sind. Derzeit sind die ersten beiden Jahre durch das bmb+f bewilligt (Laufzeit: 01.07.2003 - 30.06.2005).

Publikationen zum Projekt

  1. Formal Verification of Gate-Level Computer Systems

    Mark Hillebrand; Sergey Tverdyshev

    In: Anna Frid; Andrey Morozov; Andrey Rybalchenko; Klaus W. Wagner (Hrsg.). Computer Science -- Theory and Applications. International Computer Science Symposium in Russia (CSR-09), Fourth, August 18-23, Novosibirsk, Russian Federation, Pages 322-333, Lecture Notes in Computer Science (LNCS), Vol. 5675, Springer, 8/2009.
  2. Pervasive Compiler Verification - From Verified Programs to Verified Systems

    Dirk Leinenbach; Elena Petrova

    In: Ralf Huuck; Gerwin Klein; Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-08), 3rd, February 25-27, Sydney, NSW, Australia, Pages 23-40, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 217, Elsevier Science B. V. 2008.

Fördergeber

BMBF - Bundesministerium für Bildung und Forschung

BMBF - Bundesministerium für Bildung und Forschung