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

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

SuReal (abgeschlossen)

Ein mittelfristig angelegtes Forschungs- und Entwicklungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wurde. Ziel des Projektes war es, sogenannte eingebettete Systeme, wie sie beispiels­weise in Automobilen, Flugzeugen, Handys und modernen Haushalts­geräten Verwendung finden, sicherer zu machen. Dazu wurde ein durch­gä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
• Aonix
• aicas allerton interworks computer automated systems
• Technische Universität München
• Symtavision

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