Modeling PROFINET actions with timing pi-calculus
Wei Jin, Xin Gao, Jing Li
Available Online July 2015.
- https://doi.org/10.2991/icismme-15.2015.79How to use a DOI?
- PROFINET; pi-calculus; model
- PROFINET is a real-time protocol widely used in industrial control systems. To describe formally the semantics of PROFINET, we introduce the timing -calculus, a new variant of the -calculus, in this paper. The good feature of the timing -calculus is that it can handle time elapse and timer events. We provide both its syntax and semantics. With the new calculus, we then model PROFINET, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis of PROFINET.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Wei Jin AU - Xin Gao AU - Jing Li PY - 2015/07 DA - 2015/07 TI - Modeling PROFINET actions with timing pi-calculus BT - First International Conference on Information Sciences, Machinery, Materials and Energy PB - Atlantis Press SP - 397 EP - 402 SN - 1951-6851 UR - https://doi.org/10.2991/icismme-15.2015.79 DO - https://doi.org/10.2991/icismme-15.2015.79 ID - Jin2015/07 ER -