Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

Hansen, Simon Thrane; Gomes, Cláudio; Palmieri, Maurizio; Thule, Casper; Pol, Jaco van de; Woodcock, Jim

doi:10.1007/978-3-030-85248-1_1

Cited by 5 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cavalcanti et al [34] claim to provide the first behavioral semantics of FMI 1.0. The operational semantics of FMI 2.0 has been studied in [23,35]. Our work extends previous work by treating the FMI 3.0 standard, which is a superset of the previous FMI standards.…”

Section: Related Workmentioning

confidence: 73%

“…This section presents the semantics of the actions described in Definition 1. The semantics are inspired by [23,24]. Due to space limitations, we cannot cover all the actions of the FMI standard, but only those described in Definition 1, which we believe are the most relevant.…”

Section: The Semantics Of the Actionsmentioning

confidence: 99%

“…Formal semantics of the FMI 1.0 and FMI 2.0 have previously been studied in [23,34]. Cavalcanti et al [34] claim to provide the first behavioral semantics of FMI 1.0.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

et al. 2022

View full text Add to dashboard Cite

This paper presents an overview and formalization of the Functional Mock-up Interface (FMI) 3.0. The formalization captures the new FMI 3.0 standard and is intended to be used as an introduction for conceptualizing the use of clocks in the FMI standard to support the simulation of event-based cyber-physical systems. The FMI 3.0 standard supports two kinds of clock-based simulations: Synchronous Clocked Simulation to ensure predictable systems scheduling with multiple simultaneous events and scheduled execution to facilitate real-time simulations comprising multiple black-box models by allowing fine-grained control over the computation time of submodels. The formalization is a basis for developing tools for orchestrating, verifying and validating the composition of multiple FMUs. The formalization is provided as an accessible VDM-SL specification.

show abstract

Section: Related Workmentioning

confidence: 73%

Section: The Semantics Of the Actionsmentioning

confidence: 99%