TY - GEN
T1 - Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra
AU - Lee, Sunghyeon
AU - Song, Junsup
AU - Karagiannis, Dimitri
AU - Lee, Moonkun
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - Process algebra is one of the most suitable formal methods to model Smart IoT Systems to specify their probabilistic behavior, since process algebra may include probability property for choice operation as shown in PAROMA and PACSR, which, however, do not have enough analytic methods to control the degree of nondeterminism for the operation. In order to overcome the limitation, the paper presents a new formal method, called dTP-Calculus, and an analytic method to control the nondeterminism in order to satisfy safety and security requirements of the IoT systems. To prove the concept of the approach in the paper, the SAVE tool suite has been developed on the ADOxx and is used to demonstrate its applicability with a Smart EMS (Emergence Medical Service) Example.
AB - Process algebra is one of the most suitable formal methods to model Smart IoT Systems to specify their probabilistic behavior, since process algebra may include probability property for choice operation as shown in PAROMA and PACSR, which, however, do not have enough analytic methods to control the degree of nondeterminism for the operation. In order to overcome the limitation, the paper presents a new formal method, called dTP-Calculus, and an analytic method to control the nondeterminism in order to satisfy safety and security requirements of the IoT systems. To prove the concept of the approach in the paper, the SAVE tool suite has been developed on the ADOxx and is used to demonstrate its applicability with a Smart EMS (Emergence Medical Service) Example.
KW - ADOxx
KW - DTP-calculus
KW - Formal method
KW - Probability
KW - Process algebra
KW - SAVE
KW - Smart IoT systems
UR - https://www.scopus.com/pages/publications/85125817790
U2 - 10.1109/SmartIoT52359.2021.00042
DO - 10.1109/SmartIoT52359.2021.00042
M3 - Conference paper
AN - SCOPUS:85125817790
T3 - Proceedings - 5th IEEE International Conference on Smart Internet of Things, SmartIoT 2021
SP - 221
EP - 228
BT - Proceedings - 5th IEEE International Conference on Smart Internet of Things, SmartIoT 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th IEEE International Conference on Smart Internet of Things, SmartIoT 2021
Y2 - 13 August 2021 through 15 August 2021
ER -