Forschungsprojekte

SuReal - Sicherheitsgarantien unter Realzeitanforderungen

Das Projekt arbeitet Methoden zur qualitätsgesteuerten modellgetriebenen Architektur aus (quality-driven software development, QDD). Modelle können mit Realzeitbedigungen versehen und durch Modellprüfer und abstrakte Interpretation auf Korrektheit geprüft werden.

  • Gefördert von: BMBF
  • Kontaktperson: Uwe Aßmann
  • Webseite des Projekts: link
  • Projektlaufzeit: 05/2006 bis 04/2009

Zu dieser Seite

Sebastian Götz
Letzte Änderung: 12.07.2016