Projekte

Verisoft
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 (DLR). Das 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.

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
Ein mittelfristig angelegtes Forschungs- und Entwicklungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wird. Ziel des Projektes ist es, sogenannte eingebettete Systeme, wie sie beispielsweise in Automobilen, Flugzeugen, Handys und modernen Haushaltsgeräten Verwendung finden, sicherer zu machen. Dazu soll ein durchgängiger Entwicklungsprozeß für solche Systeme erarbeitet werden, 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
• Aonix
• aicas allerton interworks computer automated systems
• Technische Universität München
• Symtavision

ARTIST2
Cluster: Compiler und Timinganalyse

Konsorten:

• ST Microelectronics
• RWTH Aachen
• TU Wien
• Universität des Saarlandes
• Universität Dortmund
• University of York
• Malardalen University
• AbsInt

PREDATOR

Konsorten:

• Bosch
• EADS Airbus
• AbsInt
• Universität des Saarlandes
• ETH Zürich
• Universität Dortmund
• Alma Mater Studiorum — Università di Bologna
• Scuola Superiore Sant'Anna

EmBounded

Konsorten:

• St Andrews University
• Heriot-Watt University, Edinburgh
• Ludwig-Maximillians-Universität, München
• LASMEA, Université Blaise Pascal Clermont-Ferrand
• AbsInt

ASTEC (abgeschlossen)
Cluster: WCET-Analyse

Konsorten:

• Volvo SE
• IAR Systems
• Tidorum Ltd
• Volcano Communication Technologies
• CC-Systems AB
• Arcticus Systems
• ESAB
• Enea
• AbsInt

IST-Projekt DAEDALUS (abgeschlossen)
Validierung von kritischer Software durch statische Analyse und abstrakte Testmethoden

Konsorten:

• Airbus France
• École Normale Supérieure, Paris
• PolySpace Technologies
• Comissariat à l'Énergie Atomique
• CNRS & École Polythéchnique, Palaiseau
• Datalogisk Institut, Kopenhagen
• Tel Aviv University
• Universität des Saarlandes
• Universität Trier
• AbsInt