Eclipse Time4Sys
Primary tabs
Scope:
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.
Releases:
| Name | Date |
|---|---|
| 0.8.0 | 2018-07-04 |