Using Statistical Assertions to Guide Self-Adaptive Systems

<table class="table-group" id="tab1"><tr><td><table class="table"><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr class="thead"><td align="left">Architecture </td><td align="center"> Algorithm </td><td align="center">Storage </td><td align="center">Compute </td><td align="center">Outputs </td></tr><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr><td align="left"> Feedback </td><td align="center">Online </td><td align="center"><span style="width: 33.099998px;"><svg height="15.0875" id="M66" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 33.099998 15.0875" width="33.099998" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g><g transform="matrix(.017,-0,0,-.017,27.159,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 33.099998px;"><svg height="15.0875" id="M67" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 33.099998 15.0875" width="33.099998" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g><g transform="matrix(.017,-0,0,-.017,27.159,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 12.1125px;"><svg height="11.75" id="M68" style="vertical-align:-0.15048pt" version="1.1" viewbox="0 0 12.1125 11.75" width="12.1125" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><path d="M682 629q-1 -16 -1.5 -72t-2.5 -86l-31 -4q-5 92 -51 129t-139 37q-100 0 -177 -49t-116 -125t-39 -162q0 -122 66 -201t182 -79q83 0 137 42.5t112 128.5l26 -15q-12 -31 -42.5 -88t-45.5 -75q-139 -27 -199 -27q-148 0 -243 81.5t-95 226.5q0 173 129.5 274.5
t325.5 101.5q114 0 204 -38z" id="x1D436"></path></g>
</svg></span></td></tr><tr><td align="left">Feedback </td><td align="center">Pairwise </td><td align="center"><span style="width: 42.212502px;"><svg height="15.0875" id="M69" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 42.212502 15.0875" width="42.212502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g><g transform="matrix(.017,-0,0,-.017,36.27,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 33.099998px;"><svg height="15.0875" id="M70" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 33.099998 15.0875" width="33.099998" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g><g transform="matrix(.017,-0,0,-.017,27.159,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 39.25px;"><svg height="14.85" id="M71" style="vertical-align:-0.20064pt" version="1.1" viewbox="0 0 39.25 14.85" width="39.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.012)"><path d="M857 650l-6 -28q-44 -4 -61.5 -16.5t-29.5 -48.5q-11 -32 -37 -166l-78 -399h-29l-351 537h-4l-56 -276q-24 -120 -24 -164q0 -35 17.5 -46t75.5 -15l-6 -28h-245l7 28q41 2 62 14t31 44q10 30 41 171l53 245q8 44 6.5 60.5t-14.5 33.5q-10 15 -27 19.5t-64 6.5l6 28h153
l350 -516h5l48 257q25 131 25 171q0 34 -17.5 45t-77.5 15l7 28h240z" id="x1D441"></path></g><g transform="matrix(.017,-0,0,-.017,14.919,12.012)"><path d="M368 703l-264 -866h-60l265 866h59z" id="x2F"></path></g><g transform="matrix(.017,-0,0,-.017,21.923,12.012)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g>
</svg></span></td></tr><tr><td align="left">Feedforward </td><td align="center">Online </td><td align="center"><span style="width: 42.212502px;"><svg height="15.0875" id="M72" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 42.212502 15.0875" width="42.212502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g><g transform="matrix(.017,-0,0,-.017,36.27,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 42.212502px;"><svg height="15.0875" id="M73" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 42.212502 15.0875" width="42.212502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g><g transform="matrix(.017,-0,0,-.017,36.27,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 39.25px;"><svg height="14.85" id="M74" style="vertical-align:-0.20064pt" version="1.1" viewbox="0 0 39.25 14.85" width="39.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.012)"><path d="M857 650l-6 -28q-44 -4 -61.5 -16.5t-29.5 -48.5q-11 -32 -37 -166l-78 -399h-29l-351 537h-4l-56 -276q-24 -120 -24 -164q0 -35 17.5 -46t75.5 -15l-6 -28h-245l7 28q41 2 62 14t31 44q10 30 41 171l53 245q8 44 6.5 60.5t-14.5 33.5q-10 15 -27 19.5t-64 6.5l6 28h153
l350 -516h5l48 257q25 131 25 171q0 34 -17.5 45t-77.5 15l7 28h240z" id="x1D441"></path></g><g transform="matrix(.017,-0,0,-.017,14.919,12.012)"><path d="M368 703l-264 -866h-60l265 866h59z" id="x2F"></path></g><g transform="matrix(.017,-0,0,-.017,21.923,12.012)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g>
</svg></span></td></tr><tr><td align="left">Feedforward </td><td align="center">Pairwise </td><td align="center"><span style="width: 42.212502px;"><svg height="15.0875" id="M75" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 42.212502 15.0875" width="42.212502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.138)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g><g transform="matrix(.017,-0,0,-.017,36.27,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 72.3125px;"><svg height="16.6" id="M76" style="vertical-align:-3.13504pt" version="1.1" viewbox="0 0 72.3125 16.6" width="72.3125" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,13.118,12.162)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,18.999,12.162)"><path d="M238 0h-223v26q48 5 60 17t12 61v473q0 50 -10.5 60.5t-58.5 15.5v24q73 8 148 35v-608q0 -49 11.5 -61t60.5 -17v-26z" id="x6C"></path></g><g transform="matrix(.017,-0,0,-.017,23.3,12.162)"><path d="M257 449q92 0 154 -65t62 -158q0 -112 -67 -175t-150 -63q-98 0 -158.5 66.5t-60.5 154.5q0 59 21 106.5t54.5 75.5t71 43t73.5 15zM244 416q-48 0 -81 -47t-33 -128q0 -96 38 -158t99 -62q51 0 82 43.5t31 139.5q0 91 -36 151.5t-100 60.5z" id="x6F"></path></g><g transform="matrix(.017,-0,0,-.017,31.969,12.162)"><path d="M463 437l5 -8q-21 -38 -45 -51l-57 3q30 -35 30 -88q0 -76 -52.5 -118t-122.5 -42q-24 0 -51 5q-30 -21 -30 -42q0 -16 16 -27t47 -11q19 0 54 0.5t52 0.5q36 0 65.5 -8t53.5 -36t24 -74q0 -77 -75 -137.5t-174 -60.5q-79 0 -126 37.5t-48 84.5q0 32 24 56q21 21 83 70
q-49 15 -74 55q-13 20 -11 42q56 21 88 61q-37 16 -62.5 51t-25.5 83q0 78 56.5 122t122.5 44h1q51 0 96 -27q71 4 136 15zM219 418q-34 0 -58 -32t-24 -87q0 -59 26.5 -96.5t67.5 -37.5q35 1 59 32t24 87q0 59 -26 96.5t-69 37.5zM241 -11q-62 0 -87 -21q-46 -39 -46 -78
q0 -41 38 -68.5t94 -27.5q69 0 106.5 31t37.5 80q0 52 -45 71q-33 13 -98 13z" id="x67"></path></g>
<g transform="matrix(.012,-0,0,-.012,42.762,16.25)"><path d="M412 140l28 -9q0 -2 -35 -131h-373v23q112 112 161 170q59 70 92 127t33 115q0 63 -31 98t-86 35q-75 0 -137 -93l-22 20l57 81q55 59 135 59q69 0 118.5 -46.5t49.5 -122.5q0 -62 -29.5 -114t-102.5 -130l-141 -149h186q42 0 58.5 10.5t38.5 56.5z" id="x32"></path></g>
<g transform="matrix(.017,-0,0,-.017,49.088,12.162)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g><g transform="matrix(.017,-0,0,-.017,66.358,12.162)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></span></td><td align="center"><span style="width: 39.25px;"><svg height="14.85" id="M77" style="vertical-align:-0.20064pt" version="1.1" viewbox="0 0 39.25 14.85" width="39.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.012)"><path d="M857 650l-6 -28q-44 -4 -61.5 -16.5t-29.5 -48.5q-11 -32 -37 -166l-78 -399h-29l-351 537h-4l-56 -276q-24 -120 -24 -164q0 -35 17.5 -46t75.5 -15l-6 -28h-245l7 28q41 2 62 14t31 44q10 30 41 171l53 245q8 44 6.5 60.5t-14.5 33.5q-10 15 -27 19.5t-64 6.5l6 28h153
l350 -516h5l48 257q25 131 25 171q0 34 -17.5 45t-77.5 15l7 28h240z" id="x1D441"></path></g><g transform="matrix(.017,-0,0,-.017,14.919,12.012)"><path d="M368 703l-264 -866h-60l265 866h59z" id="x2F"></path></g><g transform="matrix(.017,-0,0,-.017,21.923,12.012)"><path d="M1004 650l-6 -29q-54 -6 -71 -19.5t-51 -74.5l-271 -539h-33l-98 506h-3l-258 -506h-30l-78 532q-10 67 -21.5 80t-66.5 21l6 29h241l-8 -29l-26 -5q-34 -6 -41 -16t-3 -47l59 -425h4l251 510h31l102 -510h2q150 299 198 423q14 40 8.5 48.5t-47.5 16.5l-28 5l7 29h231z
" id="x1D44A"></path></g>
</svg></span></td></tr><tr class="table-tr"><td colspan="5"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Summary of different operator properties.

International Journal of Reconfigurable Computing

tab1

Table 1

Table 1: Using Statistical Assertions to Guide Self-Adaptive Systems 