Research Article

Using Statistical Assertions to Guide Self-Adaptive Systems

Figure 12

Avionics case study: resources used by the true airspeed datapath (Figure 7) versus number of feedback online variance operators.
724585.fig.0012