Abstract
Process algebra is one of the best suitable formal methods to model smart systems based on IoT, especially Smart Factory. However, because of some uncertainty, it is necessary to model predictability of the systems, based on the uncertainty. There have been several process algebras with probability, such as, PAROMA, PACSR, etc. However they are not well suitable for the smart systems, since they are based only on discrete model or exponential model. Consequently, only simple or targeted probability can be specified and analyzed. In order to handle such limitations, the paper presents a new formal method, called dTP-Calculus, extended from the existing dT-Calculus with discrete, normal, exponential, and uniform probability models. It provides all the possible probability features for Smart Factory with complex uncertainty. The specification of the modeling will be simulated statistically for Smart Factory, and further the simulation results will be analyzed for probabilistic properties of the systems. For implementation, a tool set for the calculus has been developed in the SAVE tool suite on the ADOxx Meta-Modeling Platform, including Specifier, Analyzer and Verifier. A Smart Factory example from Audi Cell Production System has been selected as an example to demonstrate the feasibility of the approach.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
