Master Algorithm Clause Samples

Master Algorithm. For our railways example, we encode a fixed-step-size master algorithm with no roll-back. Our concrete MA model aggregates the abstract model of a mas- ter algorithm described in Section 3.1, albeit imposing additional constraints on the possible interactions. For instance, we introduce a FixedStepTimer process that composes the Timer process in Fig. 2 in parallel with another process that restricts time increments to match a given fixed step size (here, this is the δ of the interlocking FMU model). The fixed-step MA also integrates directly the Interaction process (Fig. 5,