Skip to main content

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.