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 metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00725328
Contributor : Yanwen Chen Connect in order to contact the contributor
Submitted on : Monday, August 27, 2012 - 2:47:24 PM
Last modification on : Thursday, January 20, 2022 - 5:32:21 PM
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

Les métriques sont temporairement indisponibles