Research and Development

At the core of our business, we provide research and development services to develop tailored solutions either from the ground up or by integrating existing tools and technologies.

Selected reference projects:

Research projects:

  • 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