external function in UPPAAL

[Imen Ben Hafaiedh]

Hello,

I am interested in finding out whether there is a method to call an external function (written in C++, Python, or Java) within a Uppaal model, particularly as part of an update function.

[Luca Maria Castiglione]

Hi,

Perhaps this can help [1]. Have you had a look at it already? I am not sure you can use it as part of an update though, you need to check.

[1] https://docs.uppaal.org/language-reference/system-description/declarations/external-functions/