Table 2 Analysis parameters’ and shorthand notation
From: Timed protocol analysis of interconnected mobile IoT devices
Parameter(s) | Definition/Description |
|---|---|
tpost,tget | at each timestamp (t) one post or get occur. |
δpost,δget | the time period between two successive post or get operations. |
lifetime | message availability/validity in time. |
time_on,time_off | connected (ON) and disconnected (OFF) instantaneous periods for receiving messages. |
serve_time | time needed for a request to be processed at the server side. |
timeout | required time period to complete a request-response synchronous interaction. |
\(t_{\texttt {post\_req}}, t_{\texttt {get\_req}}\) | at each timestamp (t) one request is sent and received, respectively. |
\(t_{\texttt {post\_res}}, t_{\texttt {get\_res}}\) | at each timestamp (t) one response is sent and received, respectively. |