Skip to content

Smartwatch SPL of Xiaomi Mi Band

UVL

miband1s.uvl

390 bytes

Description

Evolution of the Xiaomi SPL for the first nine versions of the Mi Band smartwatch (1, 1s, 2, 3, 4, 5, 6, 7, and 8). There are three feature models for each version of Mi Band: FMreduced, FMrealized, and FMplanned. FMreduced is the main feature model delivering only the existing Mi Band products in the market. FMrealized includes the features that have already been implemented, but it does not include the constraints needed for variability reduction, and thus, it exposes all possible products. FMplanned includes those features considered for the near future releases.

Dataset fact label

What the fact labels of its 27 models say together.

Download the JSON
Models
Models27
Analysed27
UVL language
Boolean27
Size and structure
Size and structureLeastMedianMostTotal
Features 12 31 37 729
Leaf features 7 18 23 432
Cross-tree constraints 0 1 22 210
Depth of the tree 3 4 4
Groups 0 3 3 57
Analysis
Analysis
Satisfiable27 / 27
With dead features0
With false optional features0
Configurations1 … 24,192
Median21
Variability
Total variability0.0 %
Homogeneity73.6 %