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

TankWar feature model

Original feature and behavioral models

tankwar feature model

144 features.
4.21*10E18 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: March 23th., 2017.