Proceedings of the First International Conference on Information Sciences, Machinery, Materials and Energy

Modeling PROFINET actions with timing pi-calculus

Authors
Wei Jin, Xin Gao, Jing Li
Corresponding Author
Wei Jin
Available Online July 2015.
DOI
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
First International Conference on Information Sciences, Machinery, Materials and Energy
Part of series
Advances in Intelligent Systems Research
Publication Date
July 2015
ISBN
978-94-62520-67-7
ISSN
1951-6851
DOI
https://doi.org/10.2991/icismme-15.2015.79How to use a DOI?
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  -