Skip to Main content Skip to Navigation
New interface
Conference papers

Priority in Logical Time Partial Orders with Synchronous Relations

Régis Gascon 1 Julien Deantoni 2 Jean-François Le Tallec 1 
2 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The Clock Constraint Specification Language (CCSL) offers constructs for expressing chronological and causal relations on events of an embedded system. CCSL simulator, TimeSquare allows one to visualize executions of the specified systems by determining step by step sets of synchronously occurring events. When several different sets of events are possible at a given step, the simulator uses a global simulation policy to choose one. However, this mechanism does not consider any priority between events. Inspired by priority in Petri nets, we show how to formally define a priority system supporting possibly synchronous partial orders of events. Both formal definitions and an efficient implementation are presented.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Monday, March 25, 2019 - 1:51:40 PM
Last modification on : Thursday, August 4, 2022 - 4:59:29 PM
Long-term archiving on: : Wednesday, June 26, 2019 - 2:05:23 PM


Files produced by the author(s)


  • HAL Id : hal-02078493, version 1



Régis Gascon, Julien Deantoni, Jean-François Le Tallec. Priority in Logical Time Partial Orders with Synchronous Relations. IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam. ⟨hal-02078493⟩



Record views


Files downloads