Interconnecting Plant
and Controller Models
The approach to the
verification is the
verification of the closed loop system model composed of the Plant and
Controller models. Once the models are generated they may be
interconnected in
the ‘Closed-loop model’ Tab of the
MOVIDA NCES Generator (MNG).
The IOs of Plant
and Controller are
interconnected manually.
- Just place a mouse
cursor above the IO that you want to be connected and press the left
button of the mouse.
- Don’t release the
button – move mouse cursor over another IO that has to be
interconnected with the one selected at point 1.
- Release the mouse
button – The arc (condition or event) will be created if the connection
is valid (condition output to condition input, event output to event
input).
Special
‘updateI’ event input and ‘change’ event
output of the Plant has to be interconnected with the ‘XUpdate_Outputs’
event
output and ‘change_in_Plant’ event input respectively in the Controller.