Skip to Main content Skip to Navigation
Conference papers

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

Yanwen Chen 1 Yixiang Chen 2 Eric Madelaine 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00725328
Contributor : Yanwen Chen <>
Submitted on : Monday, August 27, 2012 - 2:47:24 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Wednesday, November 28, 2012 - 3:30:57 AM

File

TimedPnets_finalVersion_.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00725328, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

393

Files downloads

271