Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI

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 data ow, 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 25, 2014
Accession Number
ADA605553

Entities

People

  • David Broman
  • Stavros Tripakis

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Advanced Electronics
  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Clocks
  • Coding
  • Computations
  • Computer Programming
  • Computer Science
  • Contracts
  • Differential Equations
  • Electrical Engineering
  • Engineering
  • Language
  • Machines
  • Notation
  • Simulations
  • Standards
  • Time Intervals

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Mycotoxin ecology in Amazonian ecosystems.
  • Parallel and Distributed Computing.