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 , 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.
Type de document :
Communication dans un congrès
Trustworthy Cyber-Physical Systems, Sep 2012, Newcastle, United Kingdom. 2012


https://hal.inria.fr/hal-00725328
Contributeur : Yanwen Chen <>
Soumis le : lundi 27 août 2012 - 14:47:24
Dernière modification le : mardi 22 mars 2016 - 01:26:42
Document(s) archivé(s) le : mercredi 28 novembre 2012 - 03:30:57

Fichier

TimedPnets_finalVersion_.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2012. <hal-00725328>

Partager

Métriques

Consultations de
la notice

207

Téléchargements du document

177