A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
2017
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
While standalone tools for verification and modeling have proven useful, their chosen formalism and description-language can at times be restrictive. We demonstrate how to use UPPAAL SMC to analyze controller systems consisting of Function Mockup Units (FMU) modeled in other tools, such as Matlab and Modelica. Apart from supporting FMI-FMU modules the newly added C interface can call any external function. The only requirement for sound analysis is statelessness and determinism of the external
doi:10.1109/iceccs.2017.33
dblp:conf/iceccs/JensenLLN17
fatcat:jnimn2tiezd4jo57u3rbqvb2zy