Modeling PROFINET actions with timing pi-calculus

DOI

10.2991/icismme-15.2015.79How to use a DOI?

Keywords

PROFINET; pi-calculus; model

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

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  - Proceedings of the 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  - 10.2991/icismme-15.2015.79
ID  - Jin2015/07
ER  -