search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Back-annotate scheduling steps to ExecutionTrace #26

Closed benedekh closed 3 years ago

benedekh commented 3 years ago

If we use schedulingConstraint in the Gamma to UPPAAL (via lowlevel & XSTS) transformation, then the scheduling information (after x s or after x ms) is lost during the back annotation phase (ExecutionTrace). However, it would be really good if these time schedules appeared in the trace.

benedekh commented 3 years ago

It works, thanks! (951cc1a7)

For the record: only the schedulingConstraint is back-annotated in the trace. Any original timing that is in the model (and is smaller than the schedulingConstraint) is not visible in the trace.