UMES2: Time modelling with MARTE

The UML profile for MARTE has been adopted recently by the OMG. Its time model proposes several extensions to the UML Simple Time Model and comes with a companion language, called CCSL (Clock Constraint Specification Language), dedicated to the specification of causal and chronological constraints. CCSL elaborates on the work around synchronous and polychronous languages and advocates for the use of multiform logical time to a broad family of constraints common in reactive, real-time and embedded systems. This tutorial introduces the MARTE Time Model and CCSL and shows how CCSL can be used to build libraries of constraints dedicated to specific analysis domains. CCSL models are then used as an explicit timed causality model for executing purely syntactic UML or domain-specific models. As an example, we build CCSL libraries for East-ADL, AADL, and SDF.