Bence Graics
Similarly to the solution of the mission phase statecharts, the core Gamma components should support variable bindings (ties).
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...
GCL could support a control specification for the clearing of a certain or all message queues.
The environment template in the DU transformation is not correct if there is a single system port bound to multiple instance ports, and the events can have parameters of type...
If the user references a region, state, or variable from a property (model) that is later removed in the transformation chain due to optimization, the model checker backends return "unknown...
Prevously, there were issues with Yakindu and references to obsolete libraries.
An example: ``` trans { a := 10; choice ( assume b < 10; .... } or { assume b >= 10; .... } } ``` ``` trans { a...
``` import "Crossroad.gcd" analysis { component : Crossroad language : Theta file : "Crossroad-Theta" state-coverage constraint : { controller : { minimum-orchestrating-period : 500 ms maximum-orchestrating-period : 500 ms }...