Hi Dennis,
The goal of this exercise is to find errors in the digital twins. Last year, due to the Corona restrictions, testing was optional. There was only a single group who tested on the festo workstations. Their controller worked without errors on the
digital twin, but it did not work on the Festo workstation. The reason for this was that the actuator setting to immediately stop the sliding manipulator was true/true (pressure on both sides), whereas in the digital twin, the actuator setting for this was
false/false. False/false (absence of pressure) on the Festo workstation caused the sliding manipulator to slowly stop => stopping at an incorrect location.
“Behave in the same way” means that a controller that works correctly on the twin should work correctly on the Festo system, and that a controller that shows erroneous behavior on the Festo workstation should show the same erroneous behavior on
the twin.
Ideally, we would like to consider the full state space, but obviously that is impossible. The controller is hybrid (timed) so has infinite state space.
In principle we only look at the observable behavior at the festo workstation and at the twin (it a product picked up properly and release at the required target location), but we could probably generate certain graphs of behavior in TwinCAT.
- Is full automation a requirement?
I don’t understand this question.
Bert
Hi Bert,
Some random questions that immediately pop into my mind:
- What is the goal of this exercise? What do you hope to gain?
- What does 'behave in the same way' mean for you?
-
Do you consider the full state space of behavior, or only a finite set of scenarios?
-
Do you consider the protocol only (order of events), or also timing?
-
Is full automation a requirement?
Dennis
How would you test the functionality of digital twins for the Festo workstations as shown in https://cstweb.wtb.tue.nl/4tc00/festo/digital_twin/index.html?
A teacher assistant aims to test all CIF controllers submitted last year as final assignment for the course 4TC00 on the digital twin and on the Festo workstation to see if they behave in the same way.
I could also imagine that we write some small controllers that test specific functionality of specific sensor actuator relations/behavior.
Any thoughts or tips?
Thanks in advance
Bert
_______________________________________________
escet-dev
mailing list
escet-dev@xxxxxxxxxxx
To
change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/escet-dev
|