Timed-pNets: A formal communication behavior model for real-time CPS system - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Timed-pNets: A formal communication behavior model for real-time CPS system

Abstract

We propose a semantic model named timed-pNets to de ne hierarchical structures for CPSs as well as its communication behaviors semantic with time constraints. Logical clocks relations are introduced to describe the partial order of event occurring. After setting (time)- boundaries and designing properties, we use the TimeSquare tool to simulate the system and check its properties.
Fichier principal
Vignette du fichier
TimedPnets_finalVersion_.pdf (310.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00725328 , version 1 (27-08-2012)

Identifiers

  • HAL Id : hal-00725328 , version 1

Cite

Yanwen Chen, Yixiang Chen, Eric Madelaine. Timed-pNets: A formal communication behavior model for real-time CPS system. Trustworthy Cyber-Physical Systems, Sep 2012, Newcastle, United Kingdom. ⟨hal-00725328⟩
220 View
155 Download

Share

Gmail Facebook X LinkedIn More