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 , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Cet article présente une nouvelle approche pour définir un modéle sémantique comportemental pour des systémes distribués comportant des communications aussi bien synchrones qu'asynchrones. Chaque site dans ce genre de systéme ayant sa propre horloge, définir correctement les contraintes temporelles globales du systéme est un défi. Á partir des concepts d'horloges virtuelles de Lamport, du langage CCSL introduit par l'équipe AOSTE d'INRIA, et du modéle pNets de l'équipe OASIS, nous développons notre modéle Timed-pNets pour exprimer les comportements et la communication de ces systémes distribués. Les Timed-pNets sont des structures hiérarchiques arborescentes. Á chaque noeud est associée une {\sl spécification temporelle} composée d'un ensemble d'horloges et de relations entre ces horloges. Les noeuds feuilles sont representés par des Timed-pLTSs (systémes de transitions paramétrés temporisés), et les autres noeuds sont soit recursivement des Timed-pNets, soit des trous (Holes) destinés á être remplis ultérieurement par des Timed-pNets. Nous définissons des algorithmes permettant de synthétiser la spécification temporelle des Timed-pLTSs et des Timed-pNets. Toutes ces notions sont illustrées sur un exemple de conduite automatisée de véhicules, issue du monde des systémes de transport intelligents (ITS); finalement nous utilisons le logiciel TimeSquare pour simuler notre modéle et en vérifier la validité
Type de document :
Rapport
[Research Report] RR-8526, INRIA. 2014, pp.35


https://hal.inria.fr/hal-00988010
Contributeur : Eric Madelaine <>
Soumis le : mercredi 7 mai 2014 - 10:45:16
Dernière modification le : samedi 17 septembre 2016 - 01:36:50
Document(s) archivé(s) le : jeudi 7 août 2014 - 11:01:33

Fichier

RR-8526.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00988010, version 1

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

237

Téléchargements du document

129