Timed-pNets: A formal communication behavior model for real-time CPS system - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

(1) , (2) , (1)
1
2

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⟩
214 View
147 Download

Share

Gmail Facebook Twitter LinkedIn More