Forschung und Entwicklung

Als Kerngeschäft stellen wir Forschungs- und Entwicklungsdienstleistungen bereit, um maßgeschneiderte Lösungen von Grund auf oder durch die Integration bestehender Tools und Technologien zu entwickeln.

Ausgewählte Referenzprojekte:

Forschungsprojekte:

  • SuReal – Sicherheitsgarantien unter Realzeitanforderungen
  • Verde – VERification-oriented & component-based model Driven Engineering for real-time embedded systems
  • REVaMP – Round-trip Engineering and Variability Management Platform and Process
  • Safe4I – Sicherer Automatischer Software-Entwurf für Industrieanlagen