Introducing Explicit Causality in Object-oriented Hybrid System Modeling

Liu Liu (1, 2) , Felix Felgner (2) , Georg Frey (2)

1 FORMES - Formal Methods for Embedded Systems
2 Saarland University [Saarbrücken]

Along with the rapid development of embedded devices and network technology, the area of Cyber Physical Systems (CPS), has arisen. In terms of modeling and simulation, CPS—like many technical systems—have a hybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other. Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica®. The equation-based concept resolves the causality between interconnected components, which qualifies this modeling scheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctly manage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multiple updates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-event phenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects’ behavioral intelligence.

Domaines: Modélisation et simulation

Liu Liu, Felix Felgner, Georg Frey. Introducing Explicit Causality in Object-oriented Hybrid System Modeling. MOSIM 2012 - 9th International Conference of Modeling, Optimization and SIMulation, Jun 2012, Bordeaux, France. pp.1-10. ⟨hal-00728581⟩