Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model.
Andreas Metzger, Christian Webel · 2003
The complexity of present-day software systems has reached dimensions that require systematic approaches for coping with it. In addition to traditional domains, such as telecommunications or business applications, complex software systems can be found in the domain of reactive systems, of which building control systems are an interesting example. The extension and reuse of these systems have become important activities in the respective development processes. To be able to correctly execute these activities, the developers need to be aware of interactions that might exist between different features of a system.