TimeSquare: Treat Your Models with Logical Time

  • Julien DeAntoni
  • Frédéric Mallet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7304)

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.

Keywords

Embedded systems Polychronous specifications Logical Time Model-Driven Engineering 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    André, C.: Syntax and semantics of the clock constraint specification language (ccsl). Research Report 6925, INRIA (May 2009)Google Scholar
  2. 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)Google Scholar
  3. 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-2Google Scholar
  4. 4.
    Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28–33 (2002)CrossRefGoogle Scholar
  5. 5.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)MATHCrossRefGoogle Scholar
  6. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Julien DeAntoni
    • 1
  • Frédéric Mallet
    • 1
  1. 1.Université Nice Sophia Antipolis I3S - UMR CNRS 7271, INRIA Sophia Antipolis MéditerranéeSophia Antipolis CedexFrance

Personalised recommendations