Verisoft

Ein langfristig angelegtes Forschungsprojekt, das vom Bundes­mi­nisterium für Bildung und Forschung gefördert wird. Projektträger ist das Deutsche Zentrum für Luft- und Raumfahrttechnik (DLR). Das Projekt­ziel ist die durchgängige, formale Verifikation von Computer­systemen. Dabei soll 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 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, 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
  • 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

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