Citation
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. "Requirements for Hybrid Cosimulation Standards". HSCC '15 Proceedings, ACM Press, April, 2015; In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC '15), pp 179-188.

Abstract
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.

Electronic downloads

• BromanEtAl_HybridCosimulation_HSCC_2015.pdf · application/pdf · 413 kbytes
• http://dx.doi.org/10.1145/2728606.2728629

• HTML

  David Broman, Lev Greenberg, Edward A. Lee, Michael Masin,
  Stavros Tripakis, Michael Wetter. <a
  href="http://chess.eecs.berkeley.edu/pubs/1093.html"
  ><i>Requirements for Hybrid Cosimulation
  Standards</i></a>,  HSCC '15 Proceedings, ACM
  Press, April, 2015; In <i>Proceedings of the 18th
  International Conference on Hybrid Systems:  Computation and
  Control (HSCC '15)</i>, pp 179-188.

• Plain text

  David Broman, Lev Greenberg, Edward A. Lee, Michael Masin,
  Stavros Tripakis, Michael Wetter. "Requirements for
  Hybrid Cosimulation Standards".  HSCC '15 Proceedings,
  ACM Press, April, 2015; In <i>Proceedings of the 18th
  International Conference on Hybrid Systems:  Computation and
  Control (HSCC '15)</i>, pp 179-188.

• BibTeX

  @proceedings{BromanGreenbergLeeMasinTripakisWetter15_RequirementsForHybridCosimulationStandards,
      title = {Requirements for Hybrid Cosimulation Standards},
      organization = { HSCC '15 Proceedings, ACM Press},
      month = {April},
      year = {2015},
      note = {In <i>Proceedings of the 18th International
                Conference on Hybrid Systems:  Computation and
                Control (HSCC '15)</i>, pp 179-188.},
      abstract = {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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1093.html}
  }
  

Posted by Mary Stewart on 26 Feb 2015.
Groups: actionwebs
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.