*banner
 

Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI
Stavros Tripakis, David Broman

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

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

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