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.