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
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


Files produced by the author(s)


  • HAL Id : hal-00725328, version 1



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⟩



Record views


Files downloads