*banner
 

Requirements for Hybrid Cosimulation Standards
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 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

Citation formats  
  • 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.

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.

©2002-2018 Chess