Research Projects

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.

• Funded by: BMBF
• Contact person: Uwe Aßmann
• Project Website: link
• Funding period: 05/2006 - 04/2009