Affiliation:
1. Department of Computer Science and Engineering, Jeonbuk National University, Jeonju 561-756, Republic of Korea
2. Research Group Knowledge Engineering, University of Vienna, 1010 Vienna, Austria
Abstract
Process algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process. Further, some of the algebras are applied to predict the behavior of the systems. For example, PALOMA (Process Algebra for Located Markovian Agents) and PACSR (Probabilistic Algebra of Communicating Shared Resources) process algebras are designed to predict the behavior of IoT Systems with probability on choice operations. However, there is a lack of analytical methods in the algebras to predict the nondeterministic behavior of the systems. Further, there is no control mechanism to handle undesirable nondeterministic behavior of the systems. In order to overcome these limitations, this paper proposes a new process algebra, called dTP-Calculus, which can be used (1) to specify the nondeterministic behavior of the systems with static probability, (2) verify the safety and security requirements of the nondeterministic behavior with probability requirements, and (3) control undesirable nondeterministic behavior with dynamic probability. To demonstrate the feasibility and practicality of the approach, the SAVE (Specification, Analysis, Verification, Evaluation) tool has been developed on the ADOxx Meta-Modeling Platform and applied to a SEMS (Smart Emergency Medical Service) example. In addition, a miniature digital twin system for the SEMS example was constructed and applied to the SAVE tool as a proof of concept for Digital Twin. It shows that the approach with dTP-Calculus on the tool can be very efficient and effective for Smart IoT Systems in Digital Twin.
Funder
National Research Foundation of Korea
Reference37 articles.
1. Product lifecycle management: The new paradigm for enterprises;Grieves;Int. J. Prod. Dev.,2005
2. The internet of things in manufacturing: Key issues and potential applications;Yang;IEEE Syst. Man Cybern. Mag.,2018
3. Digital twin in industry: State-of-the-art;Tao;IEEE Trans. Ind. Inform.,2018
4. Machine Learning based quality prediction for milling processes using internal machine tool data;Fertig;Adv. Ind. Manuf. Eng.,2022
5. Servitization of business: Adding value by adding services;Vandermerwe;Eur. Manag. J.,1988
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献