We've got lots of freedom and independence, but you are never on your own when you encounter problems.
A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
|Title||A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System|
|Publication Type||Conference Proceedings|
|Year of Publication||2011|
|Authors||Passos, L., M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki, and A. Wąsowski|
|Conference Name||3rd International Workshop on Feature Oriented Software Development|
|Conference Location||Munich, Germany|
Many variability modeling tasks can be supported by automated analyses of models. Unfortunately, most analyses for Boolean variability models are NP-hard, while analyses for non-Boolean models easily become undecidable. It is thus crucial to exploit the properties of realistic models to construct viable analysis algorithms. Unfortunately, little work exists about non-Boolean models, and no benchmarks are available for such.
We present the non-Boolean aspects of 116 variability models available in the codebase of eCos—a real time embedded operating system. We characterize the types of nonBoolean features in the models, kinds and quantities of nonBoolean constraints in use, and the impact of these characteristics on the hardness of this model from analysis perspective. This way we provide researchers and practitioners with a basis for discussion of relevance of non-Boolean models and their analyses, along with the ﬁrst ever benchmark for eﬀectiveness of such analyses.
|Presentation slides||435.24 KB|