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