EkReit

Das Projekt beschäftigt sich mit "Smart Buildings". Durch den Einsatz von dezentralen, vernetzten elektronischen Komponenten sollen Gebäude mit Eigenintelligenz ausgestattet werden. Dadurch kann der Komfort gesteigert werden, neue Funktionalitäten sind möglich und es wird Flexibelität  gewonnen. Gleichzeitig wird der Energiebedarf gesenkt und die Wartbarkeit erhöht.

Im Forschungsprojekt "Embedded Systems mit kleinen Recheneinheiten und zuverlässigem Zeitverhalten" wird das Zeitverhalten von domänenspezifisch skalierten Recheneinheiten untersucht, um die Zuverlässigkeit der verteilten Echtzeitkomponenten und deren Zusammenspiel zu garantieren. Dies ebnet den Weg zu selbstoptimierenden und selbstkonfigurierenden Gebäudesteuerungen.

Aufbauend auf der symbolischen Timing-Analyse werden räumlich verteilte, eingebettete Systeme untersucht, die aus einer großen Anzahl von kleinen Recheneinheiten bestehen. In Kooperation mit den Firmen Symtavision, einem High-Tech Unternehmen aus dem automobilen Bereich, und der Firma iQST, wird ein System der Gebäudetechnik hinsichtlich des Zeitverhaltens analysiert, so dass mit Hilfe der Software SymTA/S die zeitliche Zuverlässigkeit verifiziert werden kann.