Abstract
TimeSquare is an Eclipse and model-based environment for the specification, analysis and verification of causal and temporal constraints. It implements the MARTE Time Model and its specification language, the Clock Constraint Specification Language (ccsl). Both MARTE and ccsl heavily rely on logical time, made popular by its use in distributed systems and synchronous languages. Logical Time provides a relaxed form of time that is functional, elastic (can be abstracted or refined) and multiform. TimeSquare is based on the latest model-driven technology so that more than 60% of its code is automatically generated. It provides an XText-based editor of constraints, a polychronous clock calculus engine able to process a partial order conforming to the set of constraints and it supports several simulation policies. It has been devised to be connected to several back-ends developed as new plugins to produce timing diagrams, animate uml models, or execute Java code amongst others.
This work has been partially supported by the RT-SIMEX ANR project ( http://www.rtsimex.org ) and the PRESTO ARTEMIS project ( http://www.presto-embedded.eu/ ).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
André, C.: Syntax and semantics of the clock constraint specification language (ccsl). Research Report 6925, INRIA (May 2009)
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)
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
Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28–33 (2002)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
DeAntoni, J., Mallet, F. (2012). TimeSquare: Treat Your Models with Logical Time. In: Furia, C.A., Nanz, S. (eds) Objects, Models, Components, Patterns. TOOLS 2012. Lecture Notes in Computer Science, vol 7304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30561-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-30561-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30560-3
Online ISBN: 978-3-642-30561-0
eBook Packages: Computer ScienceComputer Science (R0)