Skip to Main content Skip to Navigation
Journal articles

Logical Time: observation vs. implementation

Frédéric Mallet 1 Charles André 1 Robert de Simone 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : MARTE/CCSL specifications express chronological and causal relations on UML models. In a previous work, we proposed a mechanism to verify Esterel implementations against MARTE/CCSL specifications. The mechanism was thought to be general enough to be extended to other languages. However, preserving the polychronous semantics of CCSL was pretty easy with a synchronous language but is much harder when the target language does not directly support coincidence/simultaneity. We show here how coincidence can be encoded.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00576647
Contributor : Frédéric Mallet <>
Submitted on : Tuesday, March 15, 2011 - 9:43:42 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM

Identifiers

Collections

Citation

Frédéric Mallet, Charles André, Robert de Simone. Logical Time: observation vs. implementation. Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩. ⟨inria-00576647⟩

Share

Metrics

Record views

322