gamma icon indicating copy to clipboard operation
gamma copied to clipboard
verified publisher icon ftsrg

Support asynchronous-reactive composition semantics in XSTS mapping

Open grbeni opened this issue 3 years ago • 1 comments

The XSTS mapping could support the AR semantics by using nondeterministic actions instead of sequential actions in the XSTS mapping. Note that this has to be conducted in accordance with the component hierarchy, so we should use caching (maps) of these hierarchical (nondeterministic and sequential) actions from the atomic AA component's perspective.

grbeni avatar Oct 04 '22 15:10 grbeni

The abovementioned mapping has been implemented and the verification works. Now only the scheduling problem has to be solved during back-annotation (which parallelly running component ran/was scheduled).

grbeni avatar Nov 04 '22 18:11 grbeni

The back-annotation of the scheduling has been solved in 37fff61d102e9ab2ea7872c8383793e2b369b505.

grbeni avatar Feb 10 '23 16:02 grbeni