AbsInt: Projekte

Verisoft (abgeschlossen)

Ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wurde. Projektträger war das Deutsche Zentrum für Luft- und Raumfahrttechnik (DLR). Das Projektziel war die durchgängige, formale Verifikation von Computersystemen. Dabei wurde die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor zum Einsatz kommen, mathematisch bewiesen.

Konsorten:

BMW Group
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
Infineon Technologies
Max-Planck-Institut für Informatik
T-Systems
TU München
TU Darmstadt
OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge
Universität Koblenz-Landau
AbsInt

SuReal (abgeschlossen)

Ein mittelfristig angelegtes Forschungs- und Entwicklungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wurde. Ziel des Projektes war es, eingebettete Systeme, wie sie beispielsweise in Autos, Flugzeugen, Handys und modernen Haushaltsgeräten Verwendung finden, sicherer zu machen. Dazu wurde ein durchgängiger Entwicklungsprozeß für solche Systeme erarbeitet, bei dem sicherheitskritische Aspekte stets berücksichtigt werden und jederzeit formal überprüft werden können.

Konsorten:

AbsInt
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
Technische Universität Dresden
Institut für Datentechnik und Kommunikationsnetze (IDA),
Technische Universität Braunschweig
ScopeSET
aicas allerton interworks computer automated systems
Technische Universität München
Symtavision