Research in our working group focuses on
model-based, object-oriented development of large,
reactive systems based on prototyping, reuse and
generation of components.
An efficient, domain-specific requirements
analysis and prototyping play an
important role during the development of such
systems. Building automation was chosen as an
application domain. To validate and verify
prototypes, building
simulators and a physical testbed
exist. All these projects are carried out within
the special research area SFB
501 of the "German Science Foundation"
(DFG).
|
