Formalising and Validating the Interface Description in the FMI Standard

Hasanagić, Miran; Tran-Jørgensen, Peter W. V.; Lausdahl, Kenneth; Larsen, Peter Gorm

doi:10.1007/978-3-319-48989-6_21

Cited by 3 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This configuration contains the FMUs that are part of the simulation, their parameters, the connections between FMUs, and the simulation setup, which will be described below (this configuration can be generated from Modelio if one has used the SysML CPS profile). The model descriptions of the FMUs are statically checked against an FMI validation schema and these along with the configuration file are additionally checked against semantic rules defined in the FMI standard that are not part of the FMI validation schema [38]. Once the configuration is accepted by Maestro, the simulation can be started.…”

Section: Pyfmimentioning

confidence: 99%

Maestro: The INTO-CPS co-simulation framework

Thule

Lausdahl

Gomes

et al. 2019

Simulation Modelling Practice and Theory

Self Cite

View full text Add to dashboard Cite

Section: Pyfmimentioning

confidence: 99%

Maestro: The INTO-CPS co-simulation framework

Thule

Lausdahl

Gomes

et al. 2019

Simulation Modelling Practice and Theory

Self Cite

View full text Add to dashboard Cite

Towards a Static Check of FMUs in VDM-SL

Battle

Thule

Gomes

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

show abstract

Conformance testing of FMI calling sequence for simulation environments

Mukbil

Durak

Hartmann

2019

Int. J. Model. Simul. Sci. Comput.

View full text Add to dashboard Cite

Exchanging simulation models is currently of utmost importance. To improve interoperability between suppliers and original equipment manufacturers (OEMs), the functional mock-up interface (FMI) is exchanged in a standard format called functional mock-up unit (FMU). Since its first release, many simulation tools took the initiative to support FMI. However, since then, there have been many complaints stating that exchanging models via FMI does not work as stable as expected. The reason usually turned out to be the implementation of tool vendors that sometimes fail to comply with the standard fully. This paper introduces a methodology for testing FMI compliance of importing simulation tools using a set of reference FMUs. The standard defines the implementation of FMI functions calling sequence in a state machine. Therefore, conformance testing (also called fault detection) from automata theory is utilized to produce reference FMUs based on the FMI state-machine.

show abstract

Formalising and Validating the Interface Description in the FMI Standard

Cited by 3 publications

References 7 publications

Maestro: The INTO-CPS co-simulation framework

Maestro: The INTO-CPS co-simulation framework

Towards a Static Check of FMUs in VDM-SL

Conformance testing of FMI calling sequence for simulation environments

Contact Info

Product

Resources

About