The proper definition of AADL Runtime services require additional work, in particular one must clarify which ports can be manipulated. This is related to issue #62 and section 5.4.2 that defines the list of ports that can trigger a dispatch, and issue #63 that discusses the freezing of port value.
This epic gather issues on AADL Runtime services
The proper definition of AADL Runtime services require additional work, in particular one must clarify which ports can be manipulated. This is related to issue #62 and section 5.4.2 that defines the list of ports that can trigger a dispatch, and issue #63 that discusses the freezing of port value.