Feature-Family-Based Reliability Analysis of Software Product Lines

This work is being developed in a jointly effort of researchers of the following universities:


View the Project on GitHub

MinePump feature model

Original feature and behavioral models

minepump feature model

11 features.
128 products.

Click here to download the feature model in conjunctive normal form (CNF). Click here to download the behavioral model.

Evolutions of feature and behavioral models of BSN-SPL.

Evol. Feature
model		 Behavioral
models
0 (PNG) (CNF) (XML) (XML)
1 (PNG) (CNF) (XML) (XML)
2 (PNG) (CNF) (XML) (XML)
3 (PNG) (CNF) (XML) (XML)
4 (PNG) (CNF) (XML) (XML)
5 (PNG) (CNF) (XML) (XML)
6 (PNG) (CNF) (XML) (XML)
7 (PNG) (CNF) (XML) (XML)
8 (PNG) (CNF) (XML) (XML)
9 (PNG) (CNF) (XML) (XML)
10 (PNG) (CNF) (XML) (XML)
11 (PNG) (CNF) (XML) (XML)
12 (PNG) (CNF) (XML) (XML)
13 (PNG) (CNF) (XML) (XML)
14 (PNG) (CNF) (XML) (XML)
15 (PNG) (CNF) (XML) (XML)
16 (PNG) (CNF) (XML) (XML)
17 (PNG) (CNF) (XML) (XML)
18 (PNG) (CNF) (XML) (XML)
19 (PNG) (CNF) (XML) (XML)
20 (PNG) (CNF) (XML) (XML)

Last update: January 22th., 2017.