Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Polychronous Analysis of Timing Constraints in UML MARTE
ISORCW '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
RT-simex: retro-analysis of execution traces
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
Analysis support for TADL2 timing constraints on EAST-ADL models
ECSA'13 Proceedings of the 7th European conference on Software Architecture
| Hi-index | 0.00 |
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.