HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Timed-pNets: A Communication Behavioural Semantic Model for Distributed Systems (extended version)

Yanwen Chen 1 Yixiang Chen 1 Eric Madelaine 2
2 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such system has its own physical clock, it brings the challenges of correctly specifying the system's time constraints. Based on the logical clocks proposed by Lamport and CCSL proposed by Aoste team in INRIA as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviour for distributed systems. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on clocks. The leaves are represented by timed-pLTSs and non-leaf nodes are represented by timed-pNets including some holes which are filled by leaves or non-leaf nodes. Both timed-pLTSs and timed-pNets node can be translated to timed specifications. All these notions and methods are illustrated on a simple use-case of car insertion from the area of Intelligent Transportation Systems (ITS) and then TimeSquare tool is used to simulate and check the validity of our model.
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Wednesday, May 7, 2014 - 10:45:16 AM
Last modification on : Thursday, February 3, 2022 - 3:36:51 AM
Long-term archiving on: : Thursday, August 7, 2014 - 11:01:33 AM


Files produced by the author(s)


  • HAL Id : hal-00988010, version 1



Yanwen Chen, Yixiang Chen, Eric Madelaine. Timed-pNets: A Communication Behavioural Semantic Model for Distributed Systems (extended version). [Research Report] RR-8526, INRIA. 2014, pp.35. ⟨hal-00988010⟩



Record views


Files downloads