Traceability issues during C code generation

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

Traceability issues during C code generation #159

Closed nagyl1999 closed 11 months ago

nagyl1999 commented 1 year ago

Some information might be unavailable in XSTS, for example:

event and event parameter mappings
event and event id mappings in message queues
references from message queue arrays to their size

grbeni commented 1 year ago

No. 1 and 3 are addressed in cd25ac106c03c791a2d95d3a4b56d1b69556b5bf. No. 2 will require further investigation.

nagyl1999 commented 11 months ago

In addition to the XSTS model, the C generator eventually started using the initial Gamma statechart or composition model. Consequently, features No. 1 and 2, while useful, became unnecessary.