Behavioural Models for FMI Co-simulations

Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno

doi:10.1007/978-3-319-46750-4_15

Cited by 8 publications

(5 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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. The operational semantics of FMI 2.0 has been studied in [23,35].…”

Section: Related Workmentioning

confidence: 99%

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: 99%

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

et al. 2022

View full text Add to dashboard Cite

show abstract

“…CPS SysML profile has been demonstrated in Modelio 11 . FMI-conformant constituent models have been produced in Overture from VDM-RT, and the Continuous-Time (CT) formalisms 20-sim and OpenModelica [23] 12 .…”

Section: The Into-cps Tool Chainmentioning

confidence: 99%

“…Within this hierarchy, there are theories of real-time programming [45], object-oriented programming [43], security and confidentiality [4], mobile processes [44], probabilistic modelling [7], and hybrid systems [20]. The FMI API itself has been given a UTP-based semantics [11,49] that can be used as an interface to the semantic model of individual FMUs.…”

Section: The Underlying Unified Semantic Approachmentioning

confidence: 99%

Features of Integrated Model-Based Co-modelling and Co-simulation Technology

Larsen

Fitzgerald

Woodcock

et al. 2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Given the considerable ongoing research interest in collaborative multidisciplinary modelling and co-simulation, it is worth considering the features of model-based techniques and tools that deliver benefits to cyber-physical systems developers. The European project "Integrated Tool Chain for Model-based Design of Cyber-Physical Systems" (INTO-CPS) has developed a well-founded tool chain for CPS design, based on the Functional Mock-up Interface standard, and supported by methodological guidance. The focus of the project has been on the delivery of a sound foundation, an open chain of compatible and usable tools, and a set of accessible guidelines that help users adapt the technology to their development needs.

show abstract

“…For instance, the Interaction process includes local actions TakeOutputs and DistributeInputs that correspond to phases of the control cycle of a master algorithm, whereas FMUStatesManages prescribes the use of functions fmi2GetFMUState and fmi2SetFMUState to obtain and set FMU states during roll-back. An in-depth discussion of the Circus model can be found in [3]; in the remainder of the section, we report on its mechanisation.…”

Section: Fmi and Its Mechanisationmentioning

confidence: 99%

Formalising Cosimulation Models

Zeyda

Ouy²,

Foster

et al. 2018

Software Engineering and Formal Methods

Self Cite

View full text Add to dashboard Cite

Cosimulation techniques are popular in the design and early testing of cyber-physical systems. Such systems are typically composed of heterogeneous components and specified using a variety of languages and tools; this makes their formal analysis beyond simulation challenging. We here present work on formalised models and proofs about cosimulations in our theorem prover Isabelle/UTP illustrated by an industrial case study from the railways sector. Novel contributions are a mechanised encoding of the FMI framework for cosimulation, simplification and translation of (case-study) models into languages supported by our proof system, and an encoding of an FMI instantiation.

show abstract

Behavioural Models for FMI Co-simulations

Cited by 8 publications

References 20 publications

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

Features of Integrated Model-Based Co-modelling and Co-simulation Technology

Formalising Cosimulation Models

Contact Info

Product

Resources

About