CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile


Collaboro makes language development processes more participative: both developers and users of the language can collaborate together to create and evolve it.

LIME Testbench

Runtime monitoring of model-based properties, and test case generation