TimeSquare: Treat your models with logical time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7304 LNCS, Issue , 2012, Pages 34-41

  DeAntoni, Julien ^a   Mallet, Frédéric ^a  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

Embedded systems; Logical Time; Model Driven Engineering; Polychronous specifications

Indexed keywords

AUTOMATICALLY GENERATED; CLOCK CALCULUS; CLOCK CONSTRAINTS; DISTRIBUTED SYSTEMS; JAVA CODES; LOGICAL TIME; MODEL-DRIVEN; MODEL-DRIVEN ENGINEERING; PARTIAL ORDER; PLUG-INS; SYNCHRONOUS LANGUAGES; TEMPORAL CONSTRAINTS; TIME MODEL; TIMESQUARE; TIMING DIAGRAMS; UML MODEL;

EMBEDDED SYSTEMS; SPECIFICATIONS; UNIFIED MODELING LANGUAGE;

CLOCKS;

EID: 84862237263     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30561-0_4     Document Type: Conference Paper

References (6)

1. André, C.: Syntax and semantics of the clock constraint specification language (ccsl). Research Report 6925, INRIA (May 2009)
2. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages twelve years later. Proceedings of the IEEE, 64-83 (2003)
3. Deantoni, J., Mallet, F., Thomas, F., Reydet, G., Babau, J.-P., Mraidha, C., Gauthier, L., Rioux, L., Sordon, N.: RT-simex: retro-analysis of execution traces. In: In, K.J., Sullivan, G.-C. (eds.) SIGSOFT FSE, Santa Fe, États-Unis, pp. 377-378 (2010) ISBN 978-1-60558-791-2
4. Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28-33 (2002)
5. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558-565 (1978)
6. Yu, H., Talpin, J.-P., Besnard, L., Gautier, T., Mallet, F., André, C., de Simone, R.: Polychronous analysis of timing constraints in UML MARTE. In: IEEE Int. W. on Model-Based Engineering for Real-Time Embedded Systems Design, Parador of Carmona, Spain, pp. 145-151 (2010)