Research Article

Using Statistical Assertions to Guide Self-Adaptive Systems

Figure 11

Avionics case study: estimated time taken by software and feedback hardware variance assertions versus number of assertions.
724585.fig.0011