CBMD

CBMD- Contract Based Modelling & Design

Hier finden Sie die Präsentation „Contract Based Design“

  • Bau einer Tool- und Methodenunabhängigen Plattform zur Beschreibung von Struktur, Verhalten und Contracts mit dem Ziel der formalen Verifikation
  • Unterstützung einer Vielzahl von Modellierungsmethoden (UML, ROOM, AUTOSAR, …)
  • Kern Partner: Tool Firmen und Forschungspartner
  • Assoziierte Partner aus Avionik, Automotive & Industrie
  • Platform wird Open Source

Teihlnehmende Partner

Protos

itemis AG

SQMi

Universität Augsburg

Fortiss GmbH