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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.