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 : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

299