|
|
This project 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).
|