Die Aufgaben des Teams sind, herauszufinden, welche funktionalen und nicht-funktionalen Anforderungen in der Domäne Gebäudeautomatisierung von Bedeutung sind, und welche Beschreibungstechniken sich zu deren Darstellung besonders gut eignen. Zu diesem Zwecke wird Domänenwissen erworben und für die anderen Projekte dieses SFB's verfügbar gemacht. Die Koordination wird von Projekt C1 übernommen, da in diesem Projekt die Koordination der Verwendung formaler Methoden im SFB durchgeführt wird.
Die erste Aufgabe von Team 1 in 1995 war es, eine Problembeschreibung zu erstellen, in welcher die Wünsche und Anforderungen eines Kunden an ein Kontrollsystem für Gebäude niedergelegt sind. Außerdem wurden ein Referenzmodell für die physikalischen Phänomene in der Anwendungsdomäne und ein Simulator zur Erleichterung prototypischer Entwicklungen erstellt.
1996 wurden unter Verwendung dreier formaler bzw. semi-formaler Spezifikationstechniken (SDL, statemate und NRL/SCR) Anforderungsdokumente für ein Kontrollsystem erstellt. Die derzeitige Aufgabe besteht in dem Vergleich der drei entstandenen Spezifikationen in Bezug auf Struktur, Verfolgbarkeit von Entscheidungen, Einfachheit von Änderungen, Lesbarkeit, u.s.w.
Entsprechend den drei Spezifikationen gibt es zur Zeit folgende Teilgruppen von Team 1:
Mehrere Veröffentlichungen von Team 1 sind verfügbar.