Verisoft (abgeschlossen)

Ein langfristig angelegtes Forschungsprojekt, das vom Bundes­mi­nisterium für Bildung und Forschung gefördert wurde. Projektträger war das Deutsche Zentrum für Luft- und Raumfahrttechnik (DLR). Das Projekt­ziel war die durchgängige, formale Verifikation von Computer­systemen. Dabei wurde die korrekte Funktions­weise von Systemen, wie sie beispielsweise im Automobil­bau, in der Sicher­heits­technologie und auf dem medi­zi­nisch-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 Entwicklungs­prozeß 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

ARTIST2 (abgeschlossen)

Cluster: Compiler und Timinganalyse

Konsorten:

  • ST Microelectronics
  • RWTH Aachen
  • TU Wien
  • Universität des Saarlandes
  • Universität Dortmund
  • University of York
  • Mälardalen 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 (abgeschlossen)

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

Hoch