Citation
Stavros Tripakis, David Broman. "Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI". Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2014-30, April, 2014.

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

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-30.html

• HTML

  Stavros Tripakis, David Broman. <a
  href="http://chess.eecs.berkeley.edu/pubs/1071.html"
  ><i>Bridging the Semantic Gap Between Heterogeneous
  Modeling Formalisms and FMI</i></a>, Technical
  report,  EECS Department, University of California,
  Berkeley, UCB/EECS-2014-30, April, 2014.

• Plain text

  Stavros Tripakis, David Broman. "Bridging the Semantic
  Gap Between Heterogeneous Modeling Formalisms and FMI".
  Technical report,  EECS Department, University of
  California, Berkeley, UCB/EECS-2014-30, April, 2014.

• BibTeX

  @techreport{TripakisBroman14_BridgingSemanticGapBetweenHeterogeneousModelingFormalisms,
      author = {Stavros Tripakis and David Broman},
      title = {Bridging the Semantic Gap Between Heterogeneous
                Modeling Formalisms and FMI},
      institution = {EECS Department, University of California, Berkeley},
      number = {UCB/EECS-2014-30},
      month = {April},
      year = {2014},
      abstract = {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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1071.html}
  }
  

Posted by David Broman on 28 Apr 2014.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.