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, 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.
Type de document :
Article dans une revue
ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), pp.1--8. <10.1145/1921532.1921554>
Liste complète des métadonnées

Contributeur : Frédéric Mallet <>
Soumis le : mardi 15 mars 2011 - 09:43:42
Dernière modification le : mercredi 16 mars 2011 - 16:33:53




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>



Consultations de la notice