Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications

<table>Impact of increasing <svg height="11.6875" id="M170" style="vertical-align:-0.20473pt" version="1.1" viewbox="0 0 18.174999 11.6875" width="18.174999" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.363)"><path d="M372 352v-2q176 -27 176 -159q0 -99 -95 -151q-73 -40 -196 -40h-221v28q65 5 78.5 19t13.5 76v404q0 63 -12 77t-72 18v28h257q102 0 150 -34q26 -18 41 -48.5t15 -65.5q0 -111 -135 -150zM213 362h47q80 0 117.5 32t37.5 96q0 56 -33 92t-100 36q-41 0 -56 -10
q-13 -8 -13 -50v-196zM213 328v-203q0 -54 17 -72.5t66 -18.5q67 1 110.5 37t43.5 110q0 147 -192 147h-45z" id="x42"></path></g><g transform="matrix(.017,-0,0,-.017,10.058,11.363)"><path d="M409 504l-29 -5q-16 60 -44.5 96t-86.5 36q-54 0 -82.5 -32t-28.5 -77q0 -51 30.5 -82.5t96.5 -65.5l35.5 -18t33 -19.5t33.5 -23.5l27 -25.5t24.5 -32t13.5 -36.5t6 -45q0 -80 -62 -134.5t-160 -54.5q-47 0 -98 15q-22 7 -50 21q-8 23 -27 155l30 7q7 -27 18 -52
t30 -51.5t49 -42.5t67 -16q56 0 88 32.5t32 87.5q0 51 -31.5 82t-98.5 67q-80 44 -110 73q-55 53 -55 124q0 75 56 126.5t150 51.5q53 0 126 -23z" id="x53"></path></g>
</svg> greater than <svg height="12.4375" id="M171" style="vertical-align:-0.1638pt" version="1.1" viewbox="0 0 9.5625 12.4375" width="9.5625" 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="M530 686q-79 -330 -126 -595q-5 -24 4 -24q22 0 77 53l16 -24q-42 -49 -88 -78.5t-72 -29.5q-37 0 -19 83l21 99h-2q-62 -83 -153 -141q-65 -41 -97 -41q-28 0 -48 31.5t-20 91.5q0 71 32.5 144t88.5 118q36 30 94 52.5t94 22.5q38 0 68 -13l29 158q7 40 2 47.5t-38 7.5
h-35l1 26q39 4 76 13.5t58.5 17t27.5 7.5q16 0 9 -26zM387 375q-11 11 -38.5 20t-51.5 9q-45 0 -79 -23q-46 -32 -77.5 -107.5t-31.5 -143.5q0 -40 9.5 -58.5t23.5 -18.5q40 0 113.5 70t99.5 118z" id="x1D451"></path></g>
</svg>.</table>

International Journal of Vehicular Technology

fig13

Figure 13

Figure 13: Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications 