Jensen, Peter Gjøl

Larsen, Kim Guldstrand

Legay, Axel

Nyman, Ulrik

English

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 U PPAAL 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 function. We demonstrate the expressive power by implementing the FMI-FMU master algorithm as a timed automata, interfacing with external, non-native and non-trivial Function Mockup Units (FMU). We also model two components in U PPAAL SMC exporting one of them as an FMU while keeping the other as a native component. Furthermore we demonstrate the first simulation environment for the Function Mockup Units, capable of checking bounded MITL properties.</p

Integrating Tools:Co-simulation in UPPAAL Using FMI-FMU

https://vbn.aau.dk/files/280720003/2017_ICECCS_Nyman.pdf

Integrating Tools:Co-simulation in UPPAAL Using FMI-FMU

Abstract

Similar works

Full text

Available Versions

VBN