Behavioural Models Sample Clauses
Behavioural Models. We next describe the Modelica train model and the VDM-RT Interlocking model; we omit the straightforward CDV/TC Merger model, but details of its encoding can be found in INTO-CPS Deliverable D2.3a. 2Relay Ladder Logic, commonly used for describing hardware controller.
Behavioural Models. We next describe the behavioural model of each FMU component of the co- simulation: the Modelica train model in Section 4.3.1, the VDM-RT interlock- ing model in Section 4.3.2, and the CDV/TC Merger in Section 4.3.3.