Investigation on Time Properties of Timed-pNets

Abstract : Timed-pNets is a semantic model to specify the communi-cation behaviours of distributed systems. It has a tree style hierarchical structure. The leaves are timed specifications which consist of a set of logical clocks and clock relations. These logical clocks are encoded with delay variables and delay bound. In this paper we discuss how to detect time constraint conflicts and how to compute delay variables of clocks in the non-leaf nodes. Then we can check system's time properties like deadline. From our formalization of timed-pNets, we generate a system of logical clocks that can be simulated in the TimeSquare tool. We take a simple use case from ITS to simulate and check some time properties.
Type de document :
Communication dans un congrès
National Software Application Conference, Nov 2014, Guilin, China
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01097783
Contributeur : Eric Madelaine <>
Soumis le : lundi 22 décembre 2014 - 10:00:10
Dernière modification le : samedi 8 décembre 2018 - 01:20:52
Document(s) archivé(s) le : lundi 23 mars 2015 - 19:11:26

Fichier

NASAC2014-DelayInTpNets.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01097783, version 1

Collections

Citation

Yanwen Chen, Yixiang Chen, Eric Madelaine. Investigation on Time Properties of Timed-pNets. National Software Application Conference, Nov 2014, Guilin, China. 〈hal-01097783〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

86