Plug-and-play features

We propose a feature construct for defining features, and use it to provide a plug-and-play framework for exploring feature interactions. Our approach to the feature interaction problem has the following characteristics: Features are treated as first-class objects during the development phase; A method is given for integrating a feature into a system description. It allows features to override existing behaviour of the system being developed; A prototype tool has been developed for performing the integration; Interactions between features may be witnessed. In principle, our approach is quite general and need not be tied to any particular system description language. In this paper, however, we develop the approach in the context of the SMV model checking system. We describe two case studies in detail: the lift system, and the telephone system. Because of space restrictions, we have not been able to present many details important to our approach in this version. The reader can obtain a fuller version [16] from www.cs.bham.ac.uk/similar to mdr/papers.html.