Requirements for Hybrid Cosimulation
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Citation
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. "Requirements for Hybrid Cosimulation". Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2014-157, August, 2014.

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) standard. 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 inputs and outputs that are 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, the paper defines a set of test compositions of components. These compositions define requirements for coordination between components, including consistent handling of timed events.

Electronic downloads

Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  David Broman, Lev Greenberg, Edward A. Lee, Michael Masin,
  Stavros Tripakis, Michael Wetter. <a
  href="http://www.icyphy.org/pubs/49.html"
  ><i>Requirements for Hybrid
  Cosimulation</i></a>, Technical report,  EECS
  Department, University of California, Berkeley,
  UCB/EECS-2014-157, August, 2014.

• Plain text

  David Broman, Lev Greenberg, Edward A. Lee, Michael Masin,
  Stavros Tripakis, Michael Wetter. "Requirements for
  Hybrid Cosimulation". Technical report,  EECS
  Department, University of California, Berkeley,
  UCB/EECS-2014-157, August, 2014.

• BibTeX

  @techreport{BromanGreenbergLeeMasinTripakisWetter14_RequirementsForHybridCosimulation,
      author = {David Broman and Lev Greenberg and Edward A. Lee
                and Michael Masin and Stavros Tripakis and Michael
                Wetter},
      title = {Requirements for Hybrid Cosimulation},
      institution = {EECS Department, University of California, Berkeley},
      number = {UCB/EECS-2014-157},
      month = {August},
      year = {2014},
      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) standard. 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 inputs and
                outputs that are 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, the paper defines a set of test
                compositions of components. These compositions
                define requirements for coordination between
                components, including consistent handling of timed
                events.},
      URL = {http://icyphy.org/pubs/49.html}
  }
  

Posted by Mary Stewart on 18 Aug 2014.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.