Feature Interaction Detection in Building Control Systems by Means
of a Formal Product Model 
Andreas METZGER, Christian WEBEL
Department of Computer Science, University of Kaiserslautern
P.O. Box 3049, 67653 Kaiserslautern, Germany
{metzger, webel}@informatik.uni-kl.de
Abstract. 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. In this paper, an approach for the systematic detection
of feature interactions in building control systems is presented, which allows
the automatic identification of such interactions based on existing requirements
specification documents. This is realized by the application of a formal
model of the development products, which includes traceability relations
between these products.