Generating Functional Mockup Units from Software Specifications

Pohlmann, Uwe; Schäfer, Wilhelm; Reddehase, Hendrik; Röckemann, Jens; Wagner, R. V.

doi:10.3384/ecp12076765

Cited by 18 publications

(9 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several authors discuss ways of implementing master algorithms [3,6,22] and how to generate and implement FMUs for the current FMI cosimulation standard [8,20]. However, in this paper we formalize requirements and test cases that are needed for the next standard that should include a sound interface for hybrid co-simulation.…”

Section: Related Workmentioning

confidence: 99%

Requirements for hybrid cosimulation standards

Broman

Greenberg

Lee

et al. 2015

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

This paper defines a suite of requirements for future hybrid cosimulation standards, and specifically provides guidance for development of a hybrid cosimulation version of the Functional Mockup Interface (FMI). A cosimulation standard defines interfaces that enable diverse simulation tools to interoperate. Specifically, one tool defines a component that forms part of a simulation model in another tool. We focus on components with inputs and outputs that are functions of time, and specifically on mixtures of discrete events and continuous time signals. This hybrid mixture is not well supported by existing cosimulation standards, and specifically not by FMI 2.0, for reasons that are explained in this paper. The paper defines a suite of test components, giving a mathematical model of an ideal behavior, plus a discussion of practical implementation considerations. The discussion includes acceptance criteria by which we can determine whether a standard supports definition of each component. In addition, we define a set of test compositions that define requirements for coordination between components, including consistent handling of timed events.

show abstract

Section: Related Workmentioning

confidence: 99%

Requirements for hybrid cosimulation standards

Broman

Greenberg

Lee

et al. 2015

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

show abstract

“…There has been very practical work on new master algorithms, generation of FMUs and simulations, and hybrid models [2,22,11,9]. Tripakis [25] shows how components with different underlying models (state machines, synchronous data flow, and so on) can be encoded as FMUs.…”

Section: Discussionmentioning

confidence: 99%

Behavioural Models for FMI Co-simulations

Cavalcanti

Woodcock

Amálio

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Simulation is a favoured technique for analysis of cyberphysical systems. With their increase in complexity, co-simulation, which involves the coordinated use of heterogeneous models and tools, has become widespread. An industry standard, FMI, has been developed to support orchestration; we provide the first behavioural semantics of FMI. We use the state-rich process algebra, Circus, to present our modelling approach, and indicate how models can be automatically generated from a description of the individual simulations and their dependencies. We illustrate the work using three algorithms for orchestration. A stateless version of the models can be verified using model checking via translation to CSP. With that, we can prove important properties of these algorithms, like termination and determinism, for example. We also show that the example provided in the FMI standard is not a valid algorithm.

show abstract

“…They provide high level guidelines for how to generate Statechart FMUS, but do not provide a formalization. Pohlmann et al [18] also describe how to encode statechart models, described in MechatronicUML. Their paper is also discussing implementation strategies, but the implementation is for FMI for model exchange and not co-simulation.…”

Section: Related Workmentioning

confidence: 99%

Bridging the semantic gap between heterogeneous modeling formalisms and FMI

Tripakis

2015

2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)

View full text Add to dashboard Cite

FMI (Functional Mockup Interface) is a standard for exchanging and co-simulating model components (called FMUs) coming from potentially different modeling formalisms, languages, and tools. Previous work has proposed a formal model for the co-simulation part of the FMI standard, and also presented two co-simulation algorithms which can be proven to have desirable properties, such as determinacy, provided the FMUs satisfy a formal contract. In this paper we discuss the principles for encoding different modeling formalisms, including state machines, discrete-event systems, and synchronous dataflow, as FMUs. The challenge is to bridge the various semantic gaps (untimed vs. timed, signals vs. events, etc.) that arise because of the heterogeneity between these modeling formalisms and the FMI API.

show abstract

Generating Functional Mockup Units from Software Specifications

Cited by 18 publications

References 12 publications

Requirements for hybrid cosimulation standards

Requirements for hybrid cosimulation standards

Behavioural Models for FMI Co-simulations

Bridging the semantic gap between heterogeneous modeling formalisms and FMI

Contact Info

Product

Resources

About