Skip to Main content Skip to Navigation
New interface
Conference papers

Investigation on Time Properties of Timed-pNets

Yanwen Chen 1, 2 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 : 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.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Monday, December 22, 2014 - 10:00:10 AM
Last modification on : Thursday, August 4, 2022 - 4:58:41 PM
Long-term archiving on: : Monday, March 23, 2015 - 7:11:26 PM


Files produced by the author(s)


  • HAL Id : hal-01097783, version 1



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



Record views


Files downloads