Timed-pNets: a communication behavioural semantic model for distributed systems

Yanwen Chen 1, 2 Yixiang Chen 2 Eric Madelaine 1
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This paper presents an approach to build a communicationbehavioural semantic model for heterogeneousdistributed systems that include synchronous and asynchronouscommunications. Since each node of such systemhas its own physical clock, it brings the challenges of correctlyspecifying the system time constraints. Based on thelogical clocks proposed by Lamport, and CCSL proposed byAoste team in INRIA, as well as pNets from Oasis teamin INRIA, we develop timed-pNets to model communicationbehaviours for distributed systems. Timed-pNets are treestyle hierarchical structures. Each node is associated with atimed specification which consists of a set of logical clocksand some relations on clocks. The leaves are representedby timed-pLTSs. Non-leaf nodes (called timed-pNets nodes)are synchronisation devices that synchronize the behavioursof subnets (these subnets can be leaves or non-leaf nodes).Both timed-pLTSs and timed-pNets nodes can be translatedto timed specifications. All these notions and methods are illustratedon a simple use-case of car insertion from the areaof intelligent transportation systems (ITS). In the end theTimeSquare tool is used to simulate and check the validityof our model.
Liste complète des métadonnées

https://hal.inria.fr/hal-01086091
Contributeur : Eric Madelaine <>
Soumis le : mardi 25 novembre 2014 - 09:32:25
Dernière modification le : lundi 5 octobre 2015 - 16:56:28

Fichier

Timed-pNets-FCS-authors.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yanwen Chen, Yixiang Chen, Eric Madelaine. Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers of Computer Science -Springer-, Springer Verlag, 2014, 8, pp.24. <http://link.springer.com/journal/11704>. <10.1007/s11704-014-4096-4>. <hal-01086091>

Partager

Métriques

Consultations de
la notice

107

Téléchargements du document

589