Research Article

A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems

Table 3

Size of the set of system constraints.

Setup No. of constraints No. of literals

1.1 7,599 60,877
1.2 20,047 197,385
1.3 33,040 397,584
1.4 52,658 781,281
1.5 65,773 1,154,150
1.6 85,081 1,689,251
1.7 126,877 2,771,502
1.8 138,641 3,393,508
1.9 174,434 4,580,388
2.1 6,746 77,396
2.2 12,801 156,798
2.3 17,220 217,867
2.4 27,899 338,935
2.5 33,040 397,584
2.6 35,516 435,196
2.7 45,021 539,373
2.8 54,239 659,452
2.9 60,376 770,882
2.10 69,218 877,051