Modeling And Simulation Semantics For Building Large-Scale Multi-Domain Embedded Systems
Joshua D. Carl, Zsolt Lattman, Gautam Biswas · 2013
graphs This paper discusses a set of semantic constraints that have to be applied for multi-domain modeling of complex, embedded systems. In particular, using the Hybrid Bond Graph (HBG) modeling language, we analyze issues that deal with consistent causality as-signments across model reconfigurations using hybrid switching junctions, and the complementarity of the electrical and mechanical domains by imposing addi-tional constraints in the modeling environment. A case study of a Reverse Osmosis system developed at NASA JSC illustrates the effectiveness of our approach.