Investigation on Time Properties of Timed-pNets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Investigation on Time Properties of Timed-pNets

Exploration des propriétés temporisées des réseaux paramétrés temporisés d'automates synchronisés (Timed-pNets)

Résumé

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.
Fichier principal
Vignette du fichier
NASAC2014-DelayInTpNets.pdf (345.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01097783 , version 1 (22-12-2014)

Identifiants

  • HAL Id : hal-01097783 , version 1

Citer

Yanwen Chen, Yixiang Chen, Eric Madelaine. Investigation on Time Properties of Timed-pNets. National Software Application Conference, Nov 2014, Guilin, China. ⟨hal-01097783⟩
147 Consultations
40 Téléchargements

Partager

Gmail Facebook X LinkedIn More