Eclipse Time4Sys

PolarSys Time4Sys provides meta-models, transformation rules, and authoring tools required to perform analysis or simulation of the timing aspects in the design of a real-time system to verify the consistency and performance of a given scheduling model. PolarSys Time4Sys doesn’t provide any timing analysis or simulation tools of its own but rather provides gateways to existing tools (both commercial and open-source).

It represents a contribution to the industrial exploitation of model-driven technologies and timing verification techniques in the design of real-time systems in a variety of application domains.