OPERATIONAL MODELING FOR DIGITAL TWINS USING THE FORMAL SIMULATION MODEL CONFIGURATION FRAMEWORK

摘要

The current progress in computer technologies causes an increasing use and importance of modeling and simulation for science and engineering. The complexity of the systems under development and the complexity of appropriate models increase simultaneously. In many cases, it is no longer sufficient to consider individual aspects in detail independently of one another. Instead, it becomes more important to combine and manage modeling and simulation artifacts from different domains to gain a deeper understanding of the overall system. For this purpose, we already started developing the formal simulation model configuration framework, which we now extend by a method for operational modeling.